Index of /~tptp/TPTP/Archive/TPTP-v1.0.0

	Name	Last modified	Size	Description

	Parent Directory		-
	TPTP-v1.0.0.tar.gz	26-Apr-2004 18:02	956K
	TR-v1.0.0.ps.gz	26-Apr-2004 18:02	215K
	TRv1.0.0.tex.gz	26-Apr-2004 18:02	83K

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