Index of /eclipse/tptp/4.7.2/

../
TPTP-4.7.2/                                        10-Jan-2012 15:24       -
TPTP-4.7.2-201102161022/                           10-Jan-2012 15:32       -
dev/                                               01-Jul-2011 11:30       -
builds.txt                                         18-Feb-2011 17:30     348