Index of /~avg/TPTPparser

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 FO.tar                  20-Feb-2006 13:37  240K  
 FO/                     20-Feb-2006 13:36    -   
 Intermediates/          22-Feb-2006 00:24    -   
 Makefile                20-Mar-2006 23:50  884   
 Mar06Scripts/           08-Sep-2006 18:38    -   
 NUM284-1.010.rm         13-Dec-2005 10:11  1.8K  
 Pre-IJCAR06/            29-Aug-2006 22:20    -   
 README                  09-Sep-2006 17:36  5.9K  
 README-ghotptp          03-Nov-2006 19:07  1.1K  
 README-pre-IJCAR06      21-Mar-2006 00:01  8.0K  
 SYN007+1.005.rm         13-Dec-2005 10:12  2.5K  
 TPTPparser.tar          03-Nov-2006 19:16   12M  
 comment.lex             20-Feb-2006 22:10   69   
 find-err.csh            06-Jan-2006 22:35  239   
 ghotptp-longest.tokens  03-Nov-2006 18:38   50K  
 ghotptp-longest.tree    03-Nov-2006 18:20  359K  
 ghotptp-longest.txt     03-Nov-2006 18:19  6.9K  
 ghotptp.txt             30-Oct-2006 01:55  8.4M  
 hotptp-1.lex0           09-Sep-2006 16:55  7.3K  
 hotptp-1.y              09-Sep-2006 16:55   40K  
 hotptp-bnf2-v3.2.0.2..> 30-Aug-2006 16:39   27K  
 hotptp-bnf2-v3.2.0.3..> 31-Aug-2006 12:56   31K  
 hotptp-bnf2-v3.2.0.4..> 03-Sep-2006 11:49   31K  
 hotptp-bnf2-v3.2.0.5..> 03-Sep-2006 13:38   31K  
 hotptp-bnf2-v3.2.0.6..> 09-Sep-2006 16:26   31K  
 hotptp-bnf2.txt         03-Sep-2006 13:38   31K  
 hotptp-trans.pdf        09-Aug-2006 11:19   51K  
 hotptp-trans.ps         09-Aug-2006 11:16  107K  
 hotptp-yl-parser        09-Sep-2006 16:55   64K  
 hotptp-yl-parser-ver..> 09-Sep-2006 16:55   64K  
 hotptp.pdf              17-May-2006 16:14  171K  
 hotptp.ps               17-May-2006 16:07  174K  
 ijcar06-hotptp.pdf      04-Mar-2006 01:25  166K  
 len-tstp.csh            06-Mar-2006 12:31  1.1K  
 many-sorted-cite        01-Sep-2006 21:39  520   
 sample.txt              20-Feb-2006 20:48  416   
 sample_inline.txt       20-Mar-2006 22:10  428   
 some-ocaml-code         01-Sep-2006 21:43  237   
 tff-first-examples.txt  31-Aug-2006 13:13  259   
 thf-overview.txt        09-Sep-2006 17:26  7.8K  
 thf-setops.ax           30-Aug-2006 16:54  566   
 thf-setops_arb.ax       30-Aug-2006 16:55  659   
 thf-sum-example.txt     03-Sep-2006 14:22  683   
 thf-thof1-examples.txt  29-Aug-2006 21:11  3.3K  
 thf-thof2-examples.txt  30-Aug-2006 17:00  2.2K  
 thf-type-examples-ba..> 03-Sep-2006 11:39  2.7K  
 thf-type-examples.txt   03-Sep-2006 14:25  2.6K  
 token-xref.csh          18-Feb-2006 21:35  242   
 tptp-lex.csh            09-Sep-2006 16:53  9.6K  
 tptp-trans.csh          09-Sep-2006 16:49  6.4K  
 tptp-txt-all.csh        19-Feb-2006 01:02  429   
 tptp-txt-clean.csh      19-Feb-2006 01:04  726   
 tptp-y.csh              19-Feb-2006 00:59  804   
 tptp-y0.csh             08-Sep-2006 21:30  5.8K  
 tptp-y1.awksh           08-Sep-2006 22:42  1.6K  
 try-parser-all.csh      06-Jan-2006 22:22  564   
 try-parser-tstp.csh     27-Feb-2006 01:19  1.2K  
 try-parser-tstp1.csh    06-Mar-2006 21:41  291   
 try-parser.csh          06-Jan-2006 22:29  223