Index of /~shm/Software/progol4.1/source

	Name	Last modified	Size	Description
	Parent Directory		-
	Makefile	1995-09-12 11:10	854
	alloc.c	2007-05-22 15:19	3.8K
	bits.c	2007-05-22 15:19	22K
	chi.c	2007-05-22 15:19	4.4K
	clause.c	2007-05-22 15:19	11K
	command.c	2007-05-22 15:19	5.1K
	command.o	2007-10-25 12:27	6.0K
	control.c	2007-05-22 15:19	1.1K
	cost.c	2007-05-22 15:19	1.4K
	deduce.c	2007-05-22 15:19	6.8K
	ext_fn.h	2007-05-22 15:19	3.4K
	ext_var.h	2007-05-22 15:19	5.9K
	func.c	2007-05-22 15:19	2.6K
	hash.c	2007-05-22 15:19	4.2K
	hash.o	2007-10-25 12:27	2.6K
	init.c	2007-05-22 15:19	9.3K
	init.o	2007-10-25 12:27	10K
	integrat.c	2007-05-22 15:19	8.0K
	interp.c	2007-05-22 15:19	12K
	interp.h	2007-05-22 15:19	2.6K
	item.c	2007-05-22 15:19	18K
	lib.c	2007-05-22 15:19	53K
	list.c	2007-05-22 15:19	5.9K
	main.c	2007-05-22 15:19	1.8K
	main.o	2007-10-25 12:27	2.2K
	plg.c	2007-05-22 15:19	962
	plg.o	2007-10-25 12:27	1.1K
	progol.h	2007-05-22 15:19	11K
	reduce.c	2007-05-22 15:19	21K
	sample.c	2007-05-22 15:19	11K
	sat.c	2007-05-22 15:19	18K
	set.c	2007-05-22 15:19	7.7K
	subsume.c	2007-05-22 15:19	2.3K
	terms.c	2007-05-22 15:19	23K
	utils.c	2007-05-22 15:19	5.5K
	xy.c	2007-05-22 15:19	2.1K