Index of /afs/cs/project/ai-repository/ai/areas/nlp/parsing/proof

	Name	Last modified	Size	Description
	Parent Directory		-
	readme.txt	1995-06-13 21:23	9.0K
	proof.tgz	1995-06-13 21:23	1.6M
	proof.ltv	1995-06-13 21:23	2.2K
	0.lst	1995-06-13 21:23	170
	0.html	1995-06-13 21:23	2.3K
	0.doc	1995-06-13 21:23	1.1K