Index of /eclipse/tptp/4.7.2/


../
TPTP-4.7.2/                                        05-Jan-2016 04:17       -
TPTP-4.7.2-201102161022/                           05-Jan-2016 04:17       -
dev/                                               31-Dec-2015 08:48       -
builds.txt                                         05-Jan-2016 04:16     348