Index of ftp://ftp2.us.NetBSD.org/pub/eclipse.org/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