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

[DIR] Parent Directory

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