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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[TXT]BuggedProblems-v2.7.001-Nov-2004 11:48 254
[TXT]ReadMe-v2.7.023-Aug-2004 10:30 7.4K
[   ]TPTP-v2.7.0.tar.gz24-Aug-2004 07:42 8.1M
[DIR]TR-v2.7.0/05-Nov-2004 13:07 -

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