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

	Name	Last modified	Size	Description

	Parent Directory		-
	BuggedProblems-v2.6.0	15-Aug-2004 10:29	864
	ReadMe-v2.6.0	15-Aug-2004 10:29	7.5K
	TPTP-v2.6.0.tar.gz	15-Aug-2004 10:29	7.3M

Apache/2.2.9 (Fedora) Server at quoll.cs.miami.edu Port 80