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

	Name	Last modified	Size	Description
	Parent Directory		-
	BuggedProblems-v2.4.1	26-Apr-2004 18:03	1.3K
	ReadMe-v2.4.1	26-Apr-2004 18:03	7.5K
	TPTP-v2.4.1.tar.gz	26-Apr-2004 18:03	2.6M
	TR-v2.4.1.tar.gz	26-Apr-2004 18:03	36K