Index of /~avg/TPTPparser/Mar06Scripts

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -
[ ]tptp-lex.csh20-Mar-2006 23:46 8.6K
[ ]tptp-trans.csh19-Feb-2006 12:57 5.0K
[ ]tptp-y0.csh20-Mar-2006 23:40 5.9K
[ ]tptp-y1.awksh20-Mar-2006 23:33 1.5K
Apache/2.2.3 (CentOS) Server at users.soe.ucsc.edu Port 80