: 1 23365
1 d none bin ? ? ?
1 s none bin/twelf-server=../lib/twelf/bin/twelf-server
1 i copyright 90 7720 1448461099
1 i depend 123 10402 1448569141
1 i i.rename 313 24364 1426618113
1 d none lib ? ? ?
1 d none lib/twelf ? ? ?
1 d none lib/twelf/bin 0755 bin bin
1 d none lib/twelf/bin/.heap 0755 bin bin
1 f none lib/twelf/bin/.heap/twelf-server.x86-solaris 0644 bin bin 8841312 6922 1448566418
1 f rename lib/twelf/bin/twelf-server 0755 bin bin 103 8550 1448570010
1 d none lib/twelf/emacs 0755 bin bin
1 f none lib/twelf/emacs/README 0644 bin bin 9148 53797 905036380
1 f none lib/twelf/emacs/auc-menu.el 0644 bin bin 8830 56976 905036380
1 f none lib/twelf/emacs/twelf-font.el 0644 bin bin 15273 21625 1215893163
1 f none lib/twelf/emacs/twelf-hilit.el 0644 bin bin 9169 32299 1017977872
1 f none lib/twelf/emacs/twelf-init.el 0644 bin bin 1325 46102 1041052542
1 f none lib/twelf/emacs/twelf.el 0644 bin bin 121296 10253 1215893163
1 d none lib/twelf/tex 0755 bin bin
1 f none lib/twelf/tex/code.sty 0644 bin bin 3725 13939 917350192
1 f none lib/twelf/tex/example.tex 0644 bin bin 36135 48158 917350192
1 f none lib/twelf/tex/twelf.sty 0644 bin bin 219 20115 917350192
1 d none lib/twelf/vim 0755 bin bin
1 f none lib/twelf/vim/README 0644 bin bin 618 53440 1074010625
1 f none lib/twelf/vim/filetype.vim 0644 bin bin 164 15024 1073927834
1 d none lib/twelf/vim/syntax 0755 bin bin
1 f none lib/twelf/vim/syntax/twelf.vim 0644 bin bin 3286 26461 1175176690
1 i pkginfo 775 2465 1448570010
1 d none share ? ? ?
1 d none share/doc ? ? ?
1 d none share/doc/twelf ? ? ?
1 f none share/doc/twelf/README 0644 bin bin 78 6511 1448570010
1 d none share/doc/twelf/examples 0755 bin bin
1 d none share/doc/twelf/examples-clp 0755 bin bin
1 d none share/doc/twelf/examples-clp/arith 0755 bin bin
1 f none share/doc/twelf/examples-clp/arith/eval.elf 0644 bin bin 1124 11317 1013619655
1 f none share/doc/twelf/examples-clp/arith/examples.quy 0644 bin bin 110 8288 1013619655
1 f none share/doc/twelf/examples-clp/arith/parse.elf 0644 bin bin 896 61876 1013619655
1 f none share/doc/twelf/examples-clp/arith/sources.cfg 0644 bin bin 19 1697 936095916
1 f none share/doc/twelf/examples-clp/arith/test.cfg 0644 bin bin 33 2977 1013619681
1 d none share/doc/twelf/examples-clp/base 0755 bin bin
1 f none share/doc/twelf/examples-clp/base/base.elf 0644 bin bin 698 51800 1013455147
1 f none share/doc/twelf/examples-clp/base/examples.quy 0644 bin bin 81 6043 1013455147
1 f none share/doc/twelf/examples-clp/base/sources.cfg 0644 bin bin 9 778 936093517
1 f none share/doc/twelf/examples-clp/base/test.cfg 0644 bin bin 23 2058 1013455157
1 d none share/doc/twelf/examples-clp/crypt 0755 bin bin
1 f none share/doc/twelf/examples-clp/crypt/crypt.elf 0644 bin bin 1820 53980 1013455147
1 f none share/doc/twelf/examples-clp/crypt/examples.quy 0644 bin bin 104 7034 1013455147
1 f none share/doc/twelf/examples-clp/crypt/sources.cfg 0644 bin bin 23 2199 1013455147
1 f none share/doc/twelf/examples-clp/crypt/test.cfg 0644 bin bin 23 2199 1013455157
1 d none share/doc/twelf/examples-clp/integers 0755 bin bin
1 f none share/doc/twelf/examples-clp/integers/base.elf 0644 bin bin 1236 23838 1010165370
1 f none share/doc/twelf/examples-clp/integers/cfract.elf 0644 bin bin 835 62360 1010165370
1 f none share/doc/twelf/examples-clp/integers/examples.quy 0644 bin bin 404 28640 1010165490
1 f none share/doc/twelf/examples-clp/integers/integers.elf 0644 bin bin 1200 15302 1010165370
1 f none share/doc/twelf/examples-clp/integers/meta.elf 0644 bin bin 1610 54026 929970724
1 f none share/doc/twelf/examples-clp/integers/sources.cfg 0644 bin bin 41 3784 936092400
1 f none share/doc/twelf/examples-clp/integers/test.cfg 0644 bin bin 56 5074 1010165546
1 d none share/doc/twelf/examples-clp/laplace 0755 bin bin
1 f none share/doc/twelf/examples-clp/laplace/examples.quy 0644 bin bin 311 16054 1013455147
1 f none share/doc/twelf/examples-clp/laplace/laplace.elf 0644 bin bin 840 57859 1013455147
1 f none share/doc/twelf/examples-clp/laplace/sources.cfg 0644 bin bin 11 1079 929970724
1 f none share/doc/twelf/examples-clp/laplace/test.cfg 0644 bin bin 26 2369 1013455157
1 d none share/doc/twelf/examples-clp/lists 0755 bin bin
1 f none share/doc/twelf/examples-clp/lists/examples.quy 0644 bin bin 73 5398 1013455147
1 f none share/doc/twelf/examples-clp/lists/lists.elf 0644 bin bin 387 29475 1013455147
1 f none share/doc/twelf/examples-clp/lists/sources.cfg 0644 bin bin 9 916 929970724
1 f none share/doc/twelf/examples-clp/lists/test.cfg 0644 bin bin 24 2206 1013455157
1 d none share/doc/twelf/examples-clp/mortgage 0755 bin bin
1 f none share/doc/twelf/examples-clp/mortgage/examples.quy 0644 bin bin 123 8742 1013646547
1 f none share/doc/twelf/examples-clp/mortgage/mortgage.elf 0644 bin bin 704 50200 1013455147
1 f none share/doc/twelf/examples-clp/mortgage/sources.cfg 0644 bin bin 12 1211 929970724
1 f none share/doc/twelf/examples-clp/mortgage/test.cfg 0644 bin bin 27 2501 1013455157
1 d none share/doc/twelf/examples-clp/pelletier 0755 bin bin
1 f none share/doc/twelf/examples-clp/pelletier/examples.quy 0644 bin bin 1114 2822 1013455147
1 f none share/doc/twelf/examples-clp/pelletier/pelletier.elf 0644 bin bin 236 20604 1013455147
1 f none share/doc/twelf/examples-clp/pelletier/sources.cfg 0644 bin bin 27 2603 1013455157
1 f none share/doc/twelf/examples-clp/pelletier/test.cfg 0644 bin bin 27 2603 1013455157
1 d none share/doc/twelf/examples-clp/sieve 0755 bin bin
1 f none share/doc/twelf/examples-clp/sieve/examples.quy 0644 bin bin 125 8482 1141814940
1 f none share/doc/twelf/examples-clp/sieve/sieve.elf 0644 bin bin 965 3192 1013454554
1 f none share/doc/twelf/examples-clp/sieve/sieve2.elf 0644 bin bin 1250 19955 1013620908
1 f none share/doc/twelf/examples-clp/sieve/sources.cfg 0644 bin bin 11 957 1013454554
1 f none share/doc/twelf/examples-clp/sieve/test.cfg 0644 bin bin 25 2237 1013620367
1 d none share/doc/twelf/examples-delphin 0755 bin bin
1 d none share/doc/twelf/examples-delphin/carsten 0755 bin bin
1 d none share/doc/twelf/examples-delphin/carsten/mini-ml 0755 bin bin
1 f none share/doc/twelf/examples-delphin/carsten/mini-ml/add.delphin 0644 bin bin 406 27026 1061830536
1 f none share/doc/twelf/examples-delphin/carsten/mini-ml/bug1 0644 bin bin 195 12868 1061830536
1 f none share/doc/twelf/examples-delphin/carsten/mini-ml/count.delphin 0644 bin bin 996 2177 1061830536
1 f none share/doc/twelf/examples-delphin/carsten/mini-ml/identity.delphin 0644 bin bin 723 45036 1061830536
1 f none share/doc/twelf/examples-delphin/carsten/mini-ml/mini-ml.elf 0644 bin bin 2308 31453 1061830536
1 f none share/doc/twelf/examples-delphin/carsten/mini-ml/run.sml 0644 bin bin 351 32452 1061830536
1 f none share/doc/twelf/examples-delphin/carsten/mini-ml/sources.cfg 0644 bin bin 11 1048 1061830536
1 d none share/doc/twelf/examples-delphin/carsten/nd 0755 bin bin
1 f none share/doc/twelf/examples-delphin/carsten/nd/NOTES 0644 bin bin 1833 13805 1061830536
1 f none share/doc/twelf/examples-delphin/carsten/nd/prover.delphin 0644 bin bin 1003 65435 1061830536
1 d none share/doc/twelf/examples-delphin/carsten/prop-calc 0755 bin bin
1 f none share/doc/twelf/examples-delphin/carsten/prop-calc/equiv.delphin 0644 bin bin 475 33599 1061830536
1 f none share/doc/twelf/examples-delphin/carsten/prop-calc/prop-calc.elf 0644 bin bin 1367 39709 1061830536
1 f none share/doc/twelf/examples-delphin/carsten/prop-calc/run.sml 0644 bin bin 123 11418 1061830536
1 d none share/doc/twelf/examples-delphin/carsten/prover 0755 bin bin
1 f none share/doc/twelf/examples-delphin/carsten/prover/nd.elf 0644 bin bin 501 40881 1061830536
1 f none share/doc/twelf/examples-delphin/carsten/prover/prop-calc.elf 0644 bin bin 516 41904 1061830536
1 f none share/doc/twelf/examples-delphin/carsten/prover/prover.delphin 0644 bin bin 727 49116 1061830536
1 f none share/doc/twelf/examples-delphin/carsten/prover/prover.elf 0644 bin bin 259 17575 1061830536
1 f none share/doc/twelf/examples-delphin/carsten/prover/run.sml 0644 bin bin 111 10393 1061830536
1 f none share/doc/twelf/examples-delphin/carsten/prover/search.delphin 0644 bin bin 689 45344 1061830536
1 d none share/doc/twelf/examples-delphin/mini-ml 0755 bin bin
1 f none share/doc/twelf/examples-delphin/mini-ml/count.delphin 0644 bin bin 1477 31924 1061830536
1 f none share/doc/twelf/examples-delphin/mini-ml/mini-ml.elf 0644 bin bin 1115 11078 1061830536
1 f none share/doc/twelf/examples-delphin/mini-ml/sources.cfg 0644 bin bin 11 1048 1061830536
1 f none share/doc/twelf/examples/README 0644 bin bin 1279 48073 1124303381
1 d none share/doc/twelf/examples/alloc-sem 0755 bin bin
1 f none share/doc/twelf/examples/alloc-sem/README 0644 bin bin 20583 9702 1121739128
1 f none share/doc/twelf/examples/alloc-sem/absurdum.elf 0644 bin bin 179 14867 1121739128
1 f none share/doc/twelf/examples/alloc-sem/dynsem-lemmas.elf 0644 bin bin 2923 37617 1121739128
1 f none share/doc/twelf/examples/alloc-sem/dynsem-lemmas.thm 0644 bin bin 993 275 1121739128
1 f none share/doc/twelf/examples/alloc-sem/dynsem.elf 0644 bin bin 2102 6068 1121739128
1 f none share/doc/twelf/examples/alloc-sem/exp.elf 0644 bin bin 740 47802 1121739128
1 f none share/doc/twelf/examples/alloc-sem/inversion-pres.elf 0644 bin bin 3838 59247 1121739128
1 f none share/doc/twelf/examples/alloc-sem/inversion-prog.elf 0644 bin bin 2787 55334 1121739128
1 f none share/doc/twelf/examples/alloc-sem/loc-lemmas.elf 0644 bin bin 971 1989 1121739128
1 f none share/doc/twelf/examples/alloc-sem/loc-lemmas.thm 0644 bin bin 731 50436 1121739128
1 f none share/doc/twelf/examples/alloc-sem/loc.elf 0644 bin bin 634 37051 1121739128
1 f none share/doc/twelf/examples/alloc-sem/machine.elf 0644 bin bin 754 45908 1121739128
1 f none share/doc/twelf/examples/alloc-sem/nat-lemmas.elf 0644 bin bin 1362 32075 1121739128
1 f none share/doc/twelf/examples/alloc-sem/nat-lemmas.thm 0644 bin bin 904 63327 1121739128
1 f none share/doc/twelf/examples/alloc-sem/nat.elf 0644 bin bin 731 43858 1121739128
1 f none share/doc/twelf/examples/alloc-sem/preservation-lemmas.elf 0644 bin bin 5110 15885 1121739128
1 f none share/doc/twelf/examples/alloc-sem/preservation.elf 0644 bin bin 9158 18747 1121739128
1 f none share/doc/twelf/examples/alloc-sem/progress-lemmas.elf 0644 bin bin 5768 42988 1121739128
1 f none share/doc/twelf/examples/alloc-sem/progress.elf 0644 bin bin 1946 474 1121739128
1 f none share/doc/twelf/examples/alloc-sem/safety.elf 0644 bin bin 1324 18483 1121739128
1 f none share/doc/twelf/examples/alloc-sem/sources-thm.cfg 0644 bin bin 343 30730 1121739128
1 f none share/doc/twelf/examples/alloc-sem/sources.cfg 0644 bin bin 462 42185 1121739128
1 f none share/doc/twelf/examples/alloc-sem/statsem.elf 0644 bin bin 3897 52707 1121739128
1 f none share/doc/twelf/examples/alloc-sem/store-lemmas.elf 0644 bin bin 1506 37780 1121739128
1 f none share/doc/twelf/examples/alloc-sem/store-lemmas.thm 0644 bin bin 930 60811 1121739128
1 f none share/doc/twelf/examples/alloc-sem/store.elf 0644 bin bin 1902 53483 1121739128
1 f none share/doc/twelf/examples/alloc-sem/storetp-lemmas.elf 0644 bin bin 6192 61137 1121739128
1 f none share/doc/twelf/examples/alloc-sem/storetp-lemmas.thm 0644 bin bin 2365 42775 1121739128
1 f none share/doc/twelf/examples/alloc-sem/storetp.elf 0644 bin bin 2809 52017 1121739128
1 f none share/doc/twelf/examples/alloc-sem/syntax.elf 0644 bin bin 636 39944 1121739128
1 f none share/doc/twelf/examples/alloc-sem/tp.elf 0644 bin bin 352 20872 1121739128
1 f none share/doc/twelf/examples/alloc-sem/val.elf 0644 bin bin 369 22289 1121739128
1 f none share/doc/twelf/examples/alloc-sem/weaken.elf 0644 bin bin 6537 53871 1121739128
1 f none share/doc/twelf/examples/alloc-sem/weaken.thm 0644 bin bin 1845 63928 1121739128
1 d none share/doc/twelf/examples/arith 0755 bin bin
1 f none share/doc/twelf/examples/arith/README 0644 bin bin 106 9965 905036380
1 f none share/doc/twelf/examples/arith/arith.elf 0644 bin bin 602 40983 1061830536
1 f none share/doc/twelf/examples/arith/arith.thm 0644 bin bin 1140 21712 1061830536
1 f none share/doc/twelf/examples/arith/sources.cfg 0644 bin bin 38 3348 1061830536
1 f none share/doc/twelf/examples/arith/test.cfg 0644 bin bin 20 1824 905036380
1 d none share/doc/twelf/examples/ccc 0755 bin bin
1 f none share/doc/twelf/examples/ccc/README 0644 bin bin 892 13087 905036380
1 f none share/doc/twelf/examples/ccc/abs-env.elf 0644 bin bin 745 51831 905036380
1 f none share/doc/twelf/examples/ccc/catlem.elf 0644 bin bin 816 52624 905036380
1 f none share/doc/twelf/examples/ccc/ccc.elf 0644 bin bin 1343 25445 928513661
1 f none share/doc/twelf/examples/ccc/conc.elf 0644 bin bin 526 37267 1110728669
1 f none share/doc/twelf/examples/ccc/conc.thm 0644 bin bin 337 28276 905036380
1 f none share/doc/twelf/examples/ccc/cong.elf 0644 bin bin 707 49904 905036380
1 f none share/doc/twelf/examples/ccc/eqpres1.elf 0644 bin bin 2622 62012 905036380
1 f none share/doc/twelf/examples/ccc/eqpres2.elf 0644 bin bin 2227 20798 905036380
1 f none share/doc/twelf/examples/ccc/examples.quy 0644 bin bin 1869 18219 905036380
1 f none share/doc/twelf/examples/ccc/inv1.elf 0644 bin bin 1908 6266 905036380
1 f none share/doc/twelf/examples/ccc/inv2.elf 0644 bin bin 1437 32708 905036380
1 f none share/doc/twelf/examples/ccc/lambda.elf 0644 bin bin 1175 21242 928513661
1 f none share/doc/twelf/examples/ccc/pf.dvi 0644 bin bin 34256 41726 905036380
1 f none share/doc/twelf/examples/ccc/refl.elf 0644 bin bin 894 64577 905036380
1 f none share/doc/twelf/examples/ccc/sources.cfg 0644 bin bin 135 11148 928513661
1 f none share/doc/twelf/examples/ccc/spass.cfg 0644 bin bin 10 921 928513661
1 f none share/doc/twelf/examples/ccc/spass.elf 0644 bin bin 1451 34420 920563372
1 f none share/doc/twelf/examples/ccc/spass.sml 0644 bin bin 3452 53512 928513661
1 f none share/doc/twelf/examples/ccc/subext.elf 0644 bin bin 3947 26881 905036380
1 f none share/doc/twelf/examples/ccc/test.cfg 0644 bin bin 156 13212 905036380
1 d none share/doc/twelf/examples/church-rosser 0755 bin bin
1 f none share/doc/twelf/examples/church-rosser/README 0644 bin bin 726 65464 905036380
1 f none share/doc/twelf/examples/church-rosser/church-rosser.thm 0644 bin bin 1496 40908 928513661
1 f none share/doc/twelf/examples/church-rosser/cr.thm 0644 bin bin 821 61539 905036380
1 f none share/doc/twelf/examples/church-rosser/equiv.elf 0644 bin bin 3743 42726 1061830536
1 f none share/doc/twelf/examples/church-rosser/examples.quy 0644 bin bin 1108 13962 1000319838
1 f none share/doc/twelf/examples/church-rosser/lam.elf 0644 bin bin 143 11294 1009552940
1 f none share/doc/twelf/examples/church-rosser/ord-cr.elf 0644 bin bin 485 32158 1009552940
1 f none share/doc/twelf/examples/church-rosser/ord-lemmas.elf 0644 bin bin 2030 7334 1009552940
1 f none share/doc/twelf/examples/church-rosser/ord-red.elf 0644 bin bin 953 55181 1009552940
1 f none share/doc/twelf/examples/church-rosser/par-cr.elf 0644 bin bin 5282 16387 1009552940
1 f none share/doc/twelf/examples/church-rosser/par-lemmas.elf 0644 bin bin 941 4935 1009552940
1 f none share/doc/twelf/examples/church-rosser/par-red.elf 0644 bin bin 979 56742 1005173075
1 d none share/doc/twelf/examples/church-rosser/simplified 0755 bin bin
1 f none share/doc/twelf/examples/church-rosser/simplified/par-cr.elf 0644 bin bin 4684 49930 1197305724
1 f none share/doc/twelf/examples/church-rosser/simplified/sources.cfg 0644 bin bin 115 9325 1197305724
1 f none share/doc/twelf/examples/church-rosser/sources.cfg 0644 bin bin 94 8352 905036380
1 f none share/doc/twelf/examples/church-rosser/test-unsafe.cfg 0644 bin bin 135 11704 924702633
1 f none share/doc/twelf/examples/church-rosser/test.cfg 0644 bin bin 108 9632 917353185
1 f none share/doc/twelf/examples/church-rosser/test.tag 0644 bin bin 1664 50277 905036380
1 d none share/doc/twelf/examples/compile 0755 bin bin
1 f none share/doc/twelf/examples/compile/README 0644 bin bin 353 29581 905036380
1 d none share/doc/twelf/examples/compile/cls 0755 bin bin
1 f none share/doc/twelf/examples/compile/cls/cls-complete.elf 0644 bin bin 2924 15445 928511441
1 f none share/doc/twelf/examples/compile/cls/cls-sound.elf 0644 bin bin 3896 8068 928511441
1 f none share/doc/twelf/examples/compile/cls/cls.elf 0644 bin bin 653 53448 905036380
1 f none share/doc/twelf/examples/compile/cls/compute.elf 0644 bin bin 3097 3065 905036380
1 f none share/doc/twelf/examples/compile/cls/debruijn.elf 0644 bin bin 785 54806 905036380
1 f none share/doc/twelf/examples/compile/cls/examples.quy 0644 bin bin 2528 21742 905036380
1 f none share/doc/twelf/examples/compile/cls/feval.elf 0644 bin bin 1296 21038 905036380
1 f none share/doc/twelf/examples/compile/cls/mini-ml.elf 0644 bin bin 417 30116 905036380
1 f none share/doc/twelf/examples/compile/cls/slow.quy 0644 bin bin 3625 10007 905036380
1 f none share/doc/twelf/examples/compile/cls/sources.cfg 0644 bin bin 96 8787 905036380
1 f none share/doc/twelf/examples/compile/cls/test.cfg 0644 bin bin 109 10057 905036380
1 f none share/doc/twelf/examples/compile/cls/trans.elf 0644 bin bin 1851 64528 905036380
1 f none share/doc/twelf/examples/compile/cls/trans2.elf 0644 bin bin 1851 64528 905036380
1 d none share/doc/twelf/examples/compile/cpm 0755 bin bin
1 f none share/doc/twelf/examples/compile/cpm/ceval-complete.elf 0644 bin bin 2714 9558 1061830536
1 f none share/doc/twelf/examples/compile/cpm/ceval-complete.thm 0644 bin bin 510 40614 917024004
1 f none share/doc/twelf/examples/compile/cpm/ceval-sound.elf 0644 bin bin 2175 27321 905036380
1 f none share/doc/twelf/examples/compile/cpm/ceval.elf 0644 bin bin 1927 3409 905036380
1 f none share/doc/twelf/examples/compile/cpm/cpm.elf 0644 bin bin 567 43960 905036380
1 f none share/doc/twelf/examples/compile/cpm/evalv.elf 0644 bin bin 1040 4872 905036380
1 f none share/doc/twelf/examples/compile/cpm/examples.quy 0644 bin bin 4379 7857 905036380
1 f none share/doc/twelf/examples/compile/cpm/mini-mlv.elf 0644 bin bin 569 41049 905036380
1 f none share/doc/twelf/examples/compile/cpm/proof-equiv.elf 0644 bin bin 1337 30917 1061830536
1 f none share/doc/twelf/examples/compile/cpm/proof-equiv.thm 0644 bin bin 832 61221 905036380
1 f none share/doc/twelf/examples/compile/cpm/slow.quy 0644 bin bin 5370 25209 905036380
1 f none share/doc/twelf/examples/compile/cpm/sources.cfg 0644 bin bin 93 8468 928513661
1 f none share/doc/twelf/examples/compile/cpm/test.cfg 0644 bin bin 140 13072 905036380
1 f none share/doc/twelf/examples/compile/cpm/theorems.elf 0644 bin bin 513 37218 905036380
1 f none share/doc/twelf/examples/compile/cpm/theorems.thm 0644 bin bin 868 62792 905036380
1 d none share/doc/twelf/examples/compile/cps 0755 bin bin
1 f none share/doc/twelf/examples/compile/cps/cps-eval.elf 0644 bin bin 458 31884 905036380
1 f none share/doc/twelf/examples/compile/cps/cps.elf 0644 bin bin 580 43565 905036380
1 f none share/doc/twelf/examples/compile/cps/examples.quy 0644 bin bin 465 32317 905036380
1 f none share/doc/twelf/examples/compile/cps/mini-ml.elf 0644 bin bin 417 30116 905036380
1 f none share/doc/twelf/examples/compile/cps/ml-cps.elf 0644 bin bin 1101 7896 905036380
1 f none share/doc/twelf/examples/compile/cps/sources.cfg 0644 bin bin 44 3868 905036380
1 f none share/doc/twelf/examples/compile/cps/test.cfg 0644 bin bin 57 5138 905036380
1 d none share/doc/twelf/examples/compile/cxm 0755 bin bin
1 f none share/doc/twelf/examples/compile/cxm/evalv.elf 0644 bin bin 1040 4872 905036380
1 f none share/doc/twelf/examples/compile/cxm/examples.quy 0644 bin bin 169 11875 905036380
1 f none share/doc/twelf/examples/compile/cxm/mini-mlv.elf 0644 bin bin 569 41049 905036380
1 f none share/doc/twelf/examples/compile/cxm/sources.cfg 0644 bin bin 33 2996 905036380
1 f none share/doc/twelf/examples/compile/cxm/test.cfg 0644 bin bin 46 4266 905036380
1 f none share/doc/twelf/examples/compile/cxm/xeval.elf 0644 bin bin 2444 35155 905036380
1 d none share/doc/twelf/examples/compile/debruijn 0755 bin bin
1 f none share/doc/twelf/examples/compile/debruijn/debruijn.elf 0644 bin bin 785 54806 905036380
1 f none share/doc/twelf/examples/compile/debruijn/eval.elf 0644 bin bin 953 63526 905036380
1 f none share/doc/twelf/examples/compile/debruijn/examples.quy 0644 bin bin 2539 51196 905036380
1 f none share/doc/twelf/examples/compile/debruijn/feval.elf 0644 bin bin 1274 19507 905036380
1 f none share/doc/twelf/examples/compile/debruijn/map-eval.elf 0644 bin bin 4499 49951 1173188067
1 f none share/doc/twelf/examples/compile/debruijn/mini-ml.elf 0644 bin bin 417 30116 905036380
1 f none share/doc/twelf/examples/compile/debruijn/sources.cfg 0644 bin bin 92 8315 1009552940
1 f none share/doc/twelf/examples/compile/debruijn/test.cfg 0644 bin bin 105 9585 905036380
1 f none share/doc/twelf/examples/compile/debruijn/trans.elf 0644 bin bin 2167 25960 1009552940
1 f none share/doc/twelf/examples/compile/debruijn/val-lemmas.elf 0644 bin bin 930 5540 1173188067
1 f none share/doc/twelf/examples/compile/debruijn/value.elf 0644 bin bin 277 20892 905036380
1 d none share/doc/twelf/examples/compile/debruijn1 0755 bin bin
1 f none share/doc/twelf/examples/compile/debruijn1/debruijn.elf 0644 bin bin 495 37306 905036380
1 f none share/doc/twelf/examples/compile/debruijn1/eval.elf 0644 bin bin 327 24479 905036380
1 f none share/doc/twelf/examples/compile/debruijn1/examples.quy 0644 bin bin 250 18571 905036380
1 f none share/doc/twelf/examples/compile/debruijn1/feval.elf 0644 bin bin 464 33676 905036380
1 f none share/doc/twelf/examples/compile/debruijn1/map-eval.elf 0644 bin bin 676 50488 928511441
1 f none share/doc/twelf/examples/compile/debruijn1/mini-ml.elf 0644 bin bin 220 17398 905036380
1 f none share/doc/twelf/examples/compile/debruijn1/sources.cfg 0644 bin bin 67 6033 905036380
1 f none share/doc/twelf/examples/compile/debruijn1/test.cfg 0644 bin bin 80 7303 905036380
1 f none share/doc/twelf/examples/compile/debruijn1/trans.elf 0644 bin bin 657 48880 905036380
1 d none share/doc/twelf/examples/cpsocc 0755 bin bin
1 f none share/doc/twelf/examples/cpsocc/NOTES 0644 bin bin 191 16773 916663614
1 f none share/doc/twelf/examples/cpsocc/READ.ME 0644 bin bin 2117 41563 916663614
1 f none share/doc/twelf/examples/cpsocc/corr.elf 0644 bin bin 628 42104 916663614
1 f none share/doc/twelf/examples/cpsocc/cpsBNF.elf 0644 bin bin 463 32006 916663614
1 f none share/doc/twelf/examples/cpsocc/def1+5+fig4.elf 0644 bin bin 1219 15835 916663614
1 f none share/doc/twelf/examples/cpsocc/def13.elf 0644 bin bin 1397 30812 917430057
1 f none share/doc/twelf/examples/cpsocc/def16.elf 0644 bin bin 1078 4456 916663614
1 f none share/doc/twelf/examples/cpsocc/def3+6+fig5.elf 0644 bin bin 1704 46993 1110728669
1 f none share/doc/twelf/examples/cpsocc/dsBNF.elf 0644 bin bin 352 23737 916663614
1 f none share/doc/twelf/examples/cpsocc/examples.quy 0644 bin bin 82699 3834 916663614
1 f none share/doc/twelf/examples/cpsocc/fig1.elf 0644 bin bin 968 61757 916663614
1 f none share/doc/twelf/examples/cpsocc/fig10.elf 0644 bin bin 1177 11273 916663614
1 f none share/doc/twelf/examples/cpsocc/fig11.elf 0644 bin bin 305 19085 916663614
1 f none share/doc/twelf/examples/cpsocc/fig12.elf 0644 bin bin 2578 31228 916663614
1 f none share/doc/twelf/examples/cpsocc/fig13.elf 0644 bin bin 264 15510 916663614
1 f none share/doc/twelf/examples/cpsocc/fig7.elf 0644 bin bin 772 48628 916663614
1 f none share/doc/twelf/examples/cpsocc/fig8.elf 0644 bin bin 1414 30864 916663614
1 f none share/doc/twelf/examples/cpsocc/fig9.elf 0644 bin bin 438 28491 916663614
1 f none share/doc/twelf/examples/cpsocc/lemma14.elf 0644 bin bin 2784 22585 916663614
1 f none share/doc/twelf/examples/cpsocc/lemma17.elf 0644 bin bin 31468 14473 1110728669
1 f none share/doc/twelf/examples/cpsocc/lemma7.elf 0644 bin bin 1439 14960 916663614
1 f none share/doc/twelf/examples/cpsocc/lemma9.elf 0644 bin bin 7099 17204 1110728669
1 f none share/doc/twelf/examples/cpsocc/load.sml 0644 bin bin 687 35941 916663614
1 f none share/doc/twelf/examples/cpsocc/sources.cfg 0644 bin bin 269 20931 917430057
1 f none share/doc/twelf/examples/cpsocc/test.cfg 0644 bin bin 264 21242 916663614
1 f none share/doc/twelf/examples/cpsocc/test.quy 0644 bin bin 10782 55420 916663614
1 f none share/doc/twelf/examples/cpsocc/th10.elf 0644 bin bin 2151 64366 916736613
1 f none share/doc/twelf/examples/cpsocc/th15.elf 0644 bin bin 4563 37696 916663614
1 f none share/doc/twelf/examples/cpsocc/th18.elf 0644 bin bin 6983 59454 916663614
1 f none share/doc/twelf/examples/cpsocc/th2.elf 0644 bin bin 1562 35855 916663614
1 f none share/doc/twelf/examples/cpsocc/th4.elf 0644 bin bin 3190 53085 916663614
1 f none share/doc/twelf/examples/cpsocc/th8.elf 0644 bin bin 946 55307 916663614
1 d none share/doc/twelf/examples/cut-elim 0755 bin bin
1 f none share/doc/twelf/examples/cut-elim/README 0644 bin bin 1349 51342 997322870
1 f none share/doc/twelf/examples/cut-elim/cl-admit.elf 0644 bin bin 6961 52547 1009552940
1 f none share/doc/twelf/examples/cut-elim/cl-cut.elf 0644 bin bin 1101 3318 905036380
1 f none share/doc/twelf/examples/cut-elim/cl-elim.elf 0644 bin bin 1824 51326 1009552940
1 f none share/doc/twelf/examples/cut-elim/cl.elf 0644 bin bin 1153 6701 905036380
1 f none share/doc/twelf/examples/cut-elim/cl.thm 0644 bin bin 99 7680 905036380
1 d none share/doc/twelf/examples/cut-elim/cover 0755 bin bin
1 f none share/doc/twelf/examples/cut-elim/cover/example.d 0644 bin bin 1077 8459 1192802039
1 f none share/doc/twelf/examples/cut-elim/examples.quy 0644 bin bin 2462 43060 991244982
1 f none share/doc/twelf/examples/cut-elim/formulas.elf 0644 bin bin 508 38499 905036380
1 f none share/doc/twelf/examples/cut-elim/int-admit.elf 0644 bin bin 4831 51377 1061830536
1 f none share/doc/twelf/examples/cut-elim/int-cut.elf 0644 bin bin 1138 10245 1009552940
1 f none share/doc/twelf/examples/cut-elim/int-elim.elf 0644 bin bin 1637 40399 1009552940
1 f none share/doc/twelf/examples/cut-elim/int.elf 0644 bin bin 1059 7527 905036380
1 f none share/doc/twelf/examples/cut-elim/int.thm 0644 bin bin 97 7602 905036380
1 f none share/doc/twelf/examples/cut-elim/sources.cfg 0644 bin bin 116 10432 997322870
1 f none share/doc/twelf/examples/cut-elim/test.cfg 0644 bin bin 131 11740 905036380
1 d none share/doc/twelf/examples/fj 0755 bin bin
1 f none share/doc/twelf/examples/fj/README.txt 0644 bin bin 250 22875 1124303381
1 f none share/doc/twelf/examples/fj/aux-lemma-prog.elf 0644 bin bin 22069 55657 1124303590
1 f none share/doc/twelf/examples/fj/aux-lemma.elf 0644 bin bin 44118 48616 1165694976
1 f none share/doc/twelf/examples/fj/false.elf 0644 bin bin 325 28728 1124303590
1 f none share/doc/twelf/examples/fj/fj.elf 0644 bin bin 20552 2763 1124303590
1 f none share/doc/twelf/examples/fj/nat.elf 0644 bin bin 10523 44578 1124303590
1 f none share/doc/twelf/examples/fj/pres.elf 0644 bin bin 4276 17031 1124303590
1 f none share/doc/twelf/examples/fj/progress.elf 0644 bin bin 7967 11917 1124303590
1 f none share/doc/twelf/examples/fj/sources.cfg 0644 bin bin 281 24826 1124303381
1 d none share/doc/twelf/examples/fol 0755 bin bin
1 f none share/doc/twelf/examples/fol/README 0644 bin bin 65 5890 905036380
1 f none share/doc/twelf/examples/fol/fol.elf 0644 bin bin 645 46733 905036380
1 f none share/doc/twelf/examples/fol/fol.thm 0644 bin bin 852 63944 928513661
1 f none share/doc/twelf/examples/fol/sources.cfg 0644 bin bin 8 688 928513661
1 f none share/doc/twelf/examples/fol/test.cfg 0644 bin bin 16 1394 905036380
1 d none share/doc/twelf/examples/guide 0755 bin bin
1 f none share/doc/twelf/examples/guide/arith.elf 0644 bin bin 2025 10990 968856292
1 f none share/doc/twelf/examples/guide/lam.elf 0644 bin bin 3556 64592 1110728669
1 f none share/doc/twelf/examples/guide/lists.elf 0644 bin bin 397 31273 928511441
1 f none share/doc/twelf/examples/guide/nd.elf 0644 bin bin 1832 65006 1018199548
1 f none share/doc/twelf/examples/guide/sources.cfg 0644 bin bin 60 5235 905036380
1 f none share/doc/twelf/examples/guide/test.cfg 0644 bin bin 70 6138 968856292
1 d none share/doc/twelf/examples/handbook 0755 bin bin
1 f none share/doc/twelf/examples/handbook/README 0644 bin bin 473 42201 971733306
1 f none share/doc/twelf/examples/handbook/fol.elf 0644 bin bin 5377 57027 1009552940
1 f none share/doc/twelf/examples/handbook/sources.cfg 0644 bin bin 8 688 971733306
1 f none share/doc/twelf/examples/handbook/test.cfg 0644 bin bin 8 688 971733306
1 d none share/doc/twelf/examples/incll 0755 bin bin
1 f none share/doc/twelf/examples/incll/README 0644 bin bin 441 39328 921677968
1 f none share/doc/twelf/examples/incll/bff-incll.elf 0644 bin bin 646 45618 969893193
1 f none share/doc/twelf/examples/incll/bff-incll.quy 0644 bin bin 241 17853 969893193
1 f none share/doc/twelf/examples/incll/cpm-incll.elf 0644 bin bin 2461 42674 921677968
1 f none share/doc/twelf/examples/incll/cpm-incll.quy 0644 bin bin 1635 49051 927286319
1 f none share/doc/twelf/examples/incll/incll.elf 0644 bin bin 1074 11704 927286319
1 f none share/doc/twelf/examples/incll/iosequents.elf 0644 bin bin 3393 41577 928839673
1 f none share/doc/twelf/examples/incll/lists-incll.elf 0644 bin bin 1140 10591 927286319
1 f none share/doc/twelf/examples/incll/lists-incll.quy 0644 bin bin 275 21195 927286319
1 f none share/doc/twelf/examples/incll/lists.elf 0644 bin bin 2234 22155 921677968
1 f none share/doc/twelf/examples/incll/parse-incll.elf 0644 bin bin 1801 3158 927286319
1 f none share/doc/twelf/examples/incll/parse-incll.quy 0644 bin bin 1260 31175 927286319
1 f none share/doc/twelf/examples/incll/parse-lolli.elf 0644 bin bin 3705 2351 927286319
1 f none share/doc/twelf/examples/incll/parse-lolli.quy 0644 bin bin 739 59541 927286319
1 f none share/doc/twelf/examples/incll/pre-incll.elf 0644 bin bin 1096 9550 969893193
1 f none share/doc/twelf/examples/incll/pre-incll.quy 0644 bin bin 370 25274 969893193
1 f none share/doc/twelf/examples/incll/search-incll.elf 0644 bin bin 5621 23632 927286319
1 f none share/doc/twelf/examples/incll/search-incll.quy 0644 bin bin 440 34893 927286319
1 f none share/doc/twelf/examples/incll/sort-incll.elf 0644 bin bin 1194 18607 928839673
1 f none share/doc/twelf/examples/incll/sort-incll.quy 0644 bin bin 371 25820 928839700
1 f none share/doc/twelf/examples/incll/sources.cfg 0644 bin bin 203 18330 969893193
1 f none share/doc/twelf/examples/incll/test.cfg 0644 bin bin 347 31154 969893193
1 d none share/doc/twelf/examples/js4 0755 bin bin
1 f none share/doc/twelf/examples/js4/js4.elf 0644 bin bin 3800 13634 1210786714
1 f none share/doc/twelf/examples/js4/sources.cfg 0644 bin bin 8 640 1210786714
1 d none share/doc/twelf/examples/kolm 0755 bin bin
1 f none share/doc/twelf/examples/kolm/README 0644 bin bin 388 34865 913118264
1 f none share/doc/twelf/examples/kolm/complete.elf 0644 bin bin 6048 11952 1110728669
1 f none share/doc/twelf/examples/kolm/examples.quy 0644 bin bin 21927 41493 916657391
1 f none share/doc/twelf/examples/kolm/fol.elf 0644 bin bin 341 23350 913118264
1 f none share/doc/twelf/examples/kolm/kolmtrans.elf 0644 bin bin 2846 17452 1010160777
1 f none share/doc/twelf/examples/kolm/nj.elf 0644 bin bin 2690 52510 913118264
1 f none share/doc/twelf/examples/kolm/nk.elf 0644 bin bin 1276 25775 913118264
1 f none share/doc/twelf/examples/kolm/report.ps 0644 bin bin 224783 37576 913118264
1 f none share/doc/twelf/examples/kolm/sound.elf 0644 bin bin 7955 4073 1110728669
1 f none share/doc/twelf/examples/kolm/sources.cfg 0644 bin bin 59 5353 913118264
1 f none share/doc/twelf/examples/kolm/test.cfg 0644 bin bin 59 5353 924702633
1 d none share/doc/twelf/examples/lp 0755 bin bin
1 d none share/doc/twelf/examples/lp-horn 0755 bin bin
1 f none share/doc/twelf/examples/lp-horn/canon.elf 0644 bin bin 753 53478 1061830536
1 f none share/doc/twelf/examples/lp-horn/conv.elf 0644 bin bin 1534 46412 905036380
1 f none share/doc/twelf/examples/lp-horn/examples.quy 0644 bin bin 63 5528 905036380
1 f none share/doc/twelf/examples/lp-horn/iscan.elf 0644 bin bin 1083 14136 1061830536
1 f none share/doc/twelf/examples/lp-horn/natded.elf 0644 bin bin 750 54132 905036380
1 f none share/doc/twelf/examples/lp-horn/sources.cfg 0644 bin bin 95 8666 905036380
1 f none share/doc/twelf/examples/lp-horn/test.cfg 0644 bin bin 138 12668 905036380
1 f none share/doc/twelf/examples/lp-horn/uni-can.elf 0644 bin bin 1419 41314 905036380
1 f none share/doc/twelf/examples/lp-horn/uni-can.thm 0644 bin bin 609 43362 905036380
1 f none share/doc/twelf/examples/lp-horn/uni-complete.elf 0644 bin bin 1259 25407 1061830536
1 f none share/doc/twelf/examples/lp-horn/uni-complete.thm 0644 bin bin 357 26322 905036380
1 f none share/doc/twelf/examples/lp-horn/uni-sound.elf 0644 bin bin 1242 26433 1061830536
1 f none share/doc/twelf/examples/lp-horn/uni-sound.thm 0644 bin bin 457 32227 927555514
1 f none share/doc/twelf/examples/lp-horn/uniform.elf 0644 bin bin 811 57697 905036380
1 f none share/doc/twelf/examples/lp/canon.elf 0644 bin bin 826 59837 1061830536
1 f none share/doc/twelf/examples/lp/cont.elf 0644 bin bin 1513 49247 905036380
1 f none share/doc/twelf/examples/lp/conv.elf 0644 bin bin 1644 54143 1110728669
1 f none share/doc/twelf/examples/lp/examples.elf 0644 bin bin 568 41313 1110728669
1 f none share/doc/twelf/examples/lp/examples.quy 0644 bin bin 3819 6418 905036380
1 f none share/doc/twelf/examples/lp/fohh-formulas.elf 0644 bin bin 696 47217 905036380
1 f none share/doc/twelf/examples/lp/fohh.elf 0644 bin bin 659 50532 905036380
1 f none share/doc/twelf/examples/lp/iscan.elf 0644 bin bin 1249 27981 1061830536
1 f none share/doc/twelf/examples/lp/natded.elf 0644 bin bin 750 54132 905036380
1 f none share/doc/twelf/examples/lp/res-complete.elf 0644 bin bin 2385 42787 1009556790
1 f none share/doc/twelf/examples/lp/res-sound.elf 0644 bin bin 1840 2550 1009556790
1 f none share/doc/twelf/examples/lp/resolution.elf 0644 bin bin 1093 12684 905036380
1 f none share/doc/twelf/examples/lp/sources.cfg 0644 bin bin 178 16512 905036380
1 f none share/doc/twelf/examples/lp/test.cfg 0644 bin bin 191 17782 905036380
1 f none share/doc/twelf/examples/lp/uni-complete.elf 0644 bin bin 1437 39064 1009556790
1 f none share/doc/twelf/examples/lp/uni-sound.elf 0644 bin bin 3061 33939 1009556790
1 f none share/doc/twelf/examples/lp/uniform.elf 0644 bin bin 786 54668 905036380
1 d none share/doc/twelf/examples/mini-ml 0755 bin bin
1 f none share/doc/twelf/examples/mini-ml/README 0644 bin bin 656 55356 983465719
1 f none share/doc/twelf/examples/mini-ml/closed.elf 0644 bin bin 2143 28959 1110728669
1 f none share/doc/twelf/examples/mini-ml/eval.elf 0644 bin bin 1008 3420 1088023827
1 f none share/doc/twelf/examples/mini-ml/eval1.elf 0644 bin bin 1336 32158 982293907
1 f none share/doc/twelf/examples/mini-ml/eval2.elf 0644 bin bin 959 2713 982293907
1 f none share/doc/twelf/examples/mini-ml/examples.quy 0644 bin bin 1085 15385 983643012
1 f none share/doc/twelf/examples/mini-ml/examples1.quy 0644 bin bin 160 12820 982685902
1 f none share/doc/twelf/examples/mini-ml/mini-ml.elf 0644 bin bin 422 31160 1088023827
1 f none share/doc/twelf/examples/mini-ml/reduce.elf 0644 bin bin 1303 17255 1061830536
1 f none share/doc/twelf/examples/mini-ml/reduce.thm 0644 bin bin 222 18071 983969600
1 f none share/doc/twelf/examples/mini-ml/sources.cfg 0644 bin bin 147 13153 1061830536
1 f none share/doc/twelf/examples/mini-ml/sources1.cfg 0644 bin bin 97 8725 983465719
1 f none share/doc/twelf/examples/mini-ml/test.cfg 0644 bin bin 154 14195 983969600
1 f none share/doc/twelf/examples/mini-ml/tp-preserve.elf 0644 bin bin 1402 33474 1110728669
1 f none share/doc/twelf/examples/mini-ml/tp-preserve.thm 0644 bin bin 304 24207 1141815194
1 f none share/doc/twelf/examples/mini-ml/tp.elf 0644 bin bin 213 16048 982293907
1 f none share/doc/twelf/examples/mini-ml/tpinf.elf 0644 bin bin 1063 8542 991661247
1 f none share/doc/twelf/examples/mini-ml/val-sound.elf 0644 bin bin 919 64592 1110728669
1 f none share/doc/twelf/examples/mini-ml/val-sound.thm 0644 bin bin 323 25479 983969600
1 f none share/doc/twelf/examples/mini-ml/value.elf 0644 bin bin 350 26063 1061830536
1 d none share/doc/twelf/examples/modal 0755 bin bin
1 f none share/doc/twelf/examples/modal/README 0644 bin bin 279 25197 1117565698
1 f none share/doc/twelf/examples/modal/modal-judge.elf 0644 bin bin 3607 59038 1117563415
1 f none share/doc/twelf/examples/modal/modal.elf 0644 bin bin 4777 33123 1117563415
1 d none share/doc/twelf/examples/polylam 0755 bin bin
1 f none share/doc/twelf/examples/polylam/examples.quy 0644 bin bin 68 6234 905036380
1 f none share/doc/twelf/examples/polylam/polylam.elf 0644 bin bin 824 60862 905036380
1 f none share/doc/twelf/examples/polylam/sources.cfg 0644 bin bin 12 1133 905036380
1 f none share/doc/twelf/examples/polylam/test.cfg 0644 bin bin 25 2403 905036380
1 d none share/doc/twelf/examples/poplmark 0755 bin bin
1 f none share/doc/twelf/examples/poplmark/1a.elf 0644 bin bin 15110 45816 1226654071
1 f none share/doc/twelf/examples/poplmark/1b.elf 0644 bin bin 30648 39151 1226654071
1 f none share/doc/twelf/examples/poplmark/2a.elf 0644 bin bin 13090 35230 1226654071
1 f none share/doc/twelf/examples/poplmark/2b.elf 0644 bin bin 85750 49163 1226654071
1 d none share/doc/twelf/examples/prop-calc 0755 bin bin
1 f none share/doc/twelf/examples/prop-calc/README 0644 bin bin 176 16741 905036380
1 f none share/doc/twelf/examples/prop-calc/equiv.elf 0644 bin bin 2321 41794 1141815194
1 f none share/doc/twelf/examples/prop-calc/equiv.thm 0644 bin bin 444 33368 928511441
1 f none share/doc/twelf/examples/prop-calc/examples.quy 0644 bin bin 591 40551 905036380
1 f none share/doc/twelf/examples/prop-calc/nd.elf 0644 bin bin 419 30559 1087352373
1 f none share/doc/twelf/examples/prop-calc/nd.tex 0644 bin bin 0 0 1087352373
1 f none share/doc/twelf/examples/prop-calc/ndclass.elf 0644 bin bin 434 27553 1087352373
1 f none share/doc/twelf/examples/prop-calc/prop-calc-solution.elf 0644 bin bin 1441 28193 1087352373
1 f none share/doc/twelf/examples/prop-calc/prop-calc.elf 0644 bin bin 1157 12808 1089905362
1 f none share/doc/twelf/examples/prop-calc/sources.cfg 0644 bin bin 24 2185 1089905362
1 f none share/doc/twelf/examples/prop-calc/test.cfg 0644 bin bin 90 7790 1110307628
1 f none share/doc/twelf/examples/prop-calc/thm1.elf 0644 bin bin 362 25085 1087352373
1 f none share/doc/twelf/examples/prop-calc/thm2.elf 0644 bin bin 761 52289 1087352373
1 f none share/doc/twelf/examples/prop-calc/thm3.elf 0644 bin bin 612 45886 1087352373
1 d none share/doc/twelf/examples/small-step 0755 bin bin
1 f none share/doc/twelf/examples/small-step/README 0644 bin bin 102 9489 1119027697
1 f none share/doc/twelf/examples/small-step/lam.elf 0644 bin bin 3685 45998 1117565698
1 f none share/doc/twelf/examples/small-step/system-f-iso.elf 0644 bin bin 7519 24484 1145476164
1 f none share/doc/twelf/examples/small-step/system-f.elf 0644 bin bin 5072 59429 1145469354
1 d none share/doc/twelf/examples/tabled 0755 bin bin
1 f none share/doc/twelf/examples/tabled/README 0644 bin bin 1237 33588 1015617810
1 f none share/doc/twelf/examples/tabled/all.sml 0644 bin bin 659 53035 1109025343
1 d none share/doc/twelf/examples/tabled/ccc 0755 bin bin
1 f none share/doc/twelf/examples/tabled/ccc/README 0644 bin bin 224 18972 1000319751
1 f none share/doc/twelf/examples/tabled/ccc/ccc.elf 0644 bin bin 1694 46379 1015616187
1 f none share/doc/twelf/examples/tabled/ccc/tab-examples.quy 0644 bin bin 303 21306 1019068473
1 f none share/doc/twelf/examples/tabled/ccc/tab.cfg 0644 bin bin 25 2290 1000319807
1 d none share/doc/twelf/examples/tabled/cr 0755 bin bin
1 f none share/doc/twelf/examples/tabled/cr/lam.elf 0644 bin bin 144 11304 1000321367
1 f none share/doc/twelf/examples/tabled/cr/ord-red.elf 0644 bin bin 900 52132 1015616187
1 f none share/doc/twelf/examples/tabled/cr/par-red.elf 0644 bin bin 1041 59728 1015616187
1 f none share/doc/twelf/examples/tabled/cr/tab-examples.quy 0644 bin bin 672 54964 1019068473
1 f none share/doc/twelf/examples/tabled/cr/tab.cfg 0644 bin bin 49 4409 1000321964
1 d none share/doc/twelf/examples/tabled/mini-ml 0755 bin bin
1 f none share/doc/twelf/examples/tabled/mini-ml/examples.quy 0644 bin bin 424 30131 1019068473
1 f none share/doc/twelf/examples/tabled/mini-ml/mini-ml.elf 0644 bin bin 423 30308 1015617700
1 f none share/doc/twelf/examples/tabled/mini-ml/programs.elf 0644 bin bin 284 21423 1015617700
1 f none share/doc/twelf/examples/tabled/mini-ml/reduce.elf 0644 bin bin 1464 29948 1015617700
1 f none share/doc/twelf/examples/tabled/mini-ml/tab.cfg 0644 bin bin 59 5477 1015617700
1 f none share/doc/twelf/examples/tabled/mini-ml/value.elf 0644 bin bin 285 21840 1015617700
1 d none share/doc/twelf/examples/tabled/parsing 0755 bin bin
1 f none share/doc/twelf/examples/tabled/parsing/arithml.cfg 0644 bin bin 23 2270 1015617452
1 f none share/doc/twelf/examples/tabled/parsing/arithml.elf 0644 bin bin 4450 53102 1015617452
1 f none share/doc/twelf/examples/tabled/parsing/arithml.quy 0644 bin bin 621 36292 1019068473
1 f none share/doc/twelf/examples/tabled/parsing/foll.cfg 0644 bin bin 17 1622 1015617488
1 f none share/doc/twelf/examples/tabled/parsing/foll.elf 0644 bin bin 4684 11865 1019068473
1 f none share/doc/twelf/examples/tabled/parsing/foll.quy 0644 bin bin 2840 58649 1019068473
1 f none share/doc/twelf/examples/tabled/parsing/tab.cfg 0644 bin bin 10 1012 1015617521
1 f none share/doc/twelf/examples/tabled/parsing/warren.elf 0644 bin bin 2460 47046 1019068473
1 d none share/doc/twelf/examples/tabled/poly 0755 bin bin
1 f none share/doc/twelf/examples/tabled/poly/mini-ml.elf 0644 bin bin 458 34967 1000321811
1 f none share/doc/twelf/examples/tabled/poly/tab-examples.quy 0644 bin bin 888 1369 1019068473
1 f none share/doc/twelf/examples/tabled/poly/tab.cfg 0644 bin bin 69 6300 1000321964
1 f none share/doc/twelf/examples/tabled/poly/tp.elf 0644 bin bin 429 32210 1000321682
1 f none share/doc/twelf/examples/tabled/poly/tpinf.elf 0644 bin bin 1230 22093 1015616187
1 d none share/doc/twelf/examples/tabled/refine 0755 bin bin
1 f none share/doc/twelf/examples/tabled/refine/norefex.quy 0644 bin bin 243 17771 1019068473
1 f none share/doc/twelf/examples/tabled/refine/notab.quy 0644 bin bin 2985 7996 1015617363
1 f none share/doc/twelf/examples/tabled/refine/programs.elf 0644 bin bin 4843 1176 1015617110
1 f none share/doc/twelf/examples/tabled/refine/refex.elf 0644 bin bin 7671 5582 1019068473
1 f none share/doc/twelf/examples/tabled/refine/refex.quy 0644 bin bin 5289 54581 1019068473
1 f none share/doc/twelf/examples/tabled/refine/tab.cfg 0644 bin bin 44 4248 1015617298
1 d none share/doc/twelf/examples/tabled/seqCalc 0755 bin bin
1 f none share/doc/twelf/examples/tabled/seqCalc/foc.cfg 0644 bin bin 39 3584 1109025297
1 f none share/doc/twelf/examples/tabled/seqCalc/focus.elf 0644 bin bin 1665 58713 1109025297
1 f none share/doc/twelf/examples/tabled/seqCalc/fol-int-at.elf 0644 bin bin 1214 20751 1109025297
1 f none share/doc/twelf/examples/tabled/seqCalc/formulas.elf 0644 bin bin 547 40965 1109025297
1 f none share/doc/twelf/examples/tabled/seqCalc/int-atom.elf 0644 bin bin 1002 7114 1109025297
1 f none share/doc/twelf/examples/tabled/seqCalc/int.elf 0644 bin bin 1225 22113 1109025297
1 f none share/doc/twelf/examples/tabled/seqCalc/sources.cfg 0644 bin bin 20 1928 1109025297
1 f none share/doc/twelf/examples/tabled/seqCalc/tab-at.cfg 0644 bin bin 55 5009 1109025297
1 f none share/doc/twelf/examples/tabled/seqCalc/tab-ex-all.quy 0644 bin bin 5020 20752 1109025297
1 f none share/doc/twelf/examples/tabled/seqCalc/tab-ex-np.quy 0644 bin bin 1214 16468 1109025297
1 f none share/doc/twelf/examples/tabled/seqCalc/tab-foc-all.quy 0644 bin bin 7779 43505 1109025297
1 f none share/doc/twelf/examples/tabled/seqCalc/tab-fol.cfg 0644 bin bin 57 5155 1109025297
1 f none share/doc/twelf/examples/tabled/seqCalc/tab.cfg 0644 bin bin 50 4531 1109025297
1 d none share/doc/twelf/examples/tabled/subtype 0755 bin bin
1 f none share/doc/twelf/examples/tabled/subtype/mini-ml.elf 0644 bin bin 422 31160 1000321811
1 f none share/doc/twelf/examples/tabled/subtype/subtype.elf 0644 bin bin 2103 14638 1015616187
1 f none share/doc/twelf/examples/tabled/subtype/tab-examples.quy 0644 bin bin 610 46353 1019068473
1 f none share/doc/twelf/examples/tabled/subtype/tab.cfg 0644 bin bin 78 6835 1000321964
1 d none share/doc/twelf/examples/tabled/subtype1 0755 bin bin
1 f none share/doc/twelf/examples/tabled/subtype1/basic.elf 0644 bin bin 1214 22272 1015616187
1 f none share/doc/twelf/examples/tabled/subtype1/mini-ml.elf 0644 bin bin 422 31160 1015616112
1 f none share/doc/twelf/examples/tabled/subtype1/tab-examples.quy 0644 bin bin 155 12563 1019068473
1 f none share/doc/twelf/examples/tabled/subtype1/tab.cfg 0644 bin bin 38 3555 1000322032
1 d none share/doc/twelf/examples/tabled/tests 0755 bin bin
1 f none share/doc/twelf/examples/tabled/tests/tab.cfg 0644 bin bin 71 6079 1000322222
1 f none share/doc/twelf/examples/tabled/tests/test1.elf 0644 bin bin 285 21203 1019068473
1 f none share/doc/twelf/examples/tabled/tests/test2.elf 0644 bin bin 292 21485 1019068473
1 f none share/doc/twelf/examples/tabled/tests/test3.elf 0644 bin bin 252 16182 1019068473
1 f none share/doc/twelf/examples/tabled/tests/test4.elf 0644 bin bin 156 10491 1019068473
1 f none share/doc/twelf/examples/tabled/tests/test5.elf 0644 bin bin 340 22797 1019068473
1 f none share/doc/twelf/examples/tabled/tests/test6.elf 0644 bin bin 259 17313 1019068473
1 f none share/doc/twelf/examples/tabled/tests/test7.elf 0644 bin bin 459 28007 1019068473
1 d none share/doc/twelf/examples/tapl-ch13 0755 bin bin
1 f none share/doc/twelf/examples/tapl-ch13/README.txt 0644 bin bin 1341 46675 1123268176
1 f none share/doc/twelf/examples/tapl-ch13/defs.elf 0644 bin bin 8259 13886 1123268176
1 f none share/doc/twelf/examples/tapl-ch13/nat.elf 0644 bin bin 882 59957 1123268176
1 f none share/doc/twelf/examples/tapl-ch13/sources.cfg 0644 bin bin 30 2713 1123268176
1 f none share/doc/twelf/examples/tapl-ch13/theorems.elf 0644 bin bin 19993 8540 1123268176