Index of ftp://ftp.cise.ufl.edu/pub/mirrors/eclipse/tptp/4.7.2

[DIR] Parent Directory

[DIR] TPTP-4.7.2  104.00b  January 10 2012
[DIR] TPTP-4.7.2-201102161022  105.00b  January 10 2012
[TXT] builds.txt  348.00b  February 18 2011
[DIR] dev  2.00b  July 1 2011