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

[DIR] Parent Directory

[TXT] builds.txt  348.00b  September 7 2013
[DIR] dev  6.00b  July 1 2011
[DIR] TPTP-4.7.2  8.00Kb  January 10 2012
[DIR] TPTP-4.7.2-201102161022  8.00Kb  January 10 2012