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

	Name	Last modified	Size	Description
	Parent Directory		-
	xy.c	2002-04-24 15:46	2.1K
	utils.c	2002-04-24 15:46	5.7K
	terms.c	2002-04-24 15:46	23K
	subsume.c	2002-04-24 15:46	2.3K
	set.c	2002-04-24 15:46	7.7K
	sat.c	2002-04-24 15:46	19K
	sample.c	2002-04-24 15:46	12K
	reduce.c	2002-04-24 15:46	24K
	progol.h	2002-04-24 15:46	12K
	plg.o	2002-04-24 15:46	1.2K
	plg.c	2002-04-24 15:46	1.1K
	main.o	2002-04-24 15:46	2.3K
	main.c	2002-04-24 15:46	2.2K
	list.c	2002-04-24 15:46	6.0K
	lib.c	2002-04-24 15:46	68K
	item.c	2002-04-24 15:46	19K
	interp.h	2002-04-24 15:46	2.7K
	interp.c	2002-04-24 15:46	13K
	integrat.c	2002-04-24 15:46	9.3K
	init.o	2002-04-24 15:46	12K
	init.c	2002-04-24 15:46	12K
	hash.c	2002-04-24 15:46	4.3K
	func.c	2002-04-24 15:46	2.6K
	ext_var.h	2002-04-24 15:46	6.6K
	ext_fn.h	2002-04-24 15:46	3.7K
	deduce.c	2002-04-24 15:46	11K
	cost.c	2002-04-24 15:46	1.6K
	control.c	2002-04-24 15:46	1.1K
	command.o	2002-04-24 15:46	7.4K
	command.c	2002-04-24 15:46	7.4K
	clause.c	2002-04-24 15:46	11K
	chi.c	2002-04-24 15:46	4.4K
	bits.c	2002-04-24 15:46	24K
	alloc.c	2002-04-24 15:46	3.9K
	Makefile	2002-04-24 15:46	854