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

	Name	Last modified	Size	Description
	Parent Directory		-
	0.doc	1995-06-13 21:30	654
	0.html	1995-06-13 21:30	1.7K
	0.lst	1995-06-13 21:30	28
	readme.txt	1995-06-13 21:30	806
	thm.ltv	1995-06-13 21:30	1.1K
	thm.tgz	1995-06-13 21:30	360K