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