Index of /~tptp/TPTP/Archive/TPTP-v2.7.0

	Name	Last modified	Size	Description
	Parent Directory		-
	BuggedProblems-v2.7.0	01-Nov-2004 11:48	254
	ReadMe-v2.7.0	23-Aug-2004 10:30	7.4K
	TPTP-v2.7.0.tar.gz	24-Aug-2004 07:42	8.1M
	TR-v2.7.0/	05-Nov-2004 13:07	-