Index of /afs/cs/project/ai-repository/ai/areas/reasonng/atp/problems/tptp/v113

	Name	Last modified	Size	Description
	Parent Directory		-
	announce.txt	1995-06-13 21:26	2.4K
	readme.txt	1995-06-13 21:26	9.4K
	tptp_113.tgz	1995-06-13 21:26	1.1M