Index of /~appel/proofsem/hw2

	Name	Last modified	Size	Description
	Parent Directory		-
	Top	1999-02-12 11:24	484
	basiclem.mod	1999-02-12 11:24	8.7K
	basiclem.sig	1999-02-12 11:24	2.2K
	checker.mod	1999-02-12 12:52	6.4K
	checker.sig	1999-02-12 11:24	183
	instr.mod	1999-02-12 11:24	88
	instr.sig	1999-02-12 11:24	401
	intlist.mod	1999-02-12 11:24	1.5K
	intlist.sig	1999-02-12 11:24	256
	lemma.mod	1999-02-15 10:27	700
	lemma.sig	1999-02-12 11:24	163
	let.mod	1999-02-12 11:24	3.2K
	let.sig	1999-02-12 11:24	725
	logic.mod	1999-02-12 11:24	36
	logic.sig	1999-02-12 11:24	1.0K
	lprf.mod	1999-02-12 11:24	34
	lprf.sig	1999-02-12 11:24	2.9K
	substitute.mod	1999-02-12 11:24	1.7K
	substitute.sig	1999-02-12 11:24	382
	test.mod	1999-02-12 11:24	110
	test.sig	1999-02-12 11:24	330
	types.mod	1999-02-12 11:24	4.2K
	types.sig	1999-02-12 11:24	1.3K