Index of /~avg/TPTPparser/Pre-IJCAR06

 Name                    Last modified      Size  Description
 TPTPparser.tar          2006-03-21 00:03  1.0M  
 hof-thof1-examples.txt  2006-02-22 00:02  3.2K  
 hof-thof2-examples.txt  2006-02-22 00:15  1.8K  
 setops.ax               2006-02-08 22:53  480   
 syntaxBNF2-1.lex0       2006-03-20 23:50  5.5K  
 syntaxBNF2-1.y          2006-03-20 23:50   21K  
 syntaxBNF2-3.1.1.13b..> 2006-02-21 20:39   14K  
 syntaxBNF2-3.1.1.13c..> 2006-02-25 20:08   15K  
 syntaxBNF2-3.1.1.13d..> 2006-03-20 23:50  5.5K  
 syntaxBNF2-3.1.1.13d..> 2006-03-20 02:25   15K  
 syntaxBNF2-3.1.1.13d.y  2006-03-20 23:50   21K  
 tptp-yl-parser          2006-03-20 23:50   45K  
 tptp-yl-parser-verbose  2006-03-20 23:50   45K