![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/script.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Makefile | 13-Feb-2006 22:59 | 457 | |
| diffs-Feb11 | 13-Feb-2006 23:03 | 5.3K | |
| hof-thof1-examples.txt | 10-Feb-2006 15:16 | 2.2K | |
| hof-thof2-examples.txt | 08-Feb-2006 22:24 | 1.8K | |
| hotptp-bnf.txt | 11-Feb-2006 23:32 | 16K | |
| sample.txt | 05-Feb-2006 21:16 | 338 | |
| setops.ax | 08-Feb-2006 22:53 | 480 | |
| syntaxBNF-1.lex0 | 13-Feb-2006 23:00 | 3.7K | |
| syntaxBNF-1.y | 13-Feb-2006 23:00 | 37K | |
| syntaxBNF-3.1.1.13.txt | 04-Feb-2006 21:40 | 13K | |
| syntaxBNF-3.1.1.13b.txt | 11-Feb-2006 23:05 | 13K | |
| tptp-lex.csh | 11-Feb-2006 23:14 | 7.7K | |
| tptp-trans.csh | 08-Feb-2006 21:47 | 5.6K | |
| tptp-txt-all.csh | 04-Feb-2006 14:29 | 415 | |
| tptp-txt-clean.csh | 09-Jan-2006 04:00 | 582 | |
| tptp-y.csh | 05-Jan-2006 22:49 | 785 | |
| tptp-y0.csh | 11-Feb-2006 23:15 | 6.1K | |
| tptp-y1.awksh | 05-Feb-2006 20:13 | 1.5K | |
| tptp-yl-parser | 13-Feb-2006 23:00 | 52K | |
| tptp-yl-parser-verbose | 13-Feb-2006 23:00 | 52K | |