![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/tar.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| TPTPparser.tar | 21-Mar-2006 00:03 | 1.0M | |
| hof-thof1-examples.txt | 22-Feb-2006 00:02 | 3.2K | |
| hof-thof2-examples.txt | 22-Feb-2006 00:15 | 1.8K | |
| setops.ax | 08-Feb-2006 22:53 | 480 | |
| syntaxBNF2-1.lex0 | 20-Mar-2006 23:50 | 5.5K | |
| syntaxBNF2-1.y | 20-Mar-2006 23:50 | 21K | |
| syntaxBNF2-3.1.1.13b.txt | 21-Feb-2006 20:39 | 14K | |
| syntaxBNF2-3.1.1.13c.txt | 25-Feb-2006 20:08 | 15K | |
| syntaxBNF2-3.1.1.13d.lex0 | 20-Mar-2006 23:50 | 5.5K | |
| syntaxBNF2-3.1.1.13d.txt | 20-Mar-2006 02:25 | 15K | |
| syntaxBNF2-3.1.1.13d.y | 20-Mar-2006 23:50 | 21K | |
| tptp-yl-parser | 20-Mar-2006 23:50 | 45K | |
| tptp-yl-parser-verbose | 20-Mar-2006 23:50 | 45K | |