Index of /people/tlp/projects/prover/02-version

	Name	Last modified	Size	Description
	Parent Directory		-
	blocks-results-final.txt	2002-02-21 09:36	440K
	prover.scm	2002-02-21 09:36	32K
	check.scm	2002-02-21 09:36	13K
	cnf.scm	2002-02-26 22:24	7.8K
	unify.scm	2002-02-26 22:21	5.5K
	initdr.scm	2002-02-21 09:36	3.8K
	prover.html	2002-02-21 09:36	3.6K
	blocks-test.lgc	2002-03-01 18:34	2.4K
	blocks-answer.lgc	2002-03-01 18:11	2.2K
	blocks-lpk.txt	2002-10-13 05:58	1.5K
	blocks.lgc	2002-02-21 09:36	1.4K
	blocks-test2.lgc	2002-03-01 09:45	1.1K
	blocks-reduced.lgc	2002-02-21 09:36	426
	test1.lgc	2002-02-21 09:36	381
	load-prover-scm.scm	2002-02-21 09:36	369
	load-prover-mit-scheme.scm	2002-02-21 09:36	331