Index of /~avg/TPTPparser/Mar06Scripts

Icon  Name                    Last modified      Size  Description
[   ] tptp-lex.csh            2006-03-20 23:46  8.6K  
[   ] tptp-trans.csh          2006-02-19 12:57  5.0K  
[   ] tptp-y0.csh             2006-03-20 23:40  5.9K  
[   ] tptp-y1.awksh           2006-03-20 23:33  1.5K
Apache/2.4.6 (CentOS) Server at users.soe.ucsc.edu Port 443