Index of /eclipse/tptp/4.7.2/

NameLast ModifiedSizeType
../ -  Directory
TPTP-4.7.2/2012-Jan-10 10:24:14-  Directory
TPTP-4.7.2-201102161022/2012-Jan-10 10:32:38-  Directory
dev/2011-Jul-01 07:30:15-  Directory
builds.txt2011-Feb-18 12:30:180.3Ktext/plain; charset=utf-8
lighttpd/1.4.59