Index of ftp://ftp2.ca.FreeBSD.org/eclipse/tptp/4.5.2.1/TPTP-4.5.2.1-201008272040/CHKPII

[DIR] Parent Directory

[DIR] bad  4.00Kb  August 28 2010
[DIR] good  24.00Kb  August 28 2010