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

	Name	Last modified	Size	Description
	Parent Directory		-
	0.lst	1995-06-13 21:27	33
	announce.txt	1995-06-13 21:27	5.0K
	isa_mode.ltv	1995-06-13 21:27	3.9K
	isa_mode.tgz	1995-06-13 21:27	157K