Index of /afs/cs/project/ai-repository/ai/areas/reasonng/atp/systems/isabelle/elle

	Name	Last modified	Size	Description
	Parent Directory		-
	0.lst	1995-06-13 21:27	336
	elle_11.ltv	1995-06-13 21:27	4.1K
	elle_11.tgz	1995-06-13 21:27	41K
	elle_24.ltv	1995-06-13 21:27	5.4K
	elle_24.tgz	1995-06-13 21:26	40K