Index of /~avg/TPTPparser/FO
Name Last modified Size Description
tptp-yl-parser-verbose 2006-02-13 23:00 52K
tptp-yl-parser 2006-02-13 23:00 52K
tptp-y1.awksh 2006-02-05 20:13 1.5K
tptp-y0.csh 2006-02-11 23:15 6.1K
tptp-y.csh 2006-01-05 22:49 785
tptp-txt-clean.csh 2006-01-09 04:00 582
tptp-txt-all.csh 2006-02-04 14:29 415
tptp-trans.csh 2006-02-08 21:47 5.6K
tptp-lex.csh 2006-02-11 23:14 7.7K
syntaxBNF-3.1.1.13b.txt 2006-02-11 23:05 13K
syntaxBNF-3.1.1.13.txt 2006-02-04 21:40 13K
syntaxBNF-1.y 2006-02-13 23:00 37K
syntaxBNF-1.lex0 2006-02-13 23:00 3.7K
setops.ax 2006-02-08 22:53 480
sample.txt 2006-02-05 21:16 338
hotptp-bnf.txt 2006-02-11 23:32 16K
hof-thof2-examples.txt 2006-02-08 22:24 1.8K
hof-thof1-examples.txt 2006-02-10 15:16 2.2K
diffs-Feb11 2006-02-13 23:03 5.3K
Makefile 2006-02-13 22:59 457
Apache/2.4.6 (CentOS) Server at users.soe.ucsc.edu Port 443