@name twelf-1.7.1_0
@portname twelf
@portepoch 0
@portversion 1.7.1
@portrevision 0
@archs x86_64
@pkgdep smlnj-110.99.3_0
opt/local/bin/twelf-server
@comment MD5:5e8304fc8f7e8fcc42c75bd4b279b454
@comment binary:0
opt/local/libexec/twelf/bin/.heap/.cvsignore
@comment MD5:c533d3aad60e82ac3eed40ace60d1b11
@comment binary:0
opt/local/libexec/twelf/bin/.heap/README
@comment MD5:a0434d1d5dc93225eee3ecec2a9e8beb
@comment binary:0
opt/local/libexec/twelf/bin/.heap/twelf-server.amd64-darwin
@comment MD5:38f058cb525f81c89ba2502eb6482798
@comment binary:0
opt/local/share/twelf/LICENSE
@comment MD5:fb7a1a2caa7fa138127ca5fafc2ae500
@comment binary:0
opt/local/share/twelf/README
@comment MD5:775c07fe43766cd441217d0e573ccdef
@comment binary:0
opt/local/share/twelf/doc/UPDATE
@comment MD5:06e4b12edcf576f0f11c371fea4b4ae7
@comment binary:0
opt/local/share/twelf/doc/dvi/.cvsignore
@comment MD5:0a59ac51c9be684cb6538016ed020d31
@comment binary:0
opt/local/share/twelf/doc/guide/.cvsignore
@comment MD5:bc5885da0dfcee51719bdfdd639976e6
@comment binary:0
opt/local/share/twelf/doc/guide/Makefile
@comment MD5:d6d65c15d4fc05fba41a06d1436b1ed9
@comment binary:0
opt/local/share/twelf/doc/guide/README
@comment MD5:b73cc323d9b106bd5b3026c0c4aa8ed5
@comment binary:0
opt/local/share/twelf/doc/guide/config.embed
@comment MD5:c6f82007070256addd748533de10b539
@comment binary:0
opt/local/share/twelf/doc/guide/twelf.texi
@comment MD5:cbfb3224ac158d14660a20d30baffd90
@comment binary:0
opt/local/share/twelf/doc/html/.cvsignore
@comment MD5:720c8b80c0b1fbffb32e989913b0c56a
@comment binary:0
opt/local/share/twelf/doc/html/index.html
@comment MD5:206365ffa08fa932e9acc77ccc4e508e
@comment binary:0
opt/local/share/twelf/doc/info/.cvsignore
@comment MD5:ccead9f86f91602b0f035e1e2427e924
@comment binary:0
opt/local/share/twelf/doc/pdf/.cvsignore
@comment MD5:b61fb5136939461438d2ab7adc5f2908
@comment binary:0
opt/local/share/twelf/doc/ps/.cvsignore
@comment MD5:fd99a424bf18cdcd0fb00e73f2156e7d
@comment binary:0
opt/local/share/twelf/emacs/.cvsignore
@comment MD5:d41d8cd98f00b204e9800998ecf8427e
@comment binary:0
opt/local/share/twelf/emacs/README
@comment MD5:2b4e7c852db0987cabab0a4f972eedd6
@comment binary:0
opt/local/share/twelf/emacs/auc-menu.el
@comment MD5:8fd7f02d67f449e70abfeeda2cfde0cd
@comment binary:0
opt/local/share/twelf/emacs/twelf-font.el
@comment MD5:d74183a8ec51ba4ff88a7b76a6cbf019
@comment binary:0
opt/local/share/twelf/emacs/twelf-hilit.el
@comment MD5:70756ede3ee3c664bd8336ec0c3b5fe4
@comment binary:0
opt/local/share/twelf/emacs/twelf-init.el
@comment MD5:39df516182a2ff83e52c6315c4b48ec0
@comment binary:0
opt/local/share/twelf/emacs/twelf.el
@comment MD5:63eafa28ae7d2a5cc380773c99c37316
@comment binary:0
opt/local/share/twelf/examples/README
@comment MD5:a82bc112b492a9b68f9eb7aa06db3303
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/README
@comment MD5:475a381205cef1339d2a82e21797ac98
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/absurdum.elf
@comment MD5:33a09eef4f85b95b4d23656055f1c8f3
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/dynsem-lemmas.elf
@comment MD5:2f9b82d8060c5d0b9ee9a007931946bd
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/dynsem-lemmas.thm
@comment MD5:52130f7a5438312cb357fa786e0dd4b4
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/dynsem.elf
@comment MD5:df1f9f61e5e73a654dc7c2776609d084
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/exp.elf
@comment MD5:bf56f91a8b51a8a3902ba14f0c7ff728
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/inversion-pres.elf
@comment MD5:bcd66b255288bc1002712baef54c7ae6
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/inversion-prog.elf
@comment MD5:8241b4889c2d25af48911cc2632318ed
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/loc-lemmas.elf
@comment MD5:048557ae9e061f77eb30f187f83e4d14
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/loc-lemmas.thm
@comment MD5:3ac8b147989ead3f82751857aea8f128
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/loc.elf
@comment MD5:1b152e7a4f744dd59f74186078c0009e
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/machine.elf
@comment MD5:f164c675061b0bdf081dee3be0ef2a87
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/nat-lemmas.elf
@comment MD5:2e65892ef3768856d5ef897ccc49d0d4
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/nat-lemmas.thm
@comment MD5:8a6519bb533c5a0095fce171be83f501
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/nat.elf
@comment MD5:d89514daeacdd6884ab90e1cd0deae05
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/preservation-lemmas.elf
@comment MD5:f762a7811c0ccfcfc8742142f7177599
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/preservation.elf
@comment MD5:d3bc70eaea2ace0680eef0c9a812654a
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/progress-lemmas.elf
@comment MD5:e2ec097b31a12444f133beb4c612e166
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/progress.elf
@comment MD5:fc7141c05ac524f31b90ea1d9954ee11
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/safety.elf
@comment MD5:604f8a57bd04d52cec768342088a9d29
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/sources-thm.cfg
@comment MD5:f858bf14b1c14f1bfccc03f22dfc7541
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/sources.cfg
@comment MD5:afc5dd2fc092eb260d26a7fdb7cb0af4
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/statsem.elf
@comment MD5:e5bdd45890b7f7da67360ab1fc15a493
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/store-lemmas.elf
@comment MD5:9740f08174554b095f3cb51213732444
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/store-lemmas.thm
@comment MD5:1ddec4cbacf186567a3a770560da5e46
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/store.elf
@comment MD5:5b5cfea0f52b86381848abc92dc7ce8a
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/storetp-lemmas.elf
@comment MD5:e1d469c0e8ad82d713de64d22a2580a7
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/storetp-lemmas.thm
@comment MD5:95843bbccbde1ea4ab35d4e9ce4c57e7
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/storetp.elf
@comment MD5:c9891d95153ff7f9a014071759ec3fa8
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/syntax.elf
@comment MD5:8f56288f01a15652961a7305a3d7eaac
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/tp.elf
@comment MD5:3da2de150dbad0daea80aaaead814a1c
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/val.elf
@comment MD5:8c9e4eb02be3093a41d600ae4142eefe
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/weaken.elf
@comment MD5:eaac65991d139b458560d66347068270
@comment binary:0
opt/local/share/twelf/examples/alloc-sem/weaken.thm
@comment MD5:6d06d29187ea666dc49bf86ace695ac3
@comment binary:0
opt/local/share/twelf/examples/arith/README
@comment MD5:fe81dd2f6e3da8ca80d9769d4717ce7c
@comment binary:0
opt/local/share/twelf/examples/arith/arith.elf
@comment MD5:db324b04fed3b54a7618202556f2671f
@comment binary:0
opt/local/share/twelf/examples/arith/arith.thm
@comment MD5:90b79038b5669b00593dd997e867d8fb
@comment binary:0
opt/local/share/twelf/examples/arith/sources.cfg
@comment MD5:d5fcc3253537548baec7fb2c77cce7c7
@comment binary:0
opt/local/share/twelf/examples/arith/test.cfg
@comment MD5:910cd1a06c5d0af2264ba7084373e4cd
@comment binary:0
opt/local/share/twelf/examples/ccc/README
@comment MD5:bd33e95952229a3e5cc8f104d4b18c60
@comment binary:0
opt/local/share/twelf/examples/ccc/abs-env.elf
@comment MD5:2580d08b08ef2e65742076b02f99419c
@comment binary:0
opt/local/share/twelf/examples/ccc/catlem.elf
@comment MD5:50410089025c7104fecd18e8e35bfe80
@comment binary:0
opt/local/share/twelf/examples/ccc/ccc.elf
@comment MD5:8ca40191c6b78b476cca33e6488fb8a3
@comment binary:0
opt/local/share/twelf/examples/ccc/conc.elf
@comment MD5:7625b9b5c3784c8cd0f5680896923cad
@comment binary:0
opt/local/share/twelf/examples/ccc/conc.thm
@comment MD5:a6d0541f6f025e76b67b1200f71e3e46
@comment binary:0
opt/local/share/twelf/examples/ccc/cong.elf
@comment MD5:3f051f5b1c7e66b68822ae19408b3382
@comment binary:0
opt/local/share/twelf/examples/ccc/eqpres1.elf
@comment MD5:4734f7bbfa4fe4e31d230f2f2e770733
@comment binary:0
opt/local/share/twelf/examples/ccc/eqpres2.elf
@comment MD5:17c1e2297d81400715cef02cb8c819c0
@comment binary:0
opt/local/share/twelf/examples/ccc/examples.quy
@comment MD5:d01469f47794f38421b83399db4ae0d3
@comment binary:0
opt/local/share/twelf/examples/ccc/inv1.elf
@comment MD5:184eed343d8ce49a90b8b7ef345b159e
@comment binary:0
opt/local/share/twelf/examples/ccc/inv2.elf
@comment MD5:2b964712cdb4a80e7942b0ec0b21dec8
@comment binary:0
opt/local/share/twelf/examples/ccc/lambda.elf
@comment MD5:9d89974770ed921a0e9df9346b55451b
@comment binary:0
opt/local/share/twelf/examples/ccc/pf.dvi
@comment MD5:0500664402a684966b0958d65cecf625
@comment binary:0
opt/local/share/twelf/examples/ccc/refl.elf
@comment MD5:a2b9b1360beb7090df00b9a2e85bf2f7
@comment binary:0
opt/local/share/twelf/examples/ccc/sources.cfg
@comment MD5:918a4d9099ff223f1e3f79909960849a
@comment binary:0
opt/local/share/twelf/examples/ccc/spass.cfg
@comment MD5:4aff3b12ea54a494c70474e80e2a4516
@comment binary:0
opt/local/share/twelf/examples/ccc/spass.elf
@comment MD5:6b2b4e5000aea4936391c14c7007594b
@comment binary:0
opt/local/share/twelf/examples/ccc/spass.sml
@comment MD5:5715712dd3e1fca64864b97619d28d1f
@comment binary:0
opt/local/share/twelf/examples/ccc/subext.elf
@comment MD5:26e7c27395b01c6b1478f3bc79b955a1
@comment binary:0
opt/local/share/twelf/examples/ccc/test.cfg
@comment MD5:0fa66a77778f80c7b232c48edee48e44
@comment binary:0
opt/local/share/twelf/examples/church-rosser/README
@comment MD5:eb422167d5b814b0b280556f7c3cc4af
@comment binary:0
opt/local/share/twelf/examples/church-rosser/church-rosser.thm
@comment MD5:6fdfccc7b63ce5bf34111bbc99474c96
@comment binary:0
opt/local/share/twelf/examples/church-rosser/cr.thm
@comment MD5:ecbc58dc4586fb9872dc656e9d6e2589
@comment binary:0
opt/local/share/twelf/examples/church-rosser/equiv.elf
@comment MD5:658808f46e1a782421d8342fb9262bc5
@comment binary:0
opt/local/share/twelf/examples/church-rosser/examples.quy
@comment MD5:4efefa7917e2f7b30ad49081dc34915a
@comment binary:0
opt/local/share/twelf/examples/church-rosser/lam.elf
@comment MD5:ad407a087d56a53e9f89ad41995fe6db
@comment binary:0
opt/local/share/twelf/examples/church-rosser/ord-cr.elf
@comment MD5:23899251a6e9ca17d66acdcad2a0d587
@comment binary:0
opt/local/share/twelf/examples/church-rosser/ord-lemmas.elf
@comment MD5:21baf36a2e5b1e388eef504a18bc0ff1
@comment binary:0
opt/local/share/twelf/examples/church-rosser/ord-red.elf
@comment MD5:a259016fc38977ae34c4fef25e2f017a
@comment binary:0
opt/local/share/twelf/examples/church-rosser/par-cr.elf
@comment MD5:61c3e2be4a5c973d65e5cf64ece7aeaa
@comment binary:0
opt/local/share/twelf/examples/church-rosser/par-lemmas.elf
@comment MD5:c6590ddd1193f878a60d24003703b11d
@comment binary:0
opt/local/share/twelf/examples/church-rosser/par-red.elf
@comment MD5:431278aaac997ae55bc7bcc153812b60
@comment binary:0
opt/local/share/twelf/examples/church-rosser/simplified/par-cr.elf
@comment MD5:bcb53ebfe478874f343d326fcdba7c87
@comment binary:0
opt/local/share/twelf/examples/church-rosser/simplified/sources.cfg
@comment MD5:d26beb7cec745fe51503bf2ef9abbd78
@comment binary:0
opt/local/share/twelf/examples/church-rosser/sources.cfg
@comment MD5:d643f7ad5382b39b5807d57a2df7b559
@comment binary:0
opt/local/share/twelf/examples/church-rosser/test-unsafe.cfg
@comment MD5:2d3aad4ea48115af91ab3b701a62cf49
@comment binary:0
opt/local/share/twelf/examples/church-rosser/test.cfg
@comment MD5:860de0df1b48051961d12f7fa3247e95
@comment binary:0
opt/local/share/twelf/examples/church-rosser/test.tag
@comment MD5:53939e938d12ccf0d8ac4551b89eac33
@comment binary:0
opt/local/share/twelf/examples/compile/README
@comment MD5:7d539cfe8c27a9db274e88124245c664
@comment binary:0
opt/local/share/twelf/examples/compile/cls/cls-complete.elf
@comment MD5:2fe277ac819e0971846f39bdccc42462
@comment binary:0
opt/local/share/twelf/examples/compile/cls/cls-sound.elf
@comment MD5:eb2ac307ce807306d9f471ec29840a6a
@comment binary:0
opt/local/share/twelf/examples/compile/cls/cls.elf
@comment MD5:c310d89de42ed74ed5b7ffd6b209e9b5
@comment binary:0
opt/local/share/twelf/examples/compile/cls/compute.elf
@comment MD5:ce9efe5c0ce6392309b855b0d38db3a7
@comment binary:0
opt/local/share/twelf/examples/compile/cls/debruijn.elf
@comment MD5:9caa9301f459c1d7be961364cf1e346b
@comment binary:0
opt/local/share/twelf/examples/compile/cls/examples.quy
@comment MD5:bc2149d44075108ac38723393a1a6382
@comment binary:0
opt/local/share/twelf/examples/compile/cls/feval.elf
@comment MD5:651907ac7901043c35e5daf7c6b11005
@comment binary:0
opt/local/share/twelf/examples/compile/cls/mini-ml.elf
@comment MD5:52b92a2535eed098039c57d57d27cdcb
@comment binary:0
opt/local/share/twelf/examples/compile/cls/slow.quy
@comment MD5:ac9799f00388b599aa0ef1bb6356a6f3
@comment binary:0
opt/local/share/twelf/examples/compile/cls/sources.cfg
@comment MD5:2a9feaec34598d321ecd6c9d62d9af1e
@comment binary:0
opt/local/share/twelf/examples/compile/cls/test.cfg
@comment MD5:4b43db89e3d694c53c697e50e0fbf2e6
@comment binary:0
opt/local/share/twelf/examples/compile/cls/trans.elf
@comment MD5:4f8bb0180b5027bfcc2f52dea80f1016
@comment binary:0
opt/local/share/twelf/examples/compile/cls/trans2.elf
@comment MD5:4f8bb0180b5027bfcc2f52dea80f1016
@comment binary:0
opt/local/share/twelf/examples/compile/cpm/ceval-complete.elf
@comment MD5:92e6bf7c1745d48d4af8af484825b361
@comment binary:0
opt/local/share/twelf/examples/compile/cpm/ceval-complete.thm
@comment MD5:ecfd592209386f040f52375e06e3e6f7
@comment binary:0
opt/local/share/twelf/examples/compile/cpm/ceval-sound.elf
@comment MD5:e000aff4feb00e257187cf945c66b70a
@comment binary:0
opt/local/share/twelf/examples/compile/cpm/ceval.elf
@comment MD5:9b44a5f50cc87b7e4337748c77fa0d62
@comment binary:0
opt/local/share/twelf/examples/compile/cpm/cpm.elf
@comment MD5:2229dec3f29bda13ef8416c044f03764
@comment binary:0
opt/local/share/twelf/examples/compile/cpm/evalv.elf
@comment MD5:167d89070773a1a95d509fff007c320a
@comment binary:0
opt/local/share/twelf/examples/compile/cpm/examples.quy
@comment MD5:e8fa20f9d13e42763ca26c1ed372ea64
@comment binary:0
opt/local/share/twelf/examples/compile/cpm/mini-mlv.elf
@comment MD5:4fe20ab4d63444ad36158feb57dfcd03
@comment binary:0
opt/local/share/twelf/examples/compile/cpm/proof-equiv.elf
@comment MD5:e1085c947de33c1b115844be6e9123bd
@comment binary:0
opt/local/share/twelf/examples/compile/cpm/proof-equiv.thm
@comment MD5:03a1b19fc5a2897c2dd2c584339acbe4
@comment binary:0
opt/local/share/twelf/examples/compile/cpm/slow.quy
@comment MD5:b1dfbc6fe2489099f53a8ff3bf401ab4
@comment binary:0
opt/local/share/twelf/examples/compile/cpm/sources.cfg
@comment MD5:8276ebc92a963d97b4e79101edb3a369
@comment binary:0
opt/local/share/twelf/examples/compile/cpm/test.cfg
@comment MD5:2f0d9500259400dab4052aa36b3a5207
@comment binary:0
opt/local/share/twelf/examples/compile/cpm/theorems.elf
@comment MD5:1ec9ad064e1500cfba606716e9c6afd8
@comment binary:0
opt/local/share/twelf/examples/compile/cpm/theorems.thm
@comment MD5:d39dbd11beb03325c1913f0c257db3a1
@comment binary:0
opt/local/share/twelf/examples/compile/cps/cps-eval.elf
@comment MD5:843ac6089b9a49caa0137880aa39ed56
@comment binary:0
opt/local/share/twelf/examples/compile/cps/cps.elf
@comment MD5:5ba7c9423c6b275cfbffb7d6e219dfc6
@comment binary:0
opt/local/share/twelf/examples/compile/cps/examples.quy
@comment MD5:e345e06b9261cec4482c350268185c84
@comment binary:0
opt/local/share/twelf/examples/compile/cps/mini-ml.elf
@comment MD5:52b92a2535eed098039c57d57d27cdcb
@comment binary:0
opt/local/share/twelf/examples/compile/cps/ml-cps.elf
@comment MD5:6f04331a96c5555eb04d27cda1e19495
@comment binary:0
opt/local/share/twelf/examples/compile/cps/sources.cfg
@comment MD5:f05efe81f8e8b201f9c78ad2ca5249b8
@comment binary:0
opt/local/share/twelf/examples/compile/cps/test.cfg
@comment MD5:48dc692f4d7993c39212142b6e312971
@comment binary:0
opt/local/share/twelf/examples/compile/cxm/evalv.elf
@comment MD5:167d89070773a1a95d509fff007c320a
@comment binary:0
opt/local/share/twelf/examples/compile/cxm/examples.quy
@comment MD5:0cf29b9ad8710c2563bb738b070a4d95
@comment binary:0
opt/local/share/twelf/examples/compile/cxm/mini-mlv.elf
@comment MD5:4fe20ab4d63444ad36158feb57dfcd03
@comment binary:0
opt/local/share/twelf/examples/compile/cxm/sources.cfg
@comment MD5:0f7764bf0163b9f917b58a185e146203
@comment binary:0
opt/local/share/twelf/examples/compile/cxm/test.cfg
@comment MD5:3dfedf7a5ae0e3e1b6811533dfff9bb4
@comment binary:0
opt/local/share/twelf/examples/compile/cxm/xeval.elf
@comment MD5:27b51bce37526b340a0529df6f40daaa
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn/debruijn.elf
@comment MD5:9caa9301f459c1d7be961364cf1e346b
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn/eval.elf
@comment MD5:8598a6e24fb2257b8b51bc1cdf5e8d36
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn/examples.quy
@comment MD5:974825d248075c6444b9605654f92874
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn/feval.elf
@comment MD5:297644bb57824b64815070dbb0556233
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn/map-eval.elf
@comment MD5:994b7f6a20ec62ff8a7433310f5efa73
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn/mini-ml.elf
@comment MD5:52b92a2535eed098039c57d57d27cdcb
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn/sources.cfg
@comment MD5:7c8294c8b19fb8c2fdc37ba0a270fc27
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn/test.cfg
@comment MD5:04e6823bdc7c16023002df6a395a2600
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn/trans.elf
@comment MD5:569ffabcdd53eabe0b1965439d68494e
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn/val-lemmas.elf
@comment MD5:1ddb27a48e189e8408edc295735c3ca6
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn/value.elf
@comment MD5:6b54e1529fcec9e961e54187cacc6fcb
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn1/debruijn.elf
@comment MD5:cd5314da2029528d53b35a8595f59d06
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn1/eval.elf
@comment MD5:f418b79af347a9b2d6999cd538564f3c
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn1/examples.quy
@comment MD5:0e536cfdd473299bf95609189e7954b1
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn1/feval.elf
@comment MD5:d2054d68098e1eb769313f201482ae6d
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn1/map-eval.elf
@comment MD5:ffc857ccc433a41ef7accdece3c899ee
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn1/mini-ml.elf
@comment MD5:cb0d3752b1e9140ac6f14f48cc6e1962
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn1/sources.cfg
@comment MD5:284e271babb53f6e169185564269b8ce
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn1/test.cfg
@comment MD5:9e496d6bb64a3ff0dccdd684581e1450
@comment binary:0
opt/local/share/twelf/examples/compile/debruijn1/trans.elf
@comment MD5:25471f572bbf4da16dbbcba42c3c0501
@comment binary:0
opt/local/share/twelf/examples/cpsocc/NOTES
@comment MD5:6028c147bbae519c437b154542700c63
@comment binary:0
opt/local/share/twelf/examples/cpsocc/READ.ME
@comment MD5:ae11b68d0203b382ba56582dc3e5ff67
@comment binary:0
opt/local/share/twelf/examples/cpsocc/corr.elf
@comment MD5:6de03f20881be641c82aade50d80130e
@comment binary:0
opt/local/share/twelf/examples/cpsocc/cpsBNF.elf
@comment MD5:652df145a438f4c0eddc47110ecf1841
@comment binary:0
opt/local/share/twelf/examples/cpsocc/def1+5+fig4.elf
@comment MD5:7d48bd4307d8f3f01e3887fe5ae9d5ff
@comment binary:0
opt/local/share/twelf/examples/cpsocc/def13.elf
@comment MD5:da8dd3641e878f0db10525b6159e2700
@comment binary:0
opt/local/share/twelf/examples/cpsocc/def16.elf
@comment MD5:e7ea30092ed6a452fb3ec60634958d94
@comment binary:0
opt/local/share/twelf/examples/cpsocc/def3+6+fig5.elf
@comment MD5:ddfccbe01da16c14ac24c9a683a1e149
@comment binary:0
opt/local/share/twelf/examples/cpsocc/dsBNF.elf
@comment MD5:2ff59f6f51a0a75de6db4be7ce012854
@comment binary:0
opt/local/share/twelf/examples/cpsocc/examples.quy
@comment MD5:5e05e28694b5301e8b3c72cb44e4993a
@comment binary:0
opt/local/share/twelf/examples/cpsocc/examples.quy.orig
@comment MD5:5e05e28694b5301e8b3c72cb44e4993a
@comment binary:0
opt/local/share/twelf/examples/cpsocc/fig1.elf
@comment MD5:8c06dfd25385711e43378a89e1954d81
@comment binary:0
opt/local/share/twelf/examples/cpsocc/fig10.elf
@comment MD5:de8bb1c9d8b6bcedfe984a52cba92e85
@comment binary:0
opt/local/share/twelf/examples/cpsocc/fig11.elf
@comment MD5:5f33b937e55202487cd5d0f2afd1d591
@comment binary:0
opt/local/share/twelf/examples/cpsocc/fig12.elf
@comment MD5:16ed93f2775923a076ae5d7cc3f5e225
@comment binary:0
opt/local/share/twelf/examples/cpsocc/fig13.elf
@comment MD5:72438cf4434026dbdd288807d43f1498
@comment binary:0
opt/local/share/twelf/examples/cpsocc/fig7.elf
@comment MD5:8c25aa3313ee6a77aa798ea564274bef
@comment binary:0
opt/local/share/twelf/examples/cpsocc/fig8.elf
@comment MD5:f17efc5c5dd614e6448adc3f6f21b1e5
@comment binary:0
opt/local/share/twelf/examples/cpsocc/fig9.elf
@comment MD5:f2732531d8a0ef99c0d5869a2c5a437b
@comment binary:0
opt/local/share/twelf/examples/cpsocc/lemma14.elf
@comment MD5:a06fae2cc56eb60fbb541a25df61db8b
@comment binary:0
opt/local/share/twelf/examples/cpsocc/lemma17.elf
@comment MD5:2b2d2a4635da28697045ee1f1180b72a
@comment binary:0
opt/local/share/twelf/examples/cpsocc/lemma7.elf
@comment MD5:00b50da1ab411488098e346e659a0387
@comment binary:0
opt/local/share/twelf/examples/cpsocc/lemma9.elf
@comment MD5:53ade3ede7aa824439af98747561434d
@comment binary:0
opt/local/share/twelf/examples/cpsocc/load.sml
@comment MD5:84d94325b84ae09ed193d6de6e285692
@comment binary:0
opt/local/share/twelf/examples/cpsocc/sources.cfg
@comment MD5:55cc291f77dcd7c7bb849f93cb396d7d
@comment binary:0
opt/local/share/twelf/examples/cpsocc/test.cfg
@comment MD5:798b92ff86654851c9abf7017275d764
@comment binary:0
opt/local/share/twelf/examples/cpsocc/test.quy
@comment MD5:18fc1a23cd79ecd2ff155a4b4f54cf34
@comment binary:0
opt/local/share/twelf/examples/cpsocc/test.quy.orig
@comment MD5:d81740416fa8928e1727179f5f0767a4
@comment binary:0
opt/local/share/twelf/examples/cpsocc/th10.elf
@comment MD5:44fffa6eed0925c05c89e8009bfc01e7
@comment binary:0
opt/local/share/twelf/examples/cpsocc/th15.elf
@comment MD5:dec4380199903b7140cefe12049023b9
@comment binary:0
opt/local/share/twelf/examples/cpsocc/th18.elf
@comment MD5:c8e43886cea64ab5f70316e294b7f8fb
@comment binary:0
opt/local/share/twelf/examples/cpsocc/th2.elf
@comment MD5:3934289109cb07f02a309fa01bea6154
@comment binary:0
opt/local/share/twelf/examples/cpsocc/th4.elf
@comment MD5:aec567fe40dc00bbcecb918eeefa7ff6
@comment binary:0
opt/local/share/twelf/examples/cpsocc/th8.elf
@comment MD5:d64b76ee13d7dbfd711613d9d0fafc99
@comment binary:0
opt/local/share/twelf/examples/cut-elim/README
@comment MD5:5032cc31aed52cdbe4402c4cea93b630
@comment binary:0
opt/local/share/twelf/examples/cut-elim/cl-admit.elf
@comment MD5:8f7c6abe7fd96a91cbb212ce1e6e2bf7
@comment binary:0
opt/local/share/twelf/examples/cut-elim/cl-cut.elf
@comment MD5:f989b8600302eab119808bfd9dd94817
@comment binary:0
opt/local/share/twelf/examples/cut-elim/cl-elim.elf
@comment MD5:00e90ea7ae57947634ab3b5a525f0285
@comment binary:0
opt/local/share/twelf/examples/cut-elim/cl.elf
@comment MD5:b0c82ec2f1bcc0ec88d87ae3080bb222
@comment binary:0
opt/local/share/twelf/examples/cut-elim/cl.thm
@comment MD5:a1cbcee55d5e96c9e0c2b00f5a01dbc6
@comment binary:0
opt/local/share/twelf/examples/cut-elim/cover/example.d
@comment MD5:d8ae757f5d832dd3d52df95a5d1d31bf
@comment binary:0
opt/local/share/twelf/examples/cut-elim/examples.quy
@comment MD5:6ab35cc6addc6be77168d8a2237d1be5
@comment binary:0
opt/local/share/twelf/examples/cut-elim/formulas.elf
@comment MD5:835d4d21eda54a5754e559e551224d93
@comment binary:0
opt/local/share/twelf/examples/cut-elim/int-admit.elf
@comment MD5:e8f0a195f5d51902de9ab13dc3bfac65
@comment binary:0
opt/local/share/twelf/examples/cut-elim/int-cut.elf
@comment MD5:c30263ca6f9d08b9ad81b6829be6b109
@comment binary:0
opt/local/share/twelf/examples/cut-elim/int-elim.elf
@comment MD5:b0092820db5e8c9012397a554ea292f4
@comment binary:0
opt/local/share/twelf/examples/cut-elim/int.elf
@comment MD5:ad1228d34d7e75c51ccee4f37c230ed6
@comment binary:0
opt/local/share/twelf/examples/cut-elim/int.thm
@comment MD5:ed6ed545a83f477739de127353972e0c
@comment binary:0
opt/local/share/twelf/examples/cut-elim/sources.cfg
@comment MD5:41d93ccb20efafea05c5c7c0c77176d3
@comment binary:0
opt/local/share/twelf/examples/cut-elim/test.cfg
@comment MD5:78d9155f7964bdb57b6934da7e0eb0df
@comment binary:0
opt/local/share/twelf/examples/fj/README.txt
@comment MD5:3be62f7dc32f4719d6f1ba90228cdad6
@comment binary:0
opt/local/share/twelf/examples/fj/aux-lemma-prog.elf
@comment MD5:79e1f68f1af32daef46acf57bf6d8f7c
@comment binary:0
opt/local/share/twelf/examples/fj/aux-lemma.elf
@comment MD5:c5fbbdb14b51b00368bfe0e6162fae7e
@comment binary:0
opt/local/share/twelf/examples/fj/false.elf
@comment MD5:aeb698a4a8ff3c98cf94ff0c8cb4a4d3
@comment binary:0
opt/local/share/twelf/examples/fj/fj.elf
@comment MD5:fb1714d1653b489a44cd6b7bdcca6c97
@comment binary:0
opt/local/share/twelf/examples/fj/nat.elf
@comment MD5:3bcc1cdbdec6b398045bea4b1ed2a299
@comment binary:0
opt/local/share/twelf/examples/fj/pres.elf
@comment MD5:71dd9195b74d9f3bb20529b3682fe0fa
@comment binary:0
opt/local/share/twelf/examples/fj/progress.elf
@comment MD5:e9eeab08880a34582b9f87b426bb0612
@comment binary:0
opt/local/share/twelf/examples/fj/sources.cfg
@comment MD5:131083bfc442d25f168fb2d7c8619607
@comment binary:0
opt/local/share/twelf/examples/fol/README
@comment MD5:56981a2326dd696aaf41bcd1c1cab426
@comment binary:0
opt/local/share/twelf/examples/fol/fol.elf
@comment MD5:0847b8cf0a2afc2b8a9a50837f3a2d29
@comment binary:0
opt/local/share/twelf/examples/fol/fol.thm
@comment MD5:2b746d785f973df13f21941ae8b4588c
@comment binary:0
opt/local/share/twelf/examples/fol/sources.cfg
@comment MD5:7e2551df06ccbaeaa3b27982ddee8f39
@comment binary:0
opt/local/share/twelf/examples/fol/test.cfg
@comment MD5:d4961c8b89a64fd53941af1bbdf888f7
@comment binary:0
opt/local/share/twelf/examples/guide/arith.elf
@comment MD5:b969fd383526f7cad302e1c7bcc68896
@comment binary:0
opt/local/share/twelf/examples/guide/lam.elf
@comment MD5:da6ae5e66ec38c73ad2070368ef78d94
@comment binary:0
opt/local/share/twelf/examples/guide/lists.elf
@comment MD5:4caf792b04cada03dbe65fcc970dd481
@comment binary:0
opt/local/share/twelf/examples/guide/nd.elf
@comment MD5:3a50cf1f7f38e0e0c622a5b00631a8e9
@comment binary:0
opt/local/share/twelf/examples/guide/sources.cfg
@comment MD5:9960ab462669b8ea663759bb4408ae40
@comment binary:0
opt/local/share/twelf/examples/guide/test.cfg
@comment MD5:696d99493d3dc27d815c8493e44d3e63
@comment binary:0
opt/local/share/twelf/examples/handbook/README
@comment MD5:30de7bf821cbde51ed5e03613c1d4158
@comment binary:0
opt/local/share/twelf/examples/handbook/fol.elf
@comment MD5:6e377a6772e806a1d23f66463c41bcb4
@comment binary:0
opt/local/share/twelf/examples/handbook/sources.cfg
@comment MD5:7e2551df06ccbaeaa3b27982ddee8f39
@comment binary:0
opt/local/share/twelf/examples/handbook/test.cfg
@comment MD5:7e2551df06ccbaeaa3b27982ddee8f39
@comment binary:0
opt/local/share/twelf/examples/incll/README
@comment MD5:12b50957a9f096ba5610c8a33967c794
@comment binary:0
opt/local/share/twelf/examples/incll/bff-incll.elf
@comment MD5:c4bc8f316da420eb8b16ed60fa1ec80b
@comment binary:0
opt/local/share/twelf/examples/incll/bff-incll.quy
@comment MD5:61139141ec610a13d3fda20b7412a155
@comment binary:0
opt/local/share/twelf/examples/incll/cpm-incll.elf
@comment MD5:8eb5660cd33337f2988e58c3716c75d7
@comment binary:0
opt/local/share/twelf/examples/incll/cpm-incll.quy
@comment MD5:fcd118c8c184d838d66e5cb02f60651a
@comment binary:0
opt/local/share/twelf/examples/incll/incll.elf
@comment MD5:ed34713b680fe7bf6174930ded68c7c9
@comment binary:0
opt/local/share/twelf/examples/incll/iosequents.elf
@comment MD5:39756b04d65618db1e4057835095b290
@comment binary:0
opt/local/share/twelf/examples/incll/lists-incll.elf
@comment MD5:1bd2d85574765ff76e0267408d41515f
@comment binary:0
opt/local/share/twelf/examples/incll/lists-incll.quy
@comment MD5:ab01eb8a2a3a6356255dd3b78ecd707b
@comment binary:0
opt/local/share/twelf/examples/incll/lists.elf
@comment MD5:50f8f1bc166dfb73f39d74a6468f103f
@comment binary:0
opt/local/share/twelf/examples/incll/parse-incll.elf
@comment MD5:3bfc1de2b45f4772d6fd11ac1a04e221
@comment binary:0
opt/local/share/twelf/examples/incll/parse-incll.quy
@comment MD5:ed1a044fa52ebbdfe29c2231a5bec81d
@comment binary:0
opt/local/share/twelf/examples/incll/parse-lolli.elf
@comment MD5:b78f62183eb083c03ac6a8a24a4727bd
@comment binary:0
opt/local/share/twelf/examples/incll/parse-lolli.quy
@comment MD5:7e247592becc92b9cc377ec9ba2c9f3b
@comment binary:0
opt/local/share/twelf/examples/incll/pre-incll.elf
@comment MD5:68c106b528344e582f317a1d3d64cd91
@comment binary:0
opt/local/share/twelf/examples/incll/pre-incll.quy
@comment MD5:86e4e42041a76b9cb475eb97df0c877c
@comment binary:0
opt/local/share/twelf/examples/incll/search-incll.elf
@comment MD5:83a67c9c7ee4d23cecbdc3ee0777d847
@comment binary:0
opt/local/share/twelf/examples/incll/search-incll.quy
@comment MD5:4c3e3055bf5a6ee62b1f026c39b89135
@comment binary:0
opt/local/share/twelf/examples/incll/sort-incll.elf
@comment MD5:fe2d9c749b01b527b31603f5005704fe
@comment binary:0
opt/local/share/twelf/examples/incll/sort-incll.quy
@comment MD5:92afd61ce2a543be919cda6e347d0c92
@comment binary:0
opt/local/share/twelf/examples/incll/sources.cfg
@comment MD5:f63cce6f90790f5e55d61b48f91f943d
@comment binary:0
opt/local/share/twelf/examples/incll/test.cfg
@comment MD5:92b952baf0e4ccbf5b38c1870fd80165
@comment binary:0
opt/local/share/twelf/examples/js4/js4.elf
@comment MD5:6b9097f0e7e05a7bcceec267b1e3d580
@comment binary:0
opt/local/share/twelf/examples/js4/sources.cfg
@comment MD5:f773fa4c6051be3331580de75ebc8432
@comment binary:0
opt/local/share/twelf/examples/kolm/README
@comment MD5:1361a88bccade8d0c7206b8c81c1f362
@comment binary:0
opt/local/share/twelf/examples/kolm/complete.elf
@comment MD5:a01d46e3921d5baa3c959c081f77172f
@comment binary:0
opt/local/share/twelf/examples/kolm/examples.quy
@comment MD5:29a49cf6468df7d0dcd97dd5d91996be
@comment binary:0
opt/local/share/twelf/examples/kolm/fol.elf
@comment MD5:79b1a308bd955d9646d8a53e4c2ca663
@comment binary:0
opt/local/share/twelf/examples/kolm/kolmtrans.elf
@comment MD5:defc6fab7858d565f8f2783895845e34
@comment binary:0
opt/local/share/twelf/examples/kolm/nj.elf
@comment MD5:78426b308dfdf27c03ea2a8702db3930
@comment binary:0
opt/local/share/twelf/examples/kolm/nk.elf
@comment MD5:81d0e580cdc273d25fd3ce6ef99d15c5
@comment binary:0
opt/local/share/twelf/examples/kolm/report.ps
@comment MD5:5aafbf16810abc3e9240f4b66f780c25
@comment binary:0
opt/local/share/twelf/examples/kolm/sound.elf
@comment MD5:731d7b235578fd61fa7d8c078d6a9110
@comment binary:0
opt/local/share/twelf/examples/kolm/sources.cfg
@comment MD5:e1dd27a31bd34072abb99efbc925faed
@comment binary:0
opt/local/share/twelf/examples/kolm/test.cfg
@comment MD5:e1dd27a31bd34072abb99efbc925faed
@comment binary:0
opt/local/share/twelf/examples/lp/canon.elf
@comment MD5:5fad794c258478d69ecf663e269e042f
@comment binary:0
opt/local/share/twelf/examples/lp/cont.elf
@comment MD5:c253ac2000c48c49f1a1f1d21d2fa3e3
@comment binary:0
opt/local/share/twelf/examples/lp/conv.elf
@comment MD5:4794abd1a9abafee5b36de811a2cb87c
@comment binary:0
opt/local/share/twelf/examples/lp/examples.elf
@comment MD5:acc9cb157234b4b2c52bbe3cb6097970
@comment binary:0
opt/local/share/twelf/examples/lp/examples.quy
@comment MD5:6db9cce84edda4d3d32a3c60f00c90b7
@comment binary:0
opt/local/share/twelf/examples/lp/fohh-formulas.elf
@comment MD5:acfd32d2b7cb48c7bf6f3ffcb5767069
@comment binary:0
opt/local/share/twelf/examples/lp/fohh.elf
@comment MD5:ac913b6c7e6c0422756a5fd66afc45c9
@comment binary:0
opt/local/share/twelf/examples/lp/iscan.elf
@comment MD5:013c89013775a98ffe10d6850e6e615d
@comment binary:0
opt/local/share/twelf/examples/lp/natded.elf
@comment MD5:e9242956614eed72adeac56ca614e0de
@comment binary:0
opt/local/share/twelf/examples/lp/res-complete.elf
@comment MD5:2ccfaf08d6b2c45865bf74b7ae76f5c3
@comment binary:0
opt/local/share/twelf/examples/lp/res-sound.elf
@comment MD5:40b69a6dbeae475575f01584d5b740cc
@comment binary:0
opt/local/share/twelf/examples/lp/resolution.elf
@comment MD5:1a33b6c5297b0a68aefe22999875cd05
@comment binary:0
opt/local/share/twelf/examples/lp/sources.cfg
@comment MD5:6f1ab39a51d795fa01fba50e7c61960e
@comment binary:0
opt/local/share/twelf/examples/lp/test.cfg
@comment MD5:c680dc784a807144f668b7eaaf6e1c43
@comment binary:0
opt/local/share/twelf/examples/lp/uni-complete.elf
@comment MD5:c4bf28454c305bebc993d5e02cb09185
@comment binary:0
opt/local/share/twelf/examples/lp/uni-sound.elf
@comment MD5:fbcc07374920c0867dc191cdda339ea6
@comment binary:0
opt/local/share/twelf/examples/lp/uniform.elf
@comment MD5:1d0678fad4bfad5b45a055767305a148
@comment binary:0
opt/local/share/twelf/examples/lp-horn/canon.elf
@comment MD5:e6fc842708ba56cc58aada159893f53e
@comment binary:0
opt/local/share/twelf/examples/lp-horn/conv.elf
@comment MD5:369bc3ff8923d4cf796d9dad55e6c889
@comment binary:0
opt/local/share/twelf/examples/lp-horn/examples.quy
@comment MD5:6254d2d41974f9a4a8ae8fda6894a020
@comment binary:0
opt/local/share/twelf/examples/lp-horn/iscan.elf
@comment MD5:48a2e4526bc49aa208181590bb34750a
@comment binary:0
opt/local/share/twelf/examples/lp-horn/natded.elf
@comment MD5:e9242956614eed72adeac56ca614e0de
@comment binary:0
opt/local/share/twelf/examples/lp-horn/sources.cfg
@comment MD5:745aec69404865c1a33a72bed3b9df32
@comment binary:0
opt/local/share/twelf/examples/lp-horn/test.cfg
@comment MD5:e5de8b3cdbbdb923abe957167cc0e3d2
@comment binary:0
opt/local/share/twelf/examples/lp-horn/uni-can.elf
@comment MD5:4bd83417d18b416c2143750e00e9e8be
@comment binary:0
opt/local/share/twelf/examples/lp-horn/uni-can.thm
@comment MD5:e3ef9d9bc56663842ce1d49f1ecd7673
@comment binary:0
opt/local/share/twelf/examples/lp-horn/uni-complete.elf
@comment MD5:2e55c35b13f8f0cb2cc56f2d943787f3
@comment binary:0
opt/local/share/twelf/examples/lp-horn/uni-complete.thm
@comment MD5:f50fc163824e7fd6be686cc4cfa25d5c
@comment binary:0
opt/local/share/twelf/examples/lp-horn/uni-sound.elf
@comment MD5:ec1af1f7b597b76309847632e9619068
@comment binary:0
opt/local/share/twelf/examples/lp-horn/uni-sound.thm
@comment MD5:a70a6f7222e0d3fac61785d7fa59c554
@comment binary:0
opt/local/share/twelf/examples/lp-horn/uniform.elf
@comment MD5:9d08212fef655aa800c47373b5794944
@comment binary:0
opt/local/share/twelf/examples/mini-ml/README
@comment MD5:2ffc4a584764edfa2be5e0f8aa933a22
@comment binary:0
opt/local/share/twelf/examples/mini-ml/closed.elf
@comment MD5:70cc938a074a0b0508cdf691a397c0a7
@comment binary:0
opt/local/share/twelf/examples/mini-ml/eval.elf
@comment MD5:39d61f8367b491eec29974669655e1ae
@comment binary:0
opt/local/share/twelf/examples/mini-ml/eval1.elf
@comment MD5:e43401121a6053efd07f842c5eb754a9
@comment binary:0
opt/local/share/twelf/examples/mini-ml/eval2.elf
@comment MD5:ab905fffa61ce648baa5e6a174b1fa12
@comment binary:0
opt/local/share/twelf/examples/mini-ml/examples.quy
@comment MD5:94e53e98ffefd526ab6faa695a95b78c
@comment binary:0
opt/local/share/twelf/examples/mini-ml/examples1.quy
@comment MD5:37e2c0cd35a84736a39d14ddcbc21ae3
@comment binary:0
opt/local/share/twelf/examples/mini-ml/mini-ml.elf
@comment MD5:a51d0de6fae80b6f68b3507dbfc35220
@comment binary:0
opt/local/share/twelf/examples/mini-ml/reduce.elf
@comment MD5:f710652f3d2c6c163956557bbbe50d5a
@comment binary:0
opt/local/share/twelf/examples/mini-ml/reduce.thm
@comment MD5:28730ab731f6b87b7db0453526a5ab73
@comment binary:0
opt/local/share/twelf/examples/mini-ml/sources.cfg
@comment MD5:1cb99fda634d560773f9a090198648f4
@comment binary:0
opt/local/share/twelf/examples/mini-ml/sources1.cfg
@comment MD5:daafffd1b84c349dff9a8389425e1403
@comment binary:0
opt/local/share/twelf/examples/mini-ml/test.cfg
@comment MD5:663b7923599a0abc4d635b2372bcb2e6
@comment binary:0
opt/local/share/twelf/examples/mini-ml/tp-preserve.elf
@comment MD5:cf696cc0174e311efdb32c314f72256f
@comment binary:0
opt/local/share/twelf/examples/mini-ml/tp-preserve.thm
@comment MD5:5a088a947a61115840b8ac4e0975f490
@comment binary:0
opt/local/share/twelf/examples/mini-ml/tp.elf
@comment MD5:de722217cb5139346331adca544fa107
@comment binary:0
opt/local/share/twelf/examples/mini-ml/tpinf.elf
@comment MD5:c24600ec5be5eeaeb826395c57f10a35
@comment binary:0
opt/local/share/twelf/examples/mini-ml/val-sound.elf
@comment MD5:55ac95194bd58ec7d32f6409f26e9430
@comment binary:0
opt/local/share/twelf/examples/mini-ml/val-sound.thm
@comment MD5:ed10cddba443672c587da6cc9444b09b
@comment binary:0
opt/local/share/twelf/examples/mini-ml/value.elf
@comment MD5:0d33350f8ad7dfa996451d63a58a2655
@comment binary:0
opt/local/share/twelf/examples/modal/README
@comment MD5:db78bd7bc7feb14b723ca7c75f43f6d8
@comment binary:0
opt/local/share/twelf/examples/modal/modal-judge.elf
@comment MD5:f1077424d283df7bde48153b8deef158
@comment binary:0
opt/local/share/twelf/examples/modal/modal.elf
@comment MD5:b033f53f0312f1a440cb346ab3867a48
@comment binary:0
opt/local/share/twelf/examples/polylam/examples.quy
@comment MD5:ce2485f0d474e007467da53184631c53
@comment binary:0
opt/local/share/twelf/examples/polylam/polylam.elf
@comment MD5:a361921d41f17ee2517891742ab10582
@comment binary:0
opt/local/share/twelf/examples/polylam/sources.cfg
@comment MD5:446d09ed238678f5e87c13ecd6279654
@comment binary:0
opt/local/share/twelf/examples/polylam/test.cfg
@comment MD5:ba1dab821452b9491be68f5bc7bdf970
@comment binary:0
opt/local/share/twelf/examples/poplmark/1a.elf
@comment MD5:1f62396ed807a1274d2b9e16f7069df7
@comment binary:0
opt/local/share/twelf/examples/poplmark/1b.elf
@comment MD5:cdc0aa02dd2b07be68f7adf2fdb87704
@comment binary:0
opt/local/share/twelf/examples/poplmark/2a.elf
@comment MD5:ca79b91513271fc818920ba1e1a1d4d6
@comment binary:0
opt/local/share/twelf/examples/poplmark/2b.elf
@comment MD5:fc84d732a95630db4dca0a390e27726a
@comment binary:0
opt/local/share/twelf/examples/prop-calc/README
@comment MD5:cac0f803d1b9a7b5f8b9443e1f02a048
@comment binary:0
opt/local/share/twelf/examples/prop-calc/equiv.elf
@comment MD5:7a0047b67f9b9b1c03f17ce9ff6d9a49
@comment binary:0
opt/local/share/twelf/examples/prop-calc/equiv.thm
@comment MD5:150290f41195121893ff3bd4628570ce
@comment binary:0
opt/local/share/twelf/examples/prop-calc/examples.quy
@comment MD5:4423916e33fbed0c14490f694c745d1e
@comment binary:0
opt/local/share/twelf/examples/prop-calc/nd.elf
@comment MD5:4b5ae869bfdb96796cb737ddee5f1e9e
@comment binary:0
opt/local/share/twelf/examples/prop-calc/nd.tex
@comment MD5:d41d8cd98f00b204e9800998ecf8427e
@comment binary:0
opt/local/share/twelf/examples/prop-calc/ndclass.elf
@comment MD5:40b5b6d2d20ba946ee968e63d28778a1
@comment binary:0
opt/local/share/twelf/examples/prop-calc/prop-calc-solution.elf
@comment MD5:ca5d8c69b82775661ca59c474dda7f5a
@comment binary:0
opt/local/share/twelf/examples/prop-calc/prop-calc.elf
@comment MD5:b58906f9398ce538929b203fcee6c65e
@comment binary:0
opt/local/share/twelf/examples/prop-calc/sources.cfg
@comment MD5:2854c51cbcce941cdc46e926914860fa
@comment binary:0
opt/local/share/twelf/examples/prop-calc/test.cfg
@comment MD5:68f55fb1cfc5cc9f2325c9d46f56aa53
@comment binary:0
opt/local/share/twelf/examples/prop-calc/thm1.elf
@comment MD5:b447da4d765b3325676a5c0d1820a4ba
@comment binary:0
opt/local/share/twelf/examples/prop-calc/thm2.elf
@comment MD5:679a7e80592e18ce31bc58200ef1bf6b
@comment binary:0
opt/local/share/twelf/examples/prop-calc/thm3.elf
@comment MD5:467eac66b513858244ef3a632d7bd67d
@comment binary:0
opt/local/share/twelf/examples/small-step/README
@comment MD5:73d15af104437389fc02db32079be8ef
@comment binary:0
opt/local/share/twelf/examples/small-step/lam.elf
@comment MD5:91a57f41d058960df63236b37ccdf328
@comment binary:0
opt/local/share/twelf/examples/small-step/system-f-iso.elf
@comment MD5:766e8cff8992c1b9b3239807d08291bd
@comment binary:0
opt/local/share/twelf/examples/small-step/system-f.elf
@comment MD5:2c72d2a0f33e725fedb99d37707b52fe
@comment binary:0
opt/local/share/twelf/examples/tabled/README
@comment MD5:852315b3656894b9e2f44b561945e1c3
@comment binary:0
opt/local/share/twelf/examples/tabled/all.sml
@comment MD5:71dfb275e7750d6887b3964d1b83601a
@comment binary:0
opt/local/share/twelf/examples/tabled/ccc/README
@comment MD5:990c4e1d90967eb20467087c686748b4
@comment binary:0
opt/local/share/twelf/examples/tabled/ccc/ccc.elf
@comment MD5:d1562b75b1ca836c273b5e55220f65b9
@comment binary:0
opt/local/share/twelf/examples/tabled/ccc/tab-examples.quy
@comment MD5:5321768c18aaa5d0e3e6ff4f71ed083c
@comment binary:0
opt/local/share/twelf/examples/tabled/ccc/tab.cfg
@comment MD5:4c741682f2d92d8cecee6d491a177c66
@comment binary:0
opt/local/share/twelf/examples/tabled/cr/lam.elf
@comment MD5:43dee6ccd7e36d13dcb000244eedabd8
@comment binary:0
opt/local/share/twelf/examples/tabled/cr/ord-red.elf
@comment MD5:6124058ec50f4525d8ccd52da013d06c
@comment binary:0
opt/local/share/twelf/examples/tabled/cr/par-red.elf
@comment MD5:0cf80649bef2a8735130871e2dda580e
@comment binary:0
opt/local/share/twelf/examples/tabled/cr/tab-examples.quy
@comment MD5:4c1d73bc4f70ecb026381aa6ebee17ce
@comment binary:0
opt/local/share/twelf/examples/tabled/cr/tab.cfg
@comment MD5:a5af7606d89042762c28590b582e0602
@comment binary:0
opt/local/share/twelf/examples/tabled/mini-ml/examples.quy
@comment MD5:68f8713827688edec57366be7da4b77d
@comment binary:0
opt/local/share/twelf/examples/tabled/mini-ml/mini-ml.elf
@comment MD5:48df0c1b78fb0947d42ae5e9a1161c14
@comment binary:0
opt/local/share/twelf/examples/tabled/mini-ml/programs.elf
@comment MD5:672cf7ce4333bb3d49c7b12eaed28a90
@comment binary:0
opt/local/share/twelf/examples/tabled/mini-ml/reduce.elf
@comment MD5:f75407c63b0964611162eb9eba840618
@comment binary:0
opt/local/share/twelf/examples/tabled/mini-ml/tab.cfg
@comment MD5:6c4e3e76dab7bee727878fb0065f8718
@comment binary:0
opt/local/share/twelf/examples/tabled/mini-ml/value.elf
@comment MD5:b09534a3ee71f2f50388dacda7b5acac
@comment binary:0
opt/local/share/twelf/examples/tabled/parsing/arithml.cfg
@comment MD5:261b81aa8ca4f7f500d5b65402e1fdd3
@comment binary:0
opt/local/share/twelf/examples/tabled/parsing/arithml.elf
@comment MD5:5b782233eec14032729fa59c3d2b0468
@comment binary:0
opt/local/share/twelf/examples/tabled/parsing/arithml.quy
@comment MD5:180ed72a1bf9d4739a199e6f89ec5001
@comment binary:0
opt/local/share/twelf/examples/tabled/parsing/foll.cfg
@comment MD5:55f5f6b370629a64efd93aeaa8c5e751
@comment binary:0
opt/local/share/twelf/examples/tabled/parsing/foll.elf
@comment MD5:108015e4acbc5a2cbd44b4b91c41ad3f
@comment binary:0
opt/local/share/twelf/examples/tabled/parsing/foll.quy
@comment MD5:3168ca33f62b5a9970e3d3f38ed315bd
@comment binary:0
opt/local/share/twelf/examples/tabled/parsing/tab.cfg
@comment MD5:0e1ebc912bbe0a3fb681aa9b64c4a6b7
@comment binary:0
opt/local/share/twelf/examples/tabled/parsing/warren.elf
@comment MD5:49ac8057b67d9cc5d4b584ce7c351875
@comment binary:0
opt/local/share/twelf/examples/tabled/poly/mini-ml.elf
@comment MD5:aec5bf17d8e2d33c69f8be46877b128d
@comment binary:0
opt/local/share/twelf/examples/tabled/poly/tab-examples.quy
@comment MD5:ed24b19f850f1f7e4af7a780b254fee5
@comment binary:0
opt/local/share/twelf/examples/tabled/poly/tab.cfg
@comment MD5:0d15944537f482d2ae3993fa6524d28f
@comment binary:0
opt/local/share/twelf/examples/tabled/poly/tp.elf
@comment MD5:2a43589bed7f59972d4c4e7d0cbb01f4
@comment binary:0
opt/local/share/twelf/examples/tabled/poly/tpinf.elf
@comment MD5:b177248b4cd01274980a94edbb6e78f0
@comment binary:0
opt/local/share/twelf/examples/tabled/refine/norefex.quy
@comment MD5:b4db7e0d02e7059daf5e961c8ec726a7
@comment binary:0
opt/local/share/twelf/examples/tabled/refine/notab.quy
@comment MD5:4ee17f6ef50fb09dd1540443557ca9ee
@comment binary:0
opt/local/share/twelf/examples/tabled/refine/programs.elf
@comment MD5:33c04bdbacd15b7b8c5e1044533cb78d
@comment binary:0
opt/local/share/twelf/examples/tabled/refine/refex.elf
@comment MD5:342af0408f4cf04171d40eb6bd0ea98b
@comment binary:0
opt/local/share/twelf/examples/tabled/refine/refex.quy
@comment MD5:7a454f7aeb19e610d8360e4c7238890a
@comment binary:0
opt/local/share/twelf/examples/tabled/refine/tab.cfg
@comment MD5:e8d0f8cd8b5853e3959a2f96a4196884
@comment binary:0
opt/local/share/twelf/examples/tabled/seqCalc/foc.cfg
@comment MD5:e67941a828d2564456246bd8a66673a9
@comment binary:0
opt/local/share/twelf/examples/tabled/seqCalc/focus.elf
@comment MD5:d9f5bebe429d28b6b7f54843c2e841b5
@comment binary:0
opt/local/share/twelf/examples/tabled/seqCalc/fol-int-at.elf
@comment MD5:11364c8793a5a81828b709e5ffd8541d
@comment binary:0
opt/local/share/twelf/examples/tabled/seqCalc/formulas.elf
@comment MD5:4edbf2e8ed026335462289cf62517f02
@comment binary:0
opt/local/share/twelf/examples/tabled/seqCalc/int-atom.elf
@comment MD5:eb71993208387f5de897621925b0033b
@comment binary:0
opt/local/share/twelf/examples/tabled/seqCalc/int.elf
@comment MD5:d125a9301c99fc8ebca6b8f5ecfce892
@comment binary:0
opt/local/share/twelf/examples/tabled/seqCalc/sources.cfg
@comment MD5:8e9c6433a1b1a373a719f26e3c194ef3
@comment binary:0
opt/local/share/twelf/examples/tabled/seqCalc/tab-at.cfg
@comment MD5:3de65f5c80a8f0a946ed529c037de8c4
@comment binary:0
opt/local/share/twelf/examples/tabled/seqCalc/tab-ex-all.quy
@comment MD5:1051cf24a203ce68229198f46bf5542f
@comment binary:0
opt/local/share/twelf/examples/tabled/seqCalc/tab-ex-np.quy
@comment MD5:b33a02ff40305f2d4159977cfdcb6cd3
@comment binary:0
opt/local/share/twelf/examples/tabled/seqCalc/tab-foc-all.quy
@comment MD5:6da0c193b7887fdd2cb9cb2d2d751627
@comment binary:0
opt/local/share/twelf/examples/tabled/seqCalc/tab-fol.cfg
@comment MD5:2ca0e4161b557af3bdc12df4c76be3e2
@comment binary:0
opt/local/share/twelf/examples/tabled/seqCalc/tab.cfg
@comment MD5:d5371757e057071684496154861cae7f
@comment binary:0
opt/local/share/twelf/examples/tabled/subtype/mini-ml.elf
@comment MD5:a51d0de6fae80b6f68b3507dbfc35220
@comment binary:0
opt/local/share/twelf/examples/tabled/subtype/subtype.elf
@comment MD5:00f824d81c7c5d0e3a0c36d5af722bec
@comment binary:0
opt/local/share/twelf/examples/tabled/subtype/tab-examples.quy
@comment MD5:94f451bc83bbe9d3d8c6d64ee7d42081
@comment binary:0
opt/local/share/twelf/examples/tabled/subtype/tab.cfg
@comment MD5:53ba0806a43b3a701af7d8aabb61058f
@comment binary:0
opt/local/share/twelf/examples/tabled/subtype1/basic.elf
@comment MD5:40889aaceb6e7c86abb6acef48531237
@comment binary:0
opt/local/share/twelf/examples/tabled/subtype1/mini-ml.elf
@comment MD5:a51d0de6fae80b6f68b3507dbfc35220
@comment binary:0
opt/local/share/twelf/examples/tabled/subtype1/tab-examples.quy
@comment MD5:4628c21c90bcf7d8337baa76152b8172
@comment binary:0
opt/local/share/twelf/examples/tabled/subtype1/tab.cfg
@comment MD5:435deabad2d44a223fdce6c4d8ea79b1
@comment binary:0
opt/local/share/twelf/examples/tabled/tests/tab.cfg
@comment MD5:0151e79c7b66f73d80cf23d9269a1d89
@comment binary:0
opt/local/share/twelf/examples/tabled/tests/test1.elf
@comment MD5:df55cf9ee9c0c562c5d5ecfffc324b3f
@comment binary:0
opt/local/share/twelf/examples/tabled/tests/test2.elf
@comment MD5:af3f258af0adde60854f4fdef172dacd
@comment binary:0
opt/local/share/twelf/examples/tabled/tests/test3.elf
@comment MD5:2d1db9f6e2800e6a5290199d4870a47b
@comment binary:0
opt/local/share/twelf/examples/tabled/tests/test4.elf
@comment MD5:d59a65eb571b2c56420648f47d99c6b9
@comment binary:0
opt/local/share/twelf/examples/tabled/tests/test5.elf
@comment MD5:2bed062c13b147a8fb17541b05bb8f3a
@comment binary:0
opt/local/share/twelf/examples/tabled/tests/test6.elf
@comment MD5:4a29535bac7b60f952ffbef0977d67d7
@comment binary:0
opt/local/share/twelf/examples/tabled/tests/test7.elf
@comment MD5:5dd6c3b72eecf921bc54624edcc7758c
@comment binary:0
opt/local/share/twelf/examples/tapl-ch13/README.txt
@comment MD5:53097a86416b88af75e87b9234427db9
@comment binary:0
opt/local/share/twelf/examples/tapl-ch13/defs.elf
@comment MD5:a9aa4e131899802bea14c957a7fc73c9
@comment binary:0
opt/local/share/twelf/examples/tapl-ch13/nat.elf
@comment MD5:931a2e0f685ec216681056d3a672a4b3
@comment binary:0
opt/local/share/twelf/examples/tapl-ch13/sources.cfg
@comment MD5:4d0896dbb641cc138da2a39695fec11e
@comment binary:0
opt/local/share/twelf/examples/tapl-ch13/theorems.elf
@comment MD5:f3f19083b216d17b2f96370d6ed0be78
@comment binary:0
opt/local/share/twelf/examples-clp/arith/eval.elf
@comment MD5:c759a42d3c3bc08355a0399e2d9a064b
@comment binary:0
opt/local/share/twelf/examples-clp/arith/examples.quy
@comment MD5:d428e612b2b4e1dfda38b4f6db79e79e
@comment binary:0
opt/local/share/twelf/examples-clp/arith/parse.elf
@comment MD5:7d3eb581069d32eea2a1462c7c2fcf26
@comment binary:0
opt/local/share/twelf/examples-clp/arith/sources.cfg
@comment MD5:a66541e601de19fe8a2aea50aacf72a7
@comment binary:0
opt/local/share/twelf/examples-clp/arith/test.cfg
@comment MD5:892ca0848a8732ce2ea3a007e3ea1e2b
@comment binary:0
opt/local/share/twelf/examples-clp/base/base.elf
@comment MD5:d2399504d0cd8b85ba3fa7199aa843cf
@comment binary:0
opt/local/share/twelf/examples-clp/base/examples.quy
@comment MD5:8c5d62cda2d2c0c788f18201940baeee
@comment binary:0
opt/local/share/twelf/examples-clp/base/sources.cfg
@comment MD5:686c8634c12220ef87b9150f5e15b105
@comment binary:0
opt/local/share/twelf/examples-clp/base/test.cfg
@comment MD5:fb214b85873da58641c8456749e3f56b
@comment binary:0
opt/local/share/twelf/examples-clp/crypt/crypt.elf
@comment MD5:4e07659dc869b196aade77e5257b03d1
@comment binary:0
opt/local/share/twelf/examples-clp/crypt/examples.quy
@comment MD5:5fb10c7611fd16f5ff7ee52ffde277e4
@comment binary:0
opt/local/share/twelf/examples-clp/crypt/sources.cfg
@comment MD5:618eb0c6b6959b405b1ac38e5daa466d
@comment binary:0
opt/local/share/twelf/examples-clp/crypt/test.cfg
@comment MD5:618eb0c6b6959b405b1ac38e5daa466d
@comment binary:0
opt/local/share/twelf/examples-clp/integers/base.elf
@comment MD5:3759bdf886bd149e400d1ff3b39e0993
@comment binary:0
opt/local/share/twelf/examples-clp/integers/cfract.elf
@comment MD5:6b8a49f8b5028c2f74038116baa4b601
@comment binary:0
opt/local/share/twelf/examples-clp/integers/examples.quy
@comment MD5:16f0e21c2009e9e1776110bf791976c8
@comment binary:0
opt/local/share/twelf/examples-clp/integers/integers.elf
@comment MD5:d640b08ae0e96204b7472e04c777b100
@comment binary:0
opt/local/share/twelf/examples-clp/integers/meta.elf
@comment MD5:db5dabbcf782c9198876396d61e65abb
@comment binary:0
opt/local/share/twelf/examples-clp/integers/sources.cfg
@comment MD5:382d6fdc2cc057248f91083e952e611b
@comment binary:0
opt/local/share/twelf/examples-clp/integers/test.cfg
@comment MD5:882bac1681c38b794445313ceca96b68
@comment binary:0
opt/local/share/twelf/examples-clp/laplace/examples.quy
@comment MD5:3e0b10ee5a6451d123280bea9b82329c
@comment binary:0
opt/local/share/twelf/examples-clp/laplace/laplace.elf
@comment MD5:0845e0bf1ae57387772dacbc4855dc2b
@comment binary:0
opt/local/share/twelf/examples-clp/laplace/sources.cfg
@comment MD5:2ecf4382aaf01cc8c66e1029ea3c6b97
@comment binary:0
opt/local/share/twelf/examples-clp/laplace/test.cfg
@comment MD5:1d164d7273a48997c07b2267ca534abe
@comment binary:0
opt/local/share/twelf/examples-clp/lists/examples.quy
@comment MD5:adc5c43e44c7e917d46c0f595beb76bd
@comment binary:0
opt/local/share/twelf/examples-clp/lists/lists.elf
@comment MD5:fe2b069039aed0c98199f38006087543
@comment binary:0
opt/local/share/twelf/examples-clp/lists/sources.cfg
@comment MD5:c134ac93cde71a27de4085efc5a59016
@comment binary:0
opt/local/share/twelf/examples-clp/lists/test.cfg
@comment MD5:cd2811571de822621bbcb33a5e0477f3
@comment binary:0
opt/local/share/twelf/examples-clp/mortgage/examples.quy
@comment MD5:bc42eca04f38fcc53f32d6526abb1f0a
@comment binary:0
opt/local/share/twelf/examples-clp/mortgage/mortgage.elf
@comment MD5:ff151d331a7da5ff3c8480b63d62e458
@comment binary:0
opt/local/share/twelf/examples-clp/mortgage/sources.cfg
@comment MD5:7f1561f8a56ea5cf06e859b1fbe49343
@comment binary:0
opt/local/share/twelf/examples-clp/mortgage/test.cfg
@comment MD5:e23e17347349ccd8de9d52b9197e2344
@comment binary:0
opt/local/share/twelf/examples-clp/pelletier/examples.quy
@comment MD5:2becba2b87d3643a2791ced9475ad94c
@comment binary:0
opt/local/share/twelf/examples-clp/pelletier/pelletier.elf
@comment MD5:eb8ed9356161634948629917f29e9343
@comment binary:0
opt/local/share/twelf/examples-clp/pelletier/sources.cfg
@comment MD5:37a4f46b19b1b70f8c3d2b5ce8b97a52
@comment binary:0
opt/local/share/twelf/examples-clp/pelletier/test.cfg
@comment MD5:37a4f46b19b1b70f8c3d2b5ce8b97a52
@comment binary:0
opt/local/share/twelf/examples-clp/sieve/examples.quy
@comment MD5:97b02f3cf349538153f2decde2a169e2
@comment binary:0
opt/local/share/twelf/examples-clp/sieve/sieve.elf
@comment MD5:a5285cb10b3b416415396950f9ba9464
@comment binary:0
opt/local/share/twelf/examples-clp/sieve/sieve2.elf
@comment MD5:8245c14cf91d20647f1c12a59e3607fc
@comment binary:0
opt/local/share/twelf/examples-clp/sieve/sources.cfg
@comment MD5:1da1a19447daf9fe3c47e189e4ab17f6
@comment binary:0
opt/local/share/twelf/examples-clp/sieve/test.cfg
@comment MD5:f884f66b03c58588e06e29c3b3d5dcbb
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/mini-ml/add.delphin
@comment MD5:8f355ef7837f36929d2bf699b995352a
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/mini-ml/bug1
@comment MD5:169ff38f5cf2bf55f894ef98b966897b
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/mini-ml/count.delphin
@comment MD5:1dea1ab22df15e2f5dde7619ae293ca3
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/mini-ml/identity.delphin
@comment MD5:5d22c1c4a1cfc0e9e2cf999eabc6e40b
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/mini-ml/mini-ml.elf
@comment MD5:06e4ace58132c3dfd782dbba85511473
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/mini-ml/run.sml
@comment MD5:0fb0c0681c97e36d74c31a18368be654
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/mini-ml/sources.cfg
@comment MD5:6dae5eb1c559175d40c1ac92fdae6da0
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/nd/NOTES
@comment MD5:c91b7feb90d63b36692d64fd8da2cf0b
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/nd/prover.delphin
@comment MD5:92468c7d8705b984e0dfaa37b66a7e7c
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/prop-calc/equiv.delphin
@comment MD5:85d430d9585a3aa6f333bf1217b09104
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/prop-calc/prop-calc.elf
@comment MD5:afdbe344505285476fb9f7793a134657
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/prop-calc/run.sml
@comment MD5:f6b206a2b2d096d7393b28ca8fa0f3fb
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/prover/nd.elf
@comment MD5:a4b8c9073c9856fbdf531734f248568e
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/prover/prop-calc.elf
@comment MD5:3f0f17abfe368232a954f3ae0b51caf4
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/prover/prover.delphin
@comment MD5:4ef05d563cda8eef88f2f332d1cf3ce6
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/prover/prover.elf
@comment MD5:5c4082d04cd2f20031f755afcf16f07a
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/prover/run.sml
@comment MD5:63b525384000eed37f4fe22dcd4e4ea7
@comment binary:0
opt/local/share/twelf/examples-delphin/carsten/prover/search.delphin
@comment MD5:210c162d71501094c9d1dd0b7eee1e8a
@comment binary:0
opt/local/share/twelf/examples-delphin/mini-ml/count.delphin
@comment MD5:2bede53fa1d4ae4c13f28fa72d9bb248
@comment binary:0
opt/local/share/twelf/examples-delphin/mini-ml/mini-ml.elf
@comment MD5:e72acfedfd3080fc0f354a8e6894edd2
@comment binary:0
opt/local/share/twelf/examples-delphin/mini-ml/sources.cfg
@comment MD5:6dae5eb1c559175d40c1ac92fdae6da0
@comment binary:0
opt/local/share/twelf/tex/code.sty
@comment MD5:e47b488c4de22c6593c1b6051b3c7ca1
@comment binary:0
opt/local/share/twelf/tex/example.tex
@comment MD5:1dbc7e3f53785ada33d64358de5e9f56
@comment binary:0
opt/local/share/twelf/tex/twelf.sty
@comment MD5:28438b0ef868c1b7538cd8fc64d9df84
@comment binary:0
opt/local/share/twelf/vim/README
@comment MD5:72a1c5798bfa7ff9306d032a57069a35
@comment binary:0
opt/local/share/twelf/vim/filetype.vim
@comment MD5:e41f4d09b0a42687388a31f361473f2e
@comment binary:0
opt/local/share/twelf/vim/syntax/twelf.vim
@comment MD5:cab32cb9411f2d938081d3f57e31ec93
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib none
@cxx_stdlib_overridden 0
