Index of /afs/cs/Web/Groups/AI/areas/reasonng/atp/problems/tptp/v111

	Name	Last modified	Size	Description
	Parent Directory		-
	0.lst	1995-06-13 21:26	1.4K
	announce.txt	1995-06-13 21:26	5.3K
	readme.txt	1995-06-13 21:26	9.2K
	tptp_111.ltv	1995-06-13 21:26	220K
	tptp_111.tgz	1995-06-13 21:26	1.1M