Index of /~avg/TPTPparser

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