Index of ftp://kambing.ui.edu/eclipse/tptp/macos/dev
Parent Directory
ac_mac_osx104_TPTP462_20091020.zip
18.95Mb
September 7 2013
env-run.sh
1.04Kb
September 7 2013
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory![[ZIP]](/icons/compressed.gif){kind=icon}
ac_mac_osx104_TPTP462_20091020.zip![[ ]](/icons/unknown.gif){kind=icon}
env-run.sh