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

	Name	Last modified	Size	Description
	Parent Directory		-
	0.doc	1995-06-13 21:28	1.1K
	0.html	1995-06-13 21:28	2.1K
	0.lst	1995-06-13 21:28	185
	info.txt	1995-06-13 21:28	6.5K
	setheo.ltv	1995-06-13 21:28	8.5K
	setheo.tgz	1995-06-13 21:28	406K