Index of /afs/cs.cmu.edu/project/ai-repository/ai/areas/reasonng/atp/systems/isabelle/v92

	Name	Last modified	Size	Description
	Parent Directory		-
	0.lst	1995-06-13 21:27	622
	isabelle.ltv	1995-06-13 21:27	15K
	isabelle.tgz	1995-06-13 21:27	293K