Index of /~avg/TPTPparser/Mar06Scripts
Name
Last modified
Size
Description
Parent Directory
-
tptp-lex.csh
20-Mar-2006 23:46
8.6K
tptp-trans.csh
19-Feb-2006 12:57
5.0K
tptp-y0.csh
20-Mar-2006 23:40
5.9K
tptp-y1.awksh
20-Mar-2006 23:33
1.5K
Apache/2.2.3 (CentOS) Server at users.soe.ucsc.edu Port 80