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

[DIR] Parent Directory

[DIR] TPTP-4.5.2.1-201002081212  112.00b  July 21 2010
[DIR] TPTP-4.5.2.1-201008272040  112.00b  October 8 2010
[TXT] builds.txt  52.00b  February 18 2011
[DIR] dev  3.00b  October 1 2010