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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]Announce_v1.2.0.tex26-Apr-2004 18:02 7.4K
[TXT]Announcement-v1.2.026-Apr-2004 18:02 4.3K
[TXT]BuggedProblems-v1.2.026-Apr-2004 18:02 10K
[TXT]ReadMe-v1.2.026-Apr-2004 18:02 8.6K
[   ]TPTP-v1.2.0.tar.gz26-Apr-2004 18:02 655K
[   ]TR-v1.2.0.ps.gz26-Apr-2004 18:02 444K

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