Index of /~avg/TPTPparser/FO

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