Index of ftp://kambing.ui.edu/eclipse/tptp/4.7.3
Parent Directory
dev
6.00b
September 2 2013 at 18:16
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[DIR]](/icons/folder.gif){kind=icon}
dev