![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/tar.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[SND]](/icons/sound2.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/script.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| 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.txt | 30-Aug-2006 16:39 | 27K | |
| hotptp-bnf2-v3.2.0.3.txt | 31-Aug-2006 12:56 | 31K | |
| hotptp-bnf2-v3.2.0.4.txt | 03-Sep-2006 11:49 | 31K | |
| hotptp-bnf2-v3.2.0.5.txt | 03-Sep-2006 13:38 | 31K | |
| hotptp-bnf2-v3.2.0.6.txt | 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-verbose | 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-bad.txt | 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 | |