Index of ftp://kambing.ui.edu/eclipse/tptp/4.5.2.1

[DIR] Parent Directory

[TXT] builds.txt  52.00b  September 7 2013
[DIR] dev  23.00b  September 7 2013
[DIR] TPTP-4.5.2.1-201002081212  8.00Kb  July 21 2010
[DIR] TPTP-4.5.2.1-201008272040  8.00Kb  September 7 2013