Index of /~appel/proofsem/hw1

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