Index of /~appel/proofsem/hw1

	Name	Last modified	Size	Description
	Parent Directory		-
	Top	05-Feb-1999 08:42	162
	checker.mod	05-Feb-1999 08:42	6.0K
	instr.mod	05-Feb-1999 08:42	450
	lemma.mod	05-Feb-1999 10:43	511
	lemmas.mod	05-Feb-1999 08:36	14K
	listutil.mod	02-Feb-1999 09:57	2.9K
	logic.mod	02-Feb-1999 09:57	1.2K
	lprf.mod	05-Feb-1999 08:42	2.7K
	substitute.mod	05-Feb-1999 08:43	1.9K