Index of /~dale/lProlog/examples/cases

	Name	Last modified	Size	Description
	Parent Directory		-
	formulas.mod	2002-09-05 17:56	3.9K
	defexs.mod	2002-09-05 17:57	3.7K
	reverse.thm	2002-09-05 17:57	404
	app2.thm	2002-09-05 17:56	341
	app1.thm	2002-09-05 17:56	290
	app.thm	2002-09-05 17:57	243