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

[DIR] Parent Directory

[DIR] bad  4.00Kb  February 23 2011
[DIR] good  12.00Kb  February 23 2011