set name=pkg.fmri value=pkg://lnf/developer/hets/twelf@1.7.1,5.11-1.3.2.4:20151126T203337Z
set name=pkg.summary value="Logical framework and programming language Twelf"
set name=pkg.description value="Twelf is an implementation of a) the LF logical framework, including type reconstruction; b) the Elf constraint logic programming language; c) a meta-theorem prover for LF (very preliminary); d) a set of expansion modules to deal natively with numbers and strings as well as e) an Emacs interface. It is used to specify, implement, and prove properties of deductive systems such as programming languages and logics."
set name=info.classification value=org.opensolaris.category.2008:Development/Hets
set name=info.source-url value=http://twelf.org/releases/
set name=variant.arch value=i386
link path=local/usr/bin/twelf-server target=../lib/twelf/bin/twelf-server
dir group=bin mode=0755 owner=bin path=local/usr/lib/twelf/bin
dir group=bin mode=0755 owner=bin path=local/usr/lib/twelf/bin/.heap
file c827ebfb882e22958c2c8decaf06761b82e3ac72 chash=99964bf28ab250648c572a8306a57212436b970a group=bin mode=0644 owner=bin path=local/usr/lib/twelf/bin/.heap/twelf-server.x86-solaris pkg.csize=2040138 pkg.size=8841312
file ddffd629a9c161b38ebf0c4e057d99f4f4ac9b09 chash=43642e42e181b12c17d788647d4873fe422388f1 group=bin mode=0755 owner=bin path=local/usr/lib/twelf/bin/twelf-server pkg.csize=107 pkg.size=97
dir group=bin mode=0755 owner=bin path=local/usr/lib/twelf/emacs
file db193ea5c815ee0fa7ca39932434629aea922abc chash=899ae6e240d824bb651135f2232356b52ffc72d4 group=bin mode=0644 owner=bin path=local/usr/lib/twelf/emacs/README pkg.csize=3206 pkg.size=9148
file ea869dfba42181d64b3d38502f25fc90afea1c89 chash=7d0e5900d9db8b92321bbbcad5b8534958146b7d group=bin mode=0644 owner=bin path=local/usr/lib/twelf/emacs/auc-menu.el pkg.csize=3192 pkg.size=8830
file 92ac1bb9bba5fc04ae05f99f851743a677e52a83 chash=6c355aecfc75e7ac4860f7ab65631da15039be62 group=bin mode=0644 owner=bin path=local/usr/lib/twelf/emacs/twelf-font.el pkg.csize=4747 pkg.size=15273
file e5716405e7c61c7282d9ab68a885dc67838a5f45 chash=e7d4425cdce9fcc91b4c9a76ff99d28d028c6178 group=bin mode=0644 owner=bin path=local/usr/lib/twelf/emacs/twelf-hilit.el pkg.csize=2832 pkg.size=9169
file 3eaebd0657eedb7e3d752b2462c14c234087bb7f chash=13d18c059f664f1c706b079040ae75abd1bf2120 group=bin mode=0644 owner=bin path=local/usr/lib/twelf/emacs/twelf-init.el pkg.csize=544 pkg.size=1325
file 4e41209c6d3a9c0099a93e8104154a767be2d7ca chash=80cc6fdb5399219506825f44373fe6bfdb202f70 group=bin mode=0644 owner=bin path=local/usr/lib/twelf/emacs/twelf.el pkg.csize=29263 pkg.size=121296
dir group=bin mode=0755 owner=bin path=local/usr/lib/twelf/tex
file 3ef7a58a198abaa9da10ac58f1a41812d0945f86 chash=93ccb4fdcbc3abed8a1e72f148c660b03795195e group=bin mode=0644 owner=bin path=local/usr/lib/twelf/tex/code.sty pkg.csize=1529 pkg.size=3725
file 4f5ef45b9bf9d9b8a0704d71755a64f4b8bef47b chash=d32d73e38879a99c7aca74b1e0098ea87e481f69 group=bin mode=0644 owner=bin path=local/usr/lib/twelf/tex/example.tex pkg.csize=4261 pkg.size=36135
file 2b7e0b251c5b018fb1cd40d8d3e5ba3469db4830 chash=fee9ee3e83ece618a5bdafc04c432799fcba2911 group=bin mode=0644 owner=bin path=local/usr/lib/twelf/tex/twelf.sty pkg.csize=106 pkg.size=219
dir group=bin mode=0755 owner=bin path=local/usr/lib/twelf/vim
file 47c6e59684e93a2d84bd7971419c91f6fa152849 chash=bebf236dd5500f8a92ba833de75a60e0c25f5271 group=bin mode=0644 owner=bin path=local/usr/lib/twelf/vim/README pkg.csize=360 pkg.size=618
file 61868c0a2566d151c0d6088d18041ae226ae01e9 chash=4892a7ec0fcc8b8eb523aa6ac64a8657f8760c96 group=bin mode=0644 owner=bin path=local/usr/lib/twelf/vim/filetype.vim pkg.csize=143 pkg.size=164
dir group=bin mode=0755 owner=bin path=local/usr/lib/twelf/vim/syntax
file 2565a6d4887a35d6ac7bbb1a534bdbd08b0d14be chash=10c0abf220c9d73608d841afff087961d7743cc8 group=bin mode=0644 owner=bin path=local/usr/lib/twelf/vim/syntax/twelf.vim pkg.csize=1052 pkg.size=3286
file 33f85d9e523a22217dad8160df3d2896d33d5083 chash=bd6b0a27b073c232c050552560b6621084121906 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/README pkg.csize=91 pkg.size=78
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples-clp
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples-clp/arith
file 4c21f22459743b704e18feaeed94468ffff58a27 chash=c5790ae06bae3cc8a04e6d1ff2c96cea4c42e6cc facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/arith/eval.elf pkg.csize=370 pkg.size=1124
file ca06625b2584813b63e2e470d790941d57fe35ce chash=2ce08bb72c95357f7115f805c753ad7fa53dc24b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/arith/examples.quy pkg.csize=120 pkg.size=110
file 967d035f8c491eb7f76d3695c41fb9acb0ab1c81 chash=41760becc730ada40bfd5600708d782361a52007 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/arith/parse.elf pkg.csize=292 pkg.size=896
file 47b242af74979ea50c901f42467ce36bb643d682 chash=fe53d86b9fc0a1e33720d3db8371ded3a2a0c9f0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/arith/sources.cfg pkg.csize=35 pkg.size=19
file 9fa740a05665e54fc7a48891ae55ae58dd1b9c59 chash=c0aa2ff4235127fb5de9417b62847a009116082d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/arith/test.cfg pkg.csize=49 pkg.size=33
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples-clp/base
file 632fc9a685956ab8f2d64f72157cb56c3a73cd32 chash=ba97a5a0dab08183cae5ffa0ee52998e369599ab facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/base/base.elf pkg.csize=352 pkg.size=698
file db1d3ba23d2def4843db40fcbba4faf5f0398d56 chash=2625dc4976d140562356ec1e71561d27b0d95003 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/base/examples.quy pkg.csize=96 pkg.size=81
file 636936e6315132f20de6050400ee9c274eecdb1d chash=de3eda4141034bc9ad16221dc29812484a94f194 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/base/sources.cfg pkg.csize=29 pkg.size=9
file a4da8f5625caa5cdfefe53e52ff722ed9c546da7 chash=3f6ee38bc889ed4a4ac76aaff444ba19bf89cb3b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/base/test.cfg pkg.csize=43 pkg.size=23
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples-clp/crypt
file c592aa5e8486690d1cf514fd58dcb556c097494d chash=a909a4603304742d195194e4d34138e5b9f762ce facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/crypt/crypt.elf pkg.csize=707 pkg.size=1820
file 03d7169d57ac867a2329bd9f1ef149abcb53f364 chash=f29aaa934d44b85247f0cfd4ca8cb9bdad0f971b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/crypt/examples.quy pkg.csize=108 pkg.size=104
file 350438b882b198cea8da825f52c5572af9a934cb chash=aaf53699f528ce86d7b78c956d6ae212560040ef facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/crypt/sources.cfg pkg.csize=43 pkg.size=23
file 350438b882b198cea8da825f52c5572af9a934cb chash=aaf53699f528ce86d7b78c956d6ae212560040ef facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/crypt/test.cfg pkg.csize=43 pkg.size=23
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples-clp/integers
file 8cfba5f4fcf4c1a88a4b5e12cba88e929226549e chash=02403bdc26f639b05a8bc5184029499f7d089944 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/integers/base.elf pkg.csize=469 pkg.size=1236
file f278bc0c225940ee9769c73a87213522ddfd8ab8 chash=ae1549283c59783a51ea25fa6832288862e3a7b4 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/integers/cfract.elf pkg.csize=322 pkg.size=835
file cbdd4de4abf707a3c63dfddfd96dd9aa82b88595 chash=07eb9cfa0f2580c207df1d9f47be4381a47ee298 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/integers/examples.quy pkg.csize=213 pkg.size=404
file 03ec6f7d41aacf2878843ae99092208ed9df9c97 chash=ae156dcacfeef1e701c6ec7049566505dbd166a1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/integers/integers.elf pkg.csize=343 pkg.size=1200
file dd1f3a09ffbc35130613b6223e5af422ce667baa chash=6e785ac7eece21415f928937749d80502f68f32c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/integers/meta.elf pkg.csize=587 pkg.size=1610
file 355e504a3795101989c0206ed9390b08157bd118 chash=9da9b4445ebb91312aa0736de50eaeac8a77434c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/integers/sources.cfg pkg.csize=52 pkg.size=41
file 2e7d7aa3415b0b767126649bb973c3f7787e511a chash=30a9cfedd1f9d313e7fc73c5926bc7ecbf796c6a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/integers/test.cfg pkg.csize=66 pkg.size=56
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples-clp/laplace
file 06a546e37b088f14afb3ea7f7b811ebc40f6fbad chash=0751b818a4379d256b064dbf6e571bdce0847811 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/laplace/examples.quy pkg.csize=150 pkg.size=311
file 8ff32b55ba90116852ee6226fff35d33cf8b9a0e chash=447a8176a1567db431855b20a2029b8a34564918 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/laplace/laplace.elf pkg.csize=398 pkg.size=840
file 40881f488c6e56e6fe5d90e0bb5e5c485266c5af chash=14c25da91a81ee6c79d222c6645b62acedec314a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/laplace/sources.cfg pkg.csize=31 pkg.size=11
file e79253c300e707bde7e3c790904f4b791546b99e chash=119ee8d29210fd6a3486b5bfebdf6f06cf3f96de facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/laplace/test.cfg pkg.csize=46 pkg.size=26
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples-clp/lists
file e61cf9c90145c4d5aaa6014040258515cc940c43 chash=fab750b7476aecb92054a2f0d204a08bf167bfe3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/lists/examples.quy pkg.csize=86 pkg.size=73
file fbab4444a285b4287623a62afc7d6b509c27b338 chash=f25ee49abf3b099115e81b96b6f07132f8cdb9c0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/lists/lists.elf pkg.csize=251 pkg.size=387
file f67f111e1ce9b0c03169ea93e470dd8d32f87c8a chash=c7148df4cf0df1b54dc7282b82d0ccb8c8a7aa57 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/lists/sources.cfg pkg.csize=29 pkg.size=9
file f04baadeff13201a9ba58f124db498318d506d6f chash=7c79da07723b5129bafc9f8c3c4801d567a15fbf facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/lists/test.cfg pkg.csize=44 pkg.size=24
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples-clp/mortgage
file 2b7be8fa22e0aa206e28f61834c264bf9bbe1fd9 chash=af42869de470df622a124cd7def65a215e8e41b0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/mortgage/examples.quy pkg.csize=109 pkg.size=123
file 23644f15a09abd607dccbb60ecfc1a0c834277e2 chash=4c6e69bc3465d9648d466753cf42cb1d37b8a3d5 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/mortgage/mortgage.elf pkg.csize=361 pkg.size=704
file c435b481f73c6589312531d16d7584515c9b8dba chash=12cf474978eb54edad6f9adf8eec2ac49f04944d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/mortgage/sources.cfg pkg.csize=32 pkg.size=12
file 209a007e08c36beb3bd85b67b7b34d330b2c072b chash=cd3bebc70721db9026811ae46378d03dd5ba559f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/mortgage/test.cfg pkg.csize=47 pkg.size=27
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples-clp/pelletier
file d55b2e839aabab62f413c74b159d2542d110827c chash=11f98613ac4d8aa4617cd01077c12e1abad18087 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/pelletier/examples.quy pkg.csize=373 pkg.size=1114
file 034f1574a077ef67b585f9c1ef996b4c6d43fdf4 chash=d8865bc306ee783a01449c318e1355f18d25e569 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/pelletier/pelletier.elf pkg.csize=190 pkg.size=236
file 3efbccdf1fbdeb2d389d7fd4f2dc3d98a0a453b2 chash=58962f3d2d6c2299020b26362f9ac176970c1996 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/pelletier/sources.cfg pkg.csize=47 pkg.size=27
file 3efbccdf1fbdeb2d389d7fd4f2dc3d98a0a453b2 chash=58962f3d2d6c2299020b26362f9ac176970c1996 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/pelletier/test.cfg pkg.csize=47 pkg.size=27
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples-clp/sieve
file 83bf0ecf991df84f4d887d9e8d237ddb1ebcc432 chash=1d385061f82082a5ac0b740017b7588b9a082785 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/sieve/examples.quy pkg.csize=122 pkg.size=125
file 0ccd205359497458e1e13c3e2040122f99bdf602 chash=bc8a6fddd8239e170f805198d67db9710151df50 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/sieve/sieve.elf pkg.csize=397 pkg.size=965
file 3c6732c913374f4c1c5eb90de56573740169a7db chash=8e075537ef5a73a4b8172fbd513df90f0d319256 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/sieve/sieve2.elf pkg.csize=464 pkg.size=1250
file b9ca84af4fa09cfa42d41f191c699a855e278a4c chash=dbd945ad21d8781431be4c846af92f0ea6f479a7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/sieve/sources.cfg pkg.csize=31 pkg.size=11
file 935d192717f3e62d349d6df9d5313dd122557d1c chash=37f648f7cbdaecb94425363ee6d2ffebb995c274 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-clp/sieve/test.cfg pkg.csize=45 pkg.size=25
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples-delphin
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/mini-ml
file b2bb56a736e0f89ff0f279344c680b4f1fe98cf5 chash=582f594350268548de61843860fa102bb4a56684 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/mini-ml/add.delphin pkg.csize=226 pkg.size=406
file d22fac3ffaa859c2f6de6ca67da6abdc36ab9b3d chash=e398f70f2d09770ad84bd9d73e2bb298ec91c02d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/mini-ml/bug1 pkg.csize=103 pkg.size=195
file 2bb406a244a592ad644c7c80ea984811039beb98 chash=8a2452b89a3c202cb29891dde35451ba4a5cebf8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/mini-ml/count.delphin pkg.csize=471 pkg.size=996
file ea6aebe6d368a29414821d26629373384e61afb1 chash=f0c0a8182d2faf0d1f4f2e2b90968304d29cd21f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/mini-ml/identity.delphin pkg.csize=346 pkg.size=723
file 7c267c711124b44498b51f9b9239461dcb1f37e9 chash=f8d21ba5963464a39f9b34966a0aeb02f5da353b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/mini-ml/mini-ml.elf pkg.csize=684 pkg.size=2308
file 2ff243df358219fe03dd203f71998a0022acd823 chash=708b59fbe9d35380c7984345a4214b5cf9cbdaf7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/mini-ml/run.sml pkg.csize=109 pkg.size=351
file 35c3174dbdf002dbea09503ac4b1989a74dd67a6 chash=293ca87a5d31694bdda55cd898714a9bc221a052 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/mini-ml/sources.cfg pkg.csize=31 pkg.size=11
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/nd
file 3b826a9fba34d73c4af0ae6d7d34c25ac42012f6 chash=c79d8f42498a6049330070bbea567e1e0c779f61 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/nd/NOTES pkg.csize=946 pkg.size=1833
file 138a6f7505fbe50ec6dadfa1cb2700b32dea0823 chash=49753d82a54ec95e957876e6aa32457e16412398 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/nd/prover.delphin pkg.csize=459 pkg.size=1003
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/prop-calc
file 73db2c8bfed7a93c465eb92a889e677c1fe837d9 chash=c80c586cbe5b9df5e229feff7e7f4eb56fc59efa facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/prop-calc/equiv.delphin pkg.csize=253 pkg.size=475
file d0d9e21884b05b9ae35dcbe2c06ccf84e73576f7 chash=04192f1de6970246987f62c0bd7f1711976f3263 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/prop-calc/prop-calc.elf pkg.csize=507 pkg.size=1367
file 4f99f87a4c223e64391fc1f02e10f43d28e7b165 chash=8f9569641c2ba4ef990e3893d666b40fd42ff51b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/prop-calc/run.sml pkg.csize=92 pkg.size=123
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/prover
file d9ac8e6fa05563b554141ed37c843ffd73ec6b45 chash=5daa4c1cb32df80a818ee849a4eb5755bf55dfad facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/prover/nd.elf pkg.csize=308 pkg.size=501
file e34cfe0cf91914d24a574975082e1dd2ca42fed3 chash=cbe2cce9cf3446f1636b3d1de587d49d9fbb8ce4 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/prover/prop-calc.elf pkg.csize=314 pkg.size=516
file 152595065ab543f2f123194e9f9bd63f3e6765d7 chash=be0b75b22110475567931b080bfaa3d79d68d717 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/prover/prover.delphin pkg.csize=340 pkg.size=727
file d9636caf6ae4bcc084cacb0587adb0274cf72f4c chash=9ae7c6fcaba918e7765dfda9547cdfb395fd6399 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/prover/prover.elf pkg.csize=175 pkg.size=259
file 94be6877a4319242a1423d0fe2dda8bc4e12fa84 chash=c89b4d2aa6307c1bacfbfea2ff5bff98fc044e41 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/prover/run.sml pkg.csize=86 pkg.size=111
file 487c76f6bf4af209ab60c42c3b31b7b2961946bf chash=f894818a2079ed2fc4420b611ec355cd364f23cc facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/carsten/prover/search.delphin pkg.csize=332 pkg.size=689
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples-delphin/mini-ml
file 9ac938f71a9b96e9e19235015fb2b8e806835811 chash=f6aac780c86850cb14055ebc967eb04028fcbc2d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/mini-ml/count.delphin pkg.csize=546 pkg.size=1477
file d397f9ee072ce77081b785728326b07be8eed3cf chash=c9f1fc796149f1b6515c433b6f59acc703da14fb facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/mini-ml/mini-ml.elf pkg.csize=447 pkg.size=1115
file 35c3174dbdf002dbea09503ac4b1989a74dd67a6 chash=293ca87a5d31694bdda55cd898714a9bc221a052 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples-delphin/mini-ml/sources.cfg pkg.csize=31 pkg.size=11
file 7cce40dbe3071677d35fe87dff826fe505c85f60 chash=3d0e20eeeb49df398a6192f1195085bdb0390abd facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/README pkg.csize=672 pkg.size=1279
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem
file ed93a4f9c9e5025da97c1def9cc08d6e8ef70b57 chash=491ef2f13c82e6ad58264e890054438a03ac4224 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/README pkg.csize=7771 pkg.size=20583
file 0d6d8d8a3d50b23b0c17d7c3b6e0d57639105dae chash=10de00e8bc2b66c8affd97a25ab76e21f033fcb4 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/absurdum.elf pkg.csize=163 pkg.size=179
file 80ab3ba134c304f42ff2fc6c6e87b2888e13bf8d chash=bf5a0185a261c27ec68fec793553217f76f18a44 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/dynsem-lemmas.elf pkg.csize=560 pkg.size=2923
file a2cc96c8cc66dc47194fad49dcefb2953855ec53 chash=65297a496e0f06bcda2ac2103cbb67e492bcdbf4 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/dynsem-lemmas.thm pkg.csize=311 pkg.size=993
file 2b6e28fbfdfb990ba3523ac9a10866eacff98f86 chash=41678d8a45a430f41d250ed5c3f14989881c31b6 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/dynsem.elf pkg.csize=577 pkg.size=2102
file c890df65eaa9271296318f88353f8132a6239efc chash=f80fc7db8d9c3ed5c4ccd32064878d193b7b6b01 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/exp.elf pkg.csize=281 pkg.size=740
file 0184ff07f6ec8eb31af6f8e7aa6e3ed3830f249d chash=8fd17dbae70b1a3431ba4ab8d9c6b1de97f93782 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/inversion-pres.elf pkg.csize=680 pkg.size=3838
file f4ca1e5e8ef32e04d1a17e4f51865ebc996ae3c1 chash=d30e17fac8b53ec2beb2d8262e0fdfa6c3729ed0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/inversion-prog.elf pkg.csize=591 pkg.size=2787
file cbfe25fc14cd53c80dfb8f4ea365cbc43204a18b chash=cf5fac217e17e1ca41a9087c163c6301366f0db7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/loc-lemmas.elf pkg.csize=353 pkg.size=971
file e02a11b90bc6857d28f47edf09f8e3ca01c7a962 chash=a2abff4fdbe810f300bc1b8a64f2c2b2f6150968 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/loc-lemmas.thm pkg.csize=303 pkg.size=731
file 4d63df867f5e58de5e0b4fa175e7b31873fb7176 chash=f03b46d13f3053791d2ae5fa317ab25c33eaceae facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/loc.elf pkg.csize=256 pkg.size=634
file 0b78937082c0502a4c3f3f63570cb6fd84619243 chash=af9ce8f44a34ec9a2f13fcc9761b0eb7e98c39d3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/machine.elf pkg.csize=297 pkg.size=754
file 164a61a02840301c7acf9be87ccfc851ef89c06a chash=6b0a9ff054901e8ec16171e07c2e7fb0544bc9bf facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/nat-lemmas.elf pkg.csize=449 pkg.size=1362
file d756f3ff01100567d93fa8c0c49b2ca4d852b451 chash=d8912028042f95fa270a58b53ea0dca3a0a02f21 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/nat-lemmas.thm pkg.csize=344 pkg.size=904
file cc8988a50bc130daf3ab80c5e3907f2a1c6f7547 chash=54c37cf1311ba0438a52345efb14f2851f5c01d1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/nat.elf pkg.csize=280 pkg.size=731
file a545939aaa75aed58829cbf38a54c7715732dea1 chash=2777bec2c9e628dfd70aed11b432ef9b0c70a66e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/preservation-lemmas.elf pkg.csize=1019 pkg.size=5110
file 959df1adbf4a56aa3805829681dea6925f5333b8 chash=05380870d3bbcabfdc1748b3c7b5bed375b51e3d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/preservation.elf pkg.csize=1254 pkg.size=9158
file d7c9010b51dd17f3b146b7bcbc5f3af5e01e5d8b chash=b0a43edb9ddd847937b0127f21c1ab69601bee52 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/progress-lemmas.elf pkg.csize=913 pkg.size=5768
file 4eaab1eecc8a884c0334238f64ac6c0bd24f8cf1 chash=b63bc698e0123431e56d2e9b31048d1c9b27dfdf facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/progress.elf pkg.csize=514 pkg.size=1946
file 6a5ae64919a2c764e523a03146fb97bcc4c1428d chash=6d9549da4520507b234bb357742ae89c44b8b5ee facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/safety.elf pkg.csize=448 pkg.size=1324
file fd017edf529e3b0c0202669f6ce65d0106b2e2bc chash=fdde0f1b0a36cdc582246b304b2f1c9bac3c0549 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/sources-thm.cfg pkg.csize=212 pkg.size=343
file e7e2486003db5226a7dafbceefd009aacebe50ca chash=595c94a80c4f4d1308b05d1cc7028e46761c3993 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/sources.cfg pkg.csize=247 pkg.size=462
file 909b5147dd466426129d6f34a7e25527ff69cac7 chash=b37dea323bba85fce19cc11ff3fdb593f3bcaa4a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/statsem.elf pkg.csize=949 pkg.size=3897
file ebdee95f5e928f2e3e8555dece36acddab9cc148 chash=515bebe58ca286f700704ebd132ce2de351e5ff4 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/store-lemmas.elf pkg.csize=442 pkg.size=1506
file 5f73a19958887c9bc1ea37c870d146ff445f9637 chash=199c42e93cd40186f76f74eb2f566839961aa734 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/store-lemmas.thm pkg.csize=344 pkg.size=930
file 8e0ed2879b7cb7e0163f8bd3e2b8dee8c5fee141 chash=3bdc6a0bf14cbf1e85cfb3ad76fd77917be4734d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/store.elf pkg.csize=510 pkg.size=1902
file 171138af312d26cca5369e3040b0493de0030ccb chash=a21931c0b53cdedff1198ab56e1c612ebfc5ac97 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/storetp-lemmas.elf pkg.csize=1043 pkg.size=6192
file feea4ff6b740b31755f945a9e33b70c4d0fe7794 chash=6a3e89e9987938c26b61a03d41d2794609123414 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/storetp-lemmas.thm pkg.csize=596 pkg.size=2365
file 284b68542f0cbb11abea275f0603e36ac08877e9 chash=52954d89e19b17849eb048159f22159727e1ae83 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/storetp.elf pkg.csize=653 pkg.size=2809
file 2c0b71e50cd994e9ddacf7453923c75784005af5 chash=e0cb2ab7956cc9a35b95b9a2606ea4550fab34ec facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/syntax.elf pkg.csize=251 pkg.size=636
file 3ed861c13f229ffd568d23ba5731f779b0ced315 chash=c661840b249c8b14141f49e51b0e83d4cf470be8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/tp.elf pkg.csize=173 pkg.size=352
file f25f2935a2d760e064ad537185d48b74cd2085ff chash=923d31a4071893700f9953d99609c608cbeb3310 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/val.elf pkg.csize=188 pkg.size=369
file ad980038590d1a3373f831cd6401bbb182a1c327 chash=d47309005d59765c1a7a3a5b8a4cab8421216356 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/weaken.elf pkg.csize=989 pkg.size=6537
file 4382c74aa58ae59330abba66b083121ff6a1b097 chash=5268d0a018ef503d7649576b1247d275bf3b2412 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/alloc-sem/weaken.thm pkg.csize=457 pkg.size=1845
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/arith
file ad0784252a992fa8ea7235b26de208fd571278f5 chash=558975d7a211ed01f25e34daf41bdf765821093a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/arith/README pkg.csize=111 pkg.size=106
file 77eaa81415d8dedab9d31e9bbfc048a217ecc64f chash=a2690a10e4c11bdf69cdc215931f2d81ccc28a9e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/arith/arith.elf pkg.csize=281 pkg.size=602
file 52a7cb193c88196b9a53ec5ec7c83a36c670a46b chash=0a9016ddca9d5588993e879bf0ec6b14e121d36e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/arith/arith.thm pkg.csize=379 pkg.size=1140
file 6e508be3e3d0ee3dc5eeb47e50416c093b8b60f7 chash=13e5b2f174f58479916e6e1f3f776afd069c50f2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/arith/sources.cfg pkg.csize=55 pkg.size=38
file 469c513d370b468833992bc474c1406d4955da31 chash=028f17e86f5984003f7aded7a7218c45a294f4a7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/arith/test.cfg pkg.csize=36 pkg.size=20
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/ccc
file 06ff0edfd481267832a01f2dd5716fc0fc877a34 chash=60f3f016e4e0856ff6377d0ae8fcdeeadb6a3f6d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/README pkg.csize=459 pkg.size=892
file 5113da438abd23ed94668b2fb5571bdfd50ec20e chash=1535fd7399ca27810cadb06527cd4388983798a2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/abs-env.elf pkg.csize=347 pkg.size=745
file 1d5747f4251e4f9d1fef68b37a86509c5faa892e chash=0e389aefea84699d2f2ecaea73f1123ed6042417 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/catlem.elf pkg.csize=363 pkg.size=816
file 8068cf86eae5dc66ce577ea71239462415f67b42 chash=380731a62fe92370397c731b5d014c649cc2e86d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/ccc.elf pkg.csize=542 pkg.size=1343
file 71fd6ceecd71ec662257b672e16ca866778c3e88 chash=ccf1250a2b41883b6809c5a16f650ea91f1031a7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/conc.elf pkg.csize=275 pkg.size=526
file 365ac4746549065b1148f6d0be69a65a02e1c9ac chash=50a4a27ea48f88bc276f4fa732fb3caf7aa51606 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/conc.thm pkg.csize=229 pkg.size=337
file 8dd5a4e263ecb8fe0fb3c6f7ae06c60953b4f725 chash=2f803c931149fe2d0eb91c5f2e2506d0ab344bcf facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/cong.elf pkg.csize=293 pkg.size=707
file 37dff2eba90e80127864680704cf372b51839b3f chash=7285f729d0799e0930e12f767cb3730fa181b4e1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/eqpres1.elf pkg.csize=752 pkg.size=2622
file 79a7f16b57627d6407d2eb70ef966967cad3a7bf chash=c328bdf2bbb457594a81482ac7a413ed1ef11c5c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/eqpres2.elf pkg.csize=723 pkg.size=2227
file 498b652d7674fd8e30184493929c56a7d6aed15c chash=3ef4ce4465fc7c4f6d4d231c750ba769b98aaafb facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/examples.quy pkg.csize=711 pkg.size=1869
file b0414b8216db5f52c5649acc09ab0208c9867243 chash=74ddd4ece7583b52bd4c6efd41ceef0517f0b1ef facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/inv1.elf pkg.csize=655 pkg.size=1908
file 57aa6c0374179d8ff096cc410f344a3cc0250de2 chash=40e2efe1765fda9a71416e708f6bd2f457e0e8f2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/inv2.elf pkg.csize=604 pkg.size=1437
file a2d8632dd04ba9ebd7b7d2d3d86d7b95c41d4864 chash=44e137727f19c9a406c26279c5360ce911a267e5 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/lambda.elf pkg.csize=489 pkg.size=1175
file dec10f1e2bac6f6d108730c9149ab1f6469e1ee7 chash=3fd999b462e6de84257732352dc902cd3efe00b9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/pf.dvi pkg.csize=9646 pkg.size=34256
file 2f3013651c8143d752f657a981686fa4006215a0 chash=9d231c17210e740da9cc07d4d7037b9cb8483fa1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/refl.elf pkg.csize=428 pkg.size=894
file cf489e3c4c0dcaaba6e41702b78314ab51eca0ab chash=30d20db5620893cac40980464c7bb7703efba52a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/sources.cfg pkg.csize=100 pkg.size=135
file 23b817fc361cab374617f62c1527fdcf1581d0d8 chash=a17004b44339ed615db7b9f9814536159dd368fd facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/spass.cfg pkg.csize=30 pkg.size=10
file bd16db69ad28e35f65b9bd384e959c7270756871 chash=189cb19ef3078d4a8d5a0a0c460aca4667e4a882 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/spass.elf pkg.csize=603 pkg.size=1451
file 4a7a01dc96752ea8f7b316042b0c3d6f3c260640 chash=a8fdb363c95a8d07899cda6c50a1d82a61c8b38a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/spass.sml pkg.csize=1391 pkg.size=3452
file f82a6d734e124fde2c7441b35dbd74ada5329b68 chash=a2dc4901f6dae55f9ac1ea1ea30184660f5791a6 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/subext.elf pkg.csize=1252 pkg.size=3947
file 0a1f41e0f8ade9900559ab4e85ff147c2a96d1b8 chash=e3c0b636dfb73785ee5b306c66f18c7350b0c97a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/ccc/test.cfg pkg.csize=111 pkg.size=156
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser
file 49001a554edbf0cbb886d30613e647e33782a512 chash=34a20aac55d505eebac2b91c0d254ca6b2cd0845 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/README pkg.csize=446 pkg.size=726
file 92589322c9766b12830b38ca99c5b8fbf92d6a86 chash=833b0fd1ee01ef19195f5790792ad758cfcb7b54 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/church-rosser.thm pkg.csize=510 pkg.size=1496
file 80d7e94316b58a81df15fdc39d0d328aec1c2aaf chash=1bb0923d6f6849a988420775d8a31bbc50a7121a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/cr.thm pkg.csize=320 pkg.size=821
file c096868895f899cf7f7af54775c85166043c6f86 chash=99786297e394962f409adde765f92c19684fd523 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/equiv.elf pkg.csize=1161 pkg.size=3743
file 457ec7e9d10f0309fe85a44e6a25267b9b9a7422 chash=958b46ce01912cd8fbbb6c19f39d5a6844087eab facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/examples.quy pkg.csize=360 pkg.size=1108
file 17d74b428adba86d7802e2acc925a979ee914039 chash=8bcc7478d37789abdec6a4b39dffed299dfef413 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/lam.elf pkg.csize=123 pkg.size=143
file 857a32188d2e997ac379a5eb8f312b07658735d8 chash=4d9c635232b432872dc3a2dbd0d5fa227a05a089 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/ord-cr.elf pkg.csize=272 pkg.size=485
file 8a07a3e4dbe2d4c9a8c442f3ec1470032453742d chash=1a03e057fdbc55de87cd5fe4b860407f19f9f506 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/ord-lemmas.elf pkg.csize=692 pkg.size=2030
file 9f3ac08e46c28199c1178ca9532163a27e58394a chash=fee54b5f0ef3e7faea703d1e331a1000e433ac5d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/ord-red.elf pkg.csize=418 pkg.size=953
file 8e01df661498bc10cbf85a5b60db233d22095663 chash=56a227485d92251d78b4e43147c1dff6d4bb0373 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/par-cr.elf pkg.csize=1351 pkg.size=5282
file 961ff16f344e32b58077ead8b661eb72085ce993 chash=08fafeda0612d42cb55cb27f6cbf546edf1954a8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/par-lemmas.elf pkg.csize=441 pkg.size=941
file e6d53fa479eb9ad2481bbb83bd38a6b01f49e191 chash=7605c5bcbdb37e8772b0aa1efa2bdf535c03ed84 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/par-red.elf pkg.csize=377 pkg.size=979
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/simplified
file 80ef6dd52684b9f0b414be163255c22f6310e6b1 chash=b52307499ad68bdcacf07aa09ed961401e00aee3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/simplified/par-cr.elf pkg.csize=1341 pkg.size=4684
file 5e843670b9b8bc40f94f3c0c7c860b759ad3bbeb chash=76870c5839193785fe8512dceac7ce6c99d2ee47 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/simplified/sources.cfg pkg.csize=74 pkg.size=115
file b02b5303fe9af74cc0cc8d621072f69924ed9886 chash=34f8f28d77846758614cc64dedfaf557c3f9ae7a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/sources.cfg pkg.csize=64 pkg.size=94
file 32c7e83da98dd85e11adf11652068f96d625bbf6 chash=fd328e52a1abb6bb59db8d99b6c6dceb1543896f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/test-unsafe.cfg pkg.csize=99 pkg.size=135
file ec4a0d276c8c2f1f4ca243ced8ec11fd8fd564f7 chash=c68a127990982d404eff38c51c702ffb802b2c9d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/test.cfg pkg.csize=78 pkg.size=108
file acc4121cce7c5203392a2871dcc2e6228c3f5175 chash=0b14a97613448bf7770902eb7a7cf0b7f16624ce facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/church-rosser/test.tag pkg.csize=838 pkg.size=1664
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/compile
file df8a1c638ff74995e83a4b5d69b831b64b5fb0b3 chash=28c54ea2ba23a85071490858582868128ea8659b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/README pkg.csize=213 pkg.size=353
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/compile/cls
file ba497eae3072c6aa7a0c2d200d3149e031eafdbe chash=576954c9bfb2194c84fa08a038183f450590b361 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cls/cls-complete.elf pkg.csize=951 pkg.size=2924
file 4c73aa613de853c2e8d3f16e190db47b4f62ae4c chash=73c560aeffed8e284bfb141237d52f6865f45f85 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cls/cls-sound.elf pkg.csize=1253 pkg.size=3896
file bf4db526b4a0a17dfcb07170ec8c02ffc348fbc2 chash=f83ddcbe156e7142abd14310878c83dacb0f557e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cls/cls.elf pkg.csize=312 pkg.size=653
file 3c6fd2377be39a07fc11f1628aa028431c387f0d chash=6a673c3be03b9a45879316ed6be6989d6c8aa790 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cls/compute.elf pkg.csize=958 pkg.size=3097
file 43d7ae4bf816dcd3b738921bf7e72121922c5964 chash=ebd316ef8de086ad7de425a36d1e67af1979493b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cls/debruijn.elf pkg.csize=327 pkg.size=785
file 5297af36624e94e39ca5986a9d50da54bab92d94 chash=1061e5a5dde27fd4837637cdbd8a231be352c5af facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cls/examples.quy pkg.csize=628 pkg.size=2528
file 7a2dc66e806dcb6c729fe89f84b61fbab54e285d chash=eec44b65b9e75a756324c1540e014f7749922422 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cls/feval.elf pkg.csize=482 pkg.size=1296
file ab9210a136a510d860b1753bbcea1131786366b5 chash=9d6f8a2cb91f475f76ca6e030fb48c10d15341e7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cls/mini-ml.elf pkg.csize=196 pkg.size=417
file 0f9e9fadff45a62a8e7998364848465dcf1db842 chash=0199b4b9415be22fe51fc11df19e5d12052c83eb facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cls/slow.quy pkg.csize=641 pkg.size=3625
file 6a702365b67ecc65571d078f16c2eb5a38a061bc chash=694069547ae5da94280151ca98920f886f2d621a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cls/sources.cfg pkg.csize=80 pkg.size=96
file 4fbe1e570e168a894e406d34cf225de735aac921 chash=827e845d7d1491b4e7adb3cc8f0f0053d69ca610 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cls/test.cfg pkg.csize=90 pkg.size=109
file 7a6216fa33790c9e0154ca8edee2b37e1be3bdb6 chash=41281c6b4d1e6eb0b409869d6bd8c188c432682c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cls/trans.elf pkg.csize=657 pkg.size=1851
file 7a6216fa33790c9e0154ca8edee2b37e1be3bdb6 chash=41281c6b4d1e6eb0b409869d6bd8c188c432682c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cls/trans2.elf pkg.csize=657 pkg.size=1851
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/compile/cpm
file 3b04de34f97298cc46f4c786eef7b85a81d71709 chash=cef8027ce2fb7bd4131e1a94bcab7d3e7e148a0b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cpm/ceval-complete.elf pkg.csize=1011 pkg.size=2714
file 193c7209a6cb530f5f401dc245148e0769a904da chash=383269f12e9304a597a943990133f024efefae24 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cpm/ceval-complete.thm pkg.csize=291 pkg.size=510
file 52790af2c9f3fc0225c6759d812052350389e4fe chash=6da350d47a2f3abad0fe9c1ca24c00b1a4811994 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cpm/ceval-sound.elf pkg.csize=787 pkg.size=2175
file f42ef8d3879f19e62a65143fa81bd1c8bbeb09a8 chash=fdbf3defb3176b31df21bb83cc56c6bf4591c1a0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cpm/ceval.elf pkg.csize=736 pkg.size=1927
file 9fde6f86509d55759d4cf98a6eed6991c62446d6 chash=c8418f7281a793d48cd33f5c53b7685ada919c1d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cpm/cpm.elf pkg.csize=270 pkg.size=567
file e0464a420b3b430d38a8e7e3f78866032e1aabb5 chash=8c33d6bf4381f9eb81c9ff101d83f720022faacd facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cpm/evalv.elf pkg.csize=431 pkg.size=1040
file 95b912a21bbfdeb3b440560bd228518aa0ea3c52 chash=0362c4c8a636c7cb8ceb2f8739a1356f9af5d563 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cpm/examples.quy pkg.csize=713 pkg.size=4379
file 4066feff7fefd641ee9a3cf4a6f37c25146d61e8 chash=cd2f3dac8e6293ff37d1ec4efc3ee637b8b31cb2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cpm/mini-mlv.elf pkg.csize=246 pkg.size=569
file f055dff892ca5adf6dd572a0783f6bb88bcea896 chash=86b7941966238c40720d88cc7af0f5d0f9c4bf5d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cpm/proof-equiv.elf pkg.csize=492 pkg.size=1337
file 3b3e1a6adca6cbf672c67dabf34bc6195de98151 chash=ff2e5e7bbe9bd7f2a7560e45eb7a5145a10e5758 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cpm/proof-equiv.thm pkg.csize=341 pkg.size=832
file 827d0d08544dd6338b9f961aa14e101177d7dc34 chash=1ebc5f066f8db3f5fc5510e93bacf9e13bc5f698 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cpm/slow.quy pkg.csize=564 pkg.size=5370
file 6fbce8a318e5fd5947d956ac7b422fd1c72e3878 chash=59397883c0830aaa091da6b6dce50072b1156e7d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cpm/sources.cfg pkg.csize=77 pkg.size=93
file 4a7f4a89c48d94ba5aebc5cc7b803afd3a47baec chash=617fde66ad6fa211aa85ec9535786d35537ec2fd facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cpm/test.cfg pkg.csize=95 pkg.size=140
file 51b7467c7bb2d7fdc8e3ef3b6c7e74cc57640dd1 chash=b2844766663a6f530b22dcef332ca92c8a3ce1d3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cpm/theorems.elf pkg.csize=273 pkg.size=513
file ce5e3eff49436e1199a5f21841872f2d4b3b80da chash=bbb603ee150f1f4872180d20a4a09b84c5a9968f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cpm/theorems.thm pkg.csize=361 pkg.size=868
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/compile/cps
file 6c06bc510d51bc98c82de829af559d1f00e20076 chash=b0e4ab56b67670374066d0d37645de3c613950d3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cps/cps-eval.elf pkg.csize=229 pkg.size=458
file 1d8cc8fab44b591cdc405ef8b6a97bfbcebc8b3a chash=ee1e18f095dfcc2969cba10b3aeee032e0bfb4ce facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cps/cps.elf pkg.csize=234 pkg.size=580
file 6fde7a12a79ea203957d8a055e7145e74fcef602 chash=6ee8cdc15b93b9a5849de268f6df28345572ec5b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cps/examples.quy pkg.csize=197 pkg.size=465
file ab9210a136a510d860b1753bbcea1131786366b5 chash=9d6f8a2cb91f475f76ca6e030fb48c10d15341e7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cps/mini-ml.elf pkg.csize=196 pkg.size=417
file 6ae621636f18df7cefbda169292bc202813b4824 chash=4145c5567ed7ab90f567ef875cd60219fc69df33 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cps/ml-cps.elf pkg.csize=447 pkg.size=1101
file 536e20c0e5c25045347e41f3cd00e2a7ae5e0d7f chash=0d9c1ce46e5eef3a6653c7764b295f9292f6cc4a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cps/sources.cfg pkg.csize=49 pkg.size=44
file 83949d6f4c5ae733af966c6d33537e8d838079af chash=81ba20cad0528435a0f2f72234beb0bc24d0826e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cps/test.cfg pkg.csize=62 pkg.size=57
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/compile/cxm
file e0464a420b3b430d38a8e7e3f78866032e1aabb5 chash=8c33d6bf4381f9eb81c9ff101d83f720022faacd facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cxm/evalv.elf pkg.csize=431 pkg.size=1040
file b8f2264427291576b4bce1522024939fbda32131 chash=882889de96a4b71ea106650dad0327f6fbbf0f08 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cxm/examples.quy pkg.csize=123 pkg.size=169
file 4066feff7fefd641ee9a3cf4a6f37c25146d61e8 chash=cd2f3dac8e6293ff37d1ec4efc3ee637b8b31cb2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cxm/mini-mlv.elf pkg.csize=246 pkg.size=569
file 2e390dc36acace74e31b0becff9fc9534e3dfdb7 chash=b0913672edefc19a450390144a1242051e82e1b8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cxm/sources.cfg pkg.csize=42 pkg.size=33
file c7e5b23f60daae930159a29dccd708126a0c324e chash=f854b90805d5f887c41a68c1729fe8e5070d3930 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cxm/test.cfg pkg.csize=54 pkg.size=46
file d18fe3f9854f1035ebe123c71f13c1f0c90fd31a chash=e9e022cc2e65aa7efa016d903a657e62c34723ad facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/cxm/xeval.elf pkg.csize=851 pkg.size=2444
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn
file 43d7ae4bf816dcd3b738921bf7e72121922c5964 chash=ebd316ef8de086ad7de425a36d1e67af1979493b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn/debruijn.elf pkg.csize=327 pkg.size=785
file 4ad8f50a3e8f27940931784f79f0fe589721054c chash=f6707f10f3f94e4478e2a8a00bd5e5de48de3e52 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn/eval.elf pkg.csize=385 pkg.size=953
file 7e52e276dab6f52e9c9a7ff6068ade64f2e34393 chash=1db048fd9acef67d8f16e685a97449925ebe6784 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn/examples.quy pkg.csize=682 pkg.size=2539
file 5d56b4e99d4846ff5b1f14450b0e5b012384d3ec chash=eea697d5198a662a7b866d2c5635bd2dc4e5c22a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn/feval.elf pkg.csize=471 pkg.size=1274
file 0daf16a8e1035dae94c8381c1d850b46dd7661bb chash=fde9d5ef735c5061eef7200ccccd49f542290c90 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn/map-eval.elf pkg.csize=974 pkg.size=4499
file ab9210a136a510d860b1753bbcea1131786366b5 chash=9d6f8a2cb91f475f76ca6e030fb48c10d15341e7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn/mini-ml.elf pkg.csize=196 pkg.size=417
file 04d9f15257aa70d470445f3355853f99884f1948 chash=6cf28f35f50b0995fa52b192a087c3ba86b57770 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn/sources.cfg pkg.csize=78 pkg.size=92
file 6402a3a2c44a65560d1ae5323d6f4037e7955803 chash=91ed5974368eca03e467aa46c7979e530459dd2a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn/test.cfg pkg.csize=89 pkg.size=105
file 75920f74010f8b148bf33f710aab178f18b7070e chash=6fa3cf76bbee032715e181ec936a61eaa2883499 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn/trans.elf pkg.csize=799 pkg.size=2167
file 9569bbfd48a774d0467969da56b5666f1813267c chash=4c3e91ec0cfbe083eb08aec9832151fc3e159648 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn/val-lemmas.elf pkg.csize=367 pkg.size=930
file 55dfed8c4c1e5aa7032132de35c097b3c406e3c8 chash=e93a58e4bd98cbdb490cb5ecf6d88a995b177f9f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn/value.elf pkg.csize=181 pkg.size=277
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn1
file 9900699e66f993bbfe33c8842977a9fd579c90a1 chash=c19646b304b584f541047bdf800443fa0d43ed6b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn1/debruijn.elf pkg.csize=289 pkg.size=495
file 92e65b1c4914d2194631da0b664658ca916549da chash=eaa65b765972784e752bcc10dd2ce9602972f29e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn1/eval.elf pkg.csize=234 pkg.size=327
file 8a93e60f2e4056a97f49d017a0e27c429a9ef8d9 chash=dd93e0acf44351f9a39fca00c86402d2e68d2a2a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn1/examples.quy pkg.csize=145 pkg.size=250
file 2585220669fdb1a9f65cac72571c566a659418cf chash=73a3d317f8a9722e3f35a7c04335611eaeb67a62 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn1/feval.elf pkg.csize=288 pkg.size=464
file 386c74cd07a53fbfec2fed6882bfaf0cdb394592 chash=9a0fac321a042bb43e84f46dec79e881be3ddb6a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn1/map-eval.elf pkg.csize=344 pkg.size=676
file 60801899304bcfb885501d05bc413162c880fc96 chash=e866bacf6327e3666764f045bf826ec543b43257 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn1/mini-ml.elf pkg.csize=179 pkg.size=220
file bb8e248a717d1de073582f67439674bf1d3f4b2d chash=72999e5369469f9e3ee1da459c67cabe449b77d5 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn1/sources.cfg pkg.csize=62 pkg.size=67
file ace79dce1c1e851e74fb81d926ed1014ccc79c83 chash=90ba2b210827f9b25858e2d97f544fb51f91052c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn1/test.cfg pkg.csize=74 pkg.size=80
file f4f088599fac276f4affc47dfb8bcc76119eb94e chash=ac0481e2f864e4cc90fb029a5eef1f9aa765df65 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/compile/debruijn1/trans.elf pkg.csize=361 pkg.size=657
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc
file 077a02bb7ea0609ecfacb57775172a5c1d37a9e6 chash=2e2c99cb91fe52e8d054522489dcf6744629a60e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/NOTES pkg.csize=166 pkg.size=191
file ec3473e85e7e1886a075aa5073425e6d188d559e chash=7b0243ffba76891caa7ad9ff05ee57d48d79dd17 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/READ.ME pkg.csize=683 pkg.size=2117
file dc0a228aff8403b0f018cde4f6360edb7f2d41c0 chash=6827a032671455da05803d1784ca8d1b555f781c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/corr.elf pkg.csize=226 pkg.size=628
file 927e2b96ed22f39e638698a36b839128a0d643af chash=1be7bd8ebcfcb1550b564f2a60482eff4a74fcab facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/cpsBNF.elf pkg.csize=202 pkg.size=463
file b10a34f88f2bad8bf40ff26ad014e4d66627e540 chash=68f1e51e244b29b243c4c962f122ff7ee5d808f8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/def1+5+fig4.elf pkg.csize=424 pkg.size=1219
file 34ee535b5fac3aab6656544d5b6f1c9da36bb05d chash=7c8d9c1478b375437b3cc15c2b55a95a60c8709e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/def13.elf pkg.csize=398 pkg.size=1397
file 9ccde3dffc5fbfd6464a1e82e1eab93acb9ccabf chash=6966e0beee788560d2640253c5690a9f5c375220 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/def16.elf pkg.csize=313 pkg.size=1078
file 9752e7f7b09aab4ebae5424bfa127f5a0cab400d chash=34daa668da4e555b16fadd38f17c0fcc64bd41c5 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/def3+6+fig5.elf pkg.csize=578 pkg.size=1704
file 6b2f30ca68f27a658fd96a61c9bcb396d6c10be1 chash=494c2471d834f5d8fff61490842a9ad0c9ed52ea facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/dsBNF.elf pkg.csize=170 pkg.size=352
file be5693190da9f275bed6fcc44d1dcb1ba0ff7f51 chash=78112c6431720785fdd6dba2a0073935cea4cd4e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/examples.quy pkg.csize=5067 pkg.size=82699
file 1d033f541d3b4866e97e6f083d95135161444450 chash=daf05f13117c41b9d4fd3d81bf51d9e59c545345 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/fig1.elf pkg.csize=418 pkg.size=968
file ea77980c256a195a6a53cb285c79df0f9c30e719 chash=5bf5393232b97eea2e88301c123fafb50d8969d1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/fig10.elf pkg.csize=427 pkg.size=1177
file 55e9402c1995bcdf654826eb635c77fef02dc04f chash=65c75e7138a2cf5c0532783cb1d201ef60b0cf7c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/fig11.elf pkg.csize=153 pkg.size=305
file e708965d41cb01c26dd6a1010126142a91ecab9a chash=4501362edf3fc6d072ec806a20726b6a71f02578 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/fig12.elf pkg.csize=588 pkg.size=2578
file 4b8431661c6d5db56d06081a2f175df59d511c6c chash=2c9185558e5fed3ad605ad0a0d47387b7759b419 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/fig13.elf pkg.csize=133 pkg.size=264
file 97c94407a37586f46d593d14af5b28bb8db11fc1 chash=bb61cc35a2b7d87d875d7b13a16d8fe3f6026842 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/fig7.elf pkg.csize=302 pkg.size=772
file 56bb3d3224802aa326d3780b50958318a4f9c942 chash=51f3984a11a81e3e5088f1bbb3775805373fad6f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/fig8.elf pkg.csize=439 pkg.size=1414
file 2deb8dc28bfca43103065ff4a429383d45aa1143 chash=ece9951ea31d695186e83635a26e86730787b402 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/fig9.elf pkg.csize=216 pkg.size=438
file a15972c24c5c95df47d2567b4e46b53557d309ad chash=f3a6aab9f2e0ab6d375a8a4df20b028c6b6f7210 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/lemma14.elf pkg.csize=466 pkg.size=2784
file 3330cd9537900e6a956345a947dd5b644d0f608b chash=2e5322aafc135f57c59301fe3414ed89d9299338 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/lemma17.elf pkg.csize=3327 pkg.size=31468
file a7c8db0acb38aaee969040e4d7fc7e690bad9df0 chash=0ae7a126a1d44e415d47690ad8ebc741b124114b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/lemma7.elf pkg.csize=372 pkg.size=1439
file 504cfb58a743b91af32cfef5a8356b01d82210fc chash=9a66b680f60f841952f278ef2369363f923c4d06 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/lemma9.elf pkg.csize=1408 pkg.size=7099
file 0dba7b067bbde2c550bcec1a81b24a5b8196977c chash=4b5aa90d424235da5e0a549087061f1637c4d207 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/load.sml pkg.csize=175 pkg.size=687
file e41f9dbebbe9ec1082424babb9dc8d2ca0c52279 chash=1954a822d1f33758d320b89109077e790bf64fb0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/sources.cfg pkg.csize=133 pkg.size=269
file 4f3094d251b3ee7d2f2827ccdab523212c13062b chash=a98dfa655fbb47822c7675a15ce53e596e07ff13 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/test.cfg pkg.csize=135 pkg.size=264
file 456890788e6aeb9f04a3e5e61961568fad420212 chash=ee7fa46182977a6f9059012c73be574e92331f3f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/test.quy pkg.csize=1302 pkg.size=10782
file e85a9a7c68d73b05d4814a129991519046fedd66 chash=e4d46677a99c66d7ef3f0284c4754af358695b82 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/th10.elf pkg.csize=605 pkg.size=2151
file adfa352bdd1fae4566dfc97b1ee5f0a790803e96 chash=7cbecb6eb7687534b5899476c2c2fa1ab6c27d92 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/th15.elf pkg.csize=683 pkg.size=4563
file 9c59039a5e8c4379da297ece5147c5a6dc9b8b25 chash=34c7d47ff24368264063d30ce559883f3d64f025 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/th18.elf pkg.csize=1314 pkg.size=6983
file fcc14efce9b8eab15b251c30d242d03144c99441 chash=8ce4d2ee3ef77bd01a0f84a92d4a39d223c93975 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/th2.elf pkg.csize=545 pkg.size=1562
file 76d9ac2aec31f892e54c8b3dd3d4d292171f3d76 chash=d0977a42b568101daa109ee8959d8aa181e3ef29 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/th4.elf pkg.csize=703 pkg.size=3190
file 1aadc03f2b18843de7287ba494282381a91b0de3 chash=bee614d39e083e9d2abb36a2c3d662a921377128 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cpsocc/th8.elf pkg.csize=347 pkg.size=946
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim
file 318b52ccf095db301ad4dc153a1e9bc1b280134b chash=21fcc97ceee739f55e56147b93c24f33f645e7c4 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim/README pkg.csize=681 pkg.size=1349
file 1e47da2b6d0973b6cdd36bc47ae0dfd4e2479247 chash=b4760d35eefe7bb7c9fe6352638f3cf291bfe5ad facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim/cl-admit.elf pkg.csize=1426 pkg.size=6961
file 902b1bbadd7dd1e7ae130b18cde51cd03464767a chash=5f8422d91afdb0ac7ab3127c3431fdad525b2520 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim/cl-cut.elf pkg.csize=359 pkg.size=1101
file 5557442b478081ab82ece57a89166821367a87e8 chash=ebadabf82a0e6e279f1490bacc2a0cd0c6b36a46 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim/cl-elim.elf pkg.csize=623 pkg.size=1824
file f2077f1568d12274c907158144f73afff0e4f2f9 chash=8d580d782840bbe8c2bf37840aa904421f3cd656 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim/cl.elf pkg.csize=392 pkg.size=1153
file 4e315825b88c6ffc2cd464ae10dcb8d0bb1dd600 chash=6353967fb34fd7f2f83d89c730c931a24ae6c71e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim/cl.thm pkg.csize=91 pkg.size=99
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim/cover
file 8abe50bea18e72c9f05b84d056a3e6cb0bd5fd02 chash=e0543acb8f45f7989fffa36e2e9623b7a8716d4f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim/cover/example.d pkg.csize=359 pkg.size=1077
file 1329cecd4da724be658e1faed6f634191702dbae chash=9d9fdbb5e075377372f17b0a01717c1587cbd6be facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim/examples.quy pkg.csize=814 pkg.size=2462
file 605a6c5b2d7d430eec2c2b9d519b332ca4aaf1a8 chash=f792a5be2713ab122aaca11c35651070fff4a4b5 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim/formulas.elf pkg.csize=273 pkg.size=508
file c82811532c7d66e0fc662bc2e4535c765d7046cd chash=c370c1de35b3a4c8036955ca0e1092aff095bc9e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim/int-admit.elf pkg.csize=1220 pkg.size=4831
file a5c5d6976d74f93d0399bfe4e2178525facc5199 chash=ada668ade20067cf2f75313371464623bf052e9e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim/int-cut.elf pkg.csize=390 pkg.size=1138
file a975c191b11731551d02a96a8a404d353e5ebf6d chash=4a620b8e95e54d4a6f743986d0e3f07754f388e6 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim/int-elim.elf pkg.csize=561 pkg.size=1637
file 33a713bd0fb9985cba975d3c6b289b7f2b02888e chash=85713a1a2f2895ebe952381ecbc55a175f06c3e3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim/int.elf pkg.csize=382 pkg.size=1059
file dcc866a0a05b03249dce53f5f0b0cebe60d8bec7 chash=59faaee85d8c31d16ab5c36a6ba609816b58a034 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim/int.thm pkg.csize=89 pkg.size=97
file 001452687009fb50baef1266841591784d30a0f8 chash=6058931b67584c75bb678bf54ecb41c98431eead facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim/sources.cfg pkg.csize=80 pkg.size=116
file 061243a8bb204804b2e6b89b3b1cbed1c4bb5273 chash=2caf25037b1b77727633664a3d01d0b5e92bb2b7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/cut-elim/test.cfg pkg.csize=88 pkg.size=131
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/fj
file cf0b01296cee6301bc1a45bd99388a99f31ead6c chash=e554479fe54762ee52589a0a1123c24264ddd69f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/fj/README.txt pkg.csize=201 pkg.size=250
file 8e9a12849ce7d4dde0416e73a7687e21a750b637 chash=bcab3162f639fd095df080e4203e45b5ffe46947 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/fj/aux-lemma-prog.elf pkg.csize=5073 pkg.size=22069
file 3dfe30d01446054a120c79090ecd1774e762b494 chash=33f7839ec314ae858c220c259f423c1a79ce606d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/fj/aux-lemma.elf pkg.csize=10241 pkg.size=44118
file 0751e65b750755e6c12cdc8951cd962def2c8b1c chash=7ce16bfeebfab235278ceb6a8b598df614db463e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/fj/false.elf pkg.csize=250 pkg.size=325
file 53ff6cfda941d6b06f4fde31c3c6f82f1270eb8f chash=929b553df4409a78de9f67047717218f39ef40b9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/fj/fj.elf pkg.csize=5165 pkg.size=20552
file f3cf60454ad582c0d1159c386b5a17d33a017155 chash=1242eba69d134668bcc401d347766bbc4c5dd565 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/fj/nat.elf pkg.csize=2673 pkg.size=10523
file c5c5cf67045b99c8143c100a30fe27950f4d2cc2 chash=b34fd1ea610cd366a71cc9f79b51ff3194577a65 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/fj/pres.elf pkg.csize=1380 pkg.size=4276
file f2bc9c708836a094d60b36d970f41fd7a830784b chash=e947c9009cd52b67c32950f9c57dfe46beaed056 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/fj/progress.elf pkg.csize=1862 pkg.size=7967
file 2d1878713fb31a3b6826c3782f5de3b9628fb90a chash=f573ce6485b90b3ef6a34651725247ba453d1c0f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/fj/sources.cfg pkg.csize=163 pkg.size=281
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/fol
file ec9428c5525101b08ab3dbc37c6be687260a2e72 chash=f76037dd63fd80b4767230b3f719b7e894908ed5 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/fol/README pkg.csize=83 pkg.size=65
file a5eb44996699f79ae291101aa8648fde1da1c4c0 chash=920540ec434fc460ab5d25e2742a13335bd195e9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/fol/fol.elf pkg.csize=347 pkg.size=645
file d7ded12f8d7407fb276b3e2dcf9704fbf40e2c1d chash=d0bb2911102409967b8a6fbe96e579b94f11db5b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/fol/fol.thm pkg.csize=311 pkg.size=852
file 087dda4762dd2c074926c5ab7ad9251a8bc55171 chash=c8dfd5e3e9d82deaa8678811feb0abc2427a6734 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/fol/sources.cfg pkg.csize=28 pkg.size=8
file ad9ef23fad199272b1cc26b0c70f215df305c0dd chash=27447bb41cba5035e4cf1800c14256b0761d962c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/fol/test.cfg pkg.csize=34 pkg.size=16
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/guide
file f44d831e446aee94debb50ed30feed12ee46b8db chash=16ca74035596b1dd407b44e9a32247d8f774c287 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/guide/arith.elf pkg.csize=683 pkg.size=2025
file 02914c96466ecd283f1b43fd7a8a180e299eab7b chash=8d4a6769fd51f851dcce9fae73fcb1040b8e92ca facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/guide/lam.elf pkg.csize=1286 pkg.size=3556
file cb57a8d535d7bcf6bfbe6bcf39cfb28516705710 chash=02b3caaa7e36224c598a605a56ffab0294abf587 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/guide/lists.elf pkg.csize=221 pkg.size=397
file dd3ece64a98ac76e1a8de885b50d95727eb16d35 chash=d839378d1c8eab61f4f0167f61040cfb38f31dbc facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/guide/nd.elf pkg.csize=719 pkg.size=1832
file 0be88d19496e8cde9c881785e89b972e06f448e0 chash=c9d3029e9df568467447188fcd1ab73fa12e0727 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/guide/sources.cfg pkg.csize=71 pkg.size=60
file d4721b7c3c540b845cdc494138e6753df05c6b1d chash=7aed26950f9795274ddd98f0ceb9745c9083dce7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/guide/test.cfg pkg.csize=78 pkg.size=70
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/handbook
file 5d2d7f40e95ff88ef79c35f944ea454e9077aadb chash=05f5fecff3ad121674b5cb4fefb7dfb500d8427b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/handbook/README pkg.csize=305 pkg.size=473
file 711e890bd9c96dd84e682265682db597124cbabf chash=bdc97b92409d5f04734f3efb52bd3d3c8e8049c4 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/handbook/fol.elf pkg.csize=1768 pkg.size=5377
file 087dda4762dd2c074926c5ab7ad9251a8bc55171 chash=c8dfd5e3e9d82deaa8678811feb0abc2427a6734 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/handbook/sources.cfg pkg.csize=28 pkg.size=8
file 087dda4762dd2c074926c5ab7ad9251a8bc55171 chash=c8dfd5e3e9d82deaa8678811feb0abc2427a6734 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/handbook/test.cfg pkg.csize=28 pkg.size=8
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/incll
file b26585cbf4c9ed503d4d896f7ef6feac6301e7f6 chash=19d014ec017ae09c988838a7dfda5a49649855e3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/README pkg.csize=307 pkg.size=441
file d2616e7237f5993178c51912e66b3bf60c473cac chash=78c423ff5f6cc1edc0119524ad522e02921cf921 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/bff-incll.elf pkg.csize=314 pkg.size=646
file 61b8d97af40116446bc295b03e4828ffd61f3fc0 chash=d97e674f06fad28006b4d9aec77444027e5e3c83 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/bff-incll.quy pkg.csize=118 pkg.size=241
file 501d904adb15671aeca6c22be6b2f545387db487 chash=6645fc53b796f37835877dd8093d63d0521d4e28 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/cpm-incll.elf pkg.csize=788 pkg.size=2461
file ccc00a04d4deda210b4d2b3110ee11a108684e8c chash=4cb2d25d80f37aa3983841b0c686906a4db4c9ef facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/cpm-incll.quy pkg.csize=482 pkg.size=1635
file 3427c37e548f22f7471f82ae33df63180015ec42 chash=6d7624e653d6c3843ae676b884513678771e607b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/incll.elf pkg.csize=409 pkg.size=1074
file e59e857f8b4037ddd03e8359d5bca866ee606cea chash=78c79087522560b5f1a581c11d3f3b17437b99a5 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/iosequents.elf pkg.csize=839 pkg.size=3393
file 3767c801802118fd7cb0a9d7d5ca5ee04ae14b1f chash=8b8f76ccce4d886e427bc1095ccffea65fb4f940 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/lists-incll.elf pkg.csize=331 pkg.size=1140
file 9b33d2f6f08341ef95840765ba0fc29a16f699f7 chash=5fac6fd9f90fbf48743b9e771cc631f36a1ebaf5 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/lists-incll.quy pkg.csize=91 pkg.size=275
file af6967cd02210370a6580506570da5e852a86279 chash=c3cdac93ba3e7575c5306d96ae3208f311fd3fc2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/lists.elf pkg.csize=716 pkg.size=2234
file bb21051d884c8eaf3712c1a402065b1fee8e1e1d chash=a84236d57c7f33400ff917ac577851c58375a055 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/parse-incll.elf pkg.csize=649 pkg.size=1801
file bd02307614b5b94dec675bc972350172071096ef chash=48ac488ee6026a22ab6a25323e045681a26746b8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/parse-incll.quy pkg.csize=254 pkg.size=1260
file b3f5d2c5a1e8c70b18f4d451e1ba91b3ec1f1873 chash=10d5d7a5d121eff3787f5d9b6795b9ab8eaa2280 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/parse-lolli.elf pkg.csize=972 pkg.size=3705
file 7de3f4892025ccefc74708c397cd1b9e96b70f9f chash=de9278609921a1b03bd6a5d5dca0c59bd6dd0f46 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/parse-lolli.quy pkg.csize=162 pkg.size=739
file 58b466375639128290d1a857e281523dc8848648 chash=ba7b4a570988721d87f0f3eee189d05c0977af81 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/pre-incll.elf pkg.csize=375 pkg.size=1096
file 3cd06bd58e6bf5609df4009cf2d8ebf7fe11c3f0 chash=908a1d559b31de2cf6c9642867eb273882fb1a52 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/pre-incll.quy pkg.csize=157 pkg.size=370
file 1fc14f1e5b4e33416de564bb9a7552f981f6bdec chash=6cfac8b861e3bb11f8c77fed3c5f301bb4af522e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/search-incll.elf pkg.csize=1294 pkg.size=5621
file d5cda36d5df02eb5a4ff023b0716924a9eeff3bc chash=d80fdbad407a9bc2e0e18d80545bb933bffee62c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/search-incll.quy pkg.csize=152 pkg.size=440
file 9a56044e196f329e833932062627019a1dee0e25 chash=28f1b2197830098d05956479fe58de9fdfee5418 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/sort-incll.elf pkg.csize=431 pkg.size=1194
file 09a075115c17c1fc8cb380796ddf1133b29e608f chash=f78d01ffb1522c3a8ec81106f34129f96c41ac51 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/sort-incll.quy pkg.csize=136 pkg.size=371
file 8f33dfda8cf90f37f402e2aca81bd90fe32c607c chash=bfe9bebd8727f058c6a07f8460bfe494604a290f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/sources.cfg pkg.csize=133 pkg.size=203
file db0f1be0cd08d9d05210af11ccde07b6c233391a chash=d26756abff5c517670107cab7ba35d1fffe9e7a2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/incll/test.cfg pkg.csize=168 pkg.size=347
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/js4
file 367958083da291b6a189e467b7219097ee85ed65 chash=8cba63dd446554ee4f420bd6d256f327f24ad6c2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/js4/js4.elf pkg.csize=1351 pkg.size=3800
file 16dc0b5a8c7c5e96164f2b8c8976e934e0de5ea3 chash=b2b6bcc9bb837aa7299f8c3de54602c21d2036e2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/js4/sources.cfg pkg.csize=28 pkg.size=8
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/kolm
file ae8d377a0b9dac121ef9bdcfdebf0f9d87bf9a6c chash=d95221f6a98836b0094e5b1d2b087ff1e3e53c78 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/kolm/README pkg.csize=253 pkg.size=388
file a23a6b183f47056f2d344ecb042850124c0a0c28 chash=a84347ae99f48de7a2aa4f52c022419991e971ae facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/kolm/complete.elf pkg.csize=1587 pkg.size=6048
file cdc53ff1cfdb4ce1a7b6cea7ddb07292dba364d6 chash=c74722e9c6272fca734c46308108959c433b7ca7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/kolm/examples.quy pkg.csize=3276 pkg.size=21927
file 3018baee5e1806cbf024ad73ccabe1895da7fa21 chash=de6a996bca568ee38f359d111359e2e55fd98aa8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/kolm/fol.elf pkg.csize=191 pkg.size=341
file 0048bcfce8dfb947d80dc7df1d3ec51991782c50 chash=680a1ac8fc5acd1cbce14790f673c16442b1c096 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/kolm/kolmtrans.elf pkg.csize=897 pkg.size=2846
file 89a41dd354e5e11793bc86f7a452cf0d4f20682a chash=02beb0cf79510745a6692d6262396169b29f369f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/kolm/nj.elf pkg.csize=813 pkg.size=2690
file 610a8e682e248d1e65bab26be54ff2f380e01f34 chash=aa25b4965efa6368e09818f80b3ef2c1c4654375 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/kolm/nk.elf pkg.csize=521 pkg.size=1276
file 939d44f4fe100ba1a9d138a1830abefbd2b3b582 chash=b3579b1e63cc96e380368a2cf7dc93a4bc1a5787 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/kolm/report.ps pkg.csize=84883 pkg.size=224783
file de53e34095d6a5cc351305badc4db814ce8555e0 chash=93eb8f4e92b71b075bfafd593620e87ad1c69913 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/kolm/sound.elf pkg.csize=2273 pkg.size=7955
file aaa323bf79cdf4a64db503a65dadd4eff4fcd0b5 chash=b6608c98128e38797891cbdba609bc772107a8f6 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/kolm/sources.cfg pkg.csize=61 pkg.size=59
file aaa323bf79cdf4a64db503a65dadd4eff4fcd0b5 chash=b6608c98128e38797891cbdba609bc772107a8f6 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/kolm/test.cfg pkg.csize=61 pkg.size=59
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/lp
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/lp-horn
file b9e2eb30798f51a49e9c59f2f77a69d4e4471c43 chash=fbd6f9188bdb61c94b0e5b39ea217fb93bd25fdb facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp-horn/canon.elf pkg.csize=355 pkg.size=753
file 5d638a7fcdd9f06919e3c143e6826a3f420747a0 chash=2798533585b4a8d23b86d5ebb7eb4a4f80630e97 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp-horn/conv.elf pkg.csize=535 pkg.size=1534
file 7125980517afb77ea554f4a6f7933e4027545c96 chash=e5246e57f5ff995ac298e346c1c7332a0fe299eb facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp-horn/examples.quy pkg.csize=79 pkg.size=63
file 3c91e92c2f70c09d8295042533da852376c5572f chash=a03ce6e57f9ed9f7ae505b0e2acebb5921c1115b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp-horn/iscan.elf pkg.csize=431 pkg.size=1083
file 573ed0c18a790488b46e1b953c87d69b7f0b4522 chash=a356fac140421e7b3da23a8aebf356aec78ec475 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp-horn/natded.elf pkg.csize=364 pkg.size=750
file 6d94782fdc6abf5e00b59922ec09c7c21e492da3 chash=60cd977bc2eb50f7488c203b674aa6d9196d2312 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp-horn/sources.cfg pkg.csize=77 pkg.size=95
file 24b282ce48cff6339972a511f69444e7e9ed3b00 chash=e4fdc538182e8bd119072021ffee241e80e22846 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp-horn/test.cfg pkg.csize=88 pkg.size=138
file ba8179c3a24fb2153e3ded46b868c35a9df4b1dd chash=4a9b7fbfe3a8d0c3ec24667f8b769d3b2077a2c2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp-horn/uni-can.elf pkg.csize=537 pkg.size=1419
file 45c39aec1a27c3feba3bf9d5880a659c13e48ade chash=273839dcc90af72a9c5569604bebaf6e29bab8fe facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp-horn/uni-can.thm pkg.csize=293 pkg.size=609
file f996fbe8ce6d4137dccfdd7d284ea5044cbe00f5 chash=cc678f53e60a53cd7679779acf6ee214fd562be8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp-horn/uni-complete.elf pkg.csize=533 pkg.size=1259
file 01e7d35baafd7fd5d117cfc5e3d02a9af2883549 chash=1127115011eda3d5d7fb04349ce7cc9fbebc1448 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp-horn/uni-complete.thm pkg.csize=210 pkg.size=357
file 6c7fb8ad0b617090aa0a871261658ffe7bc366f5 chash=03689d755e54039ba7d5057d079224abf6fb7d80 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp-horn/uni-sound.elf pkg.csize=471 pkg.size=1242
file 77a6d81ef3221236930352f7a8dd1ef26713bf82 chash=c9cb2af9af2dacef53c9184be2025b47cde5c7a9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp-horn/uni-sound.thm pkg.csize=208 pkg.size=457
file f66997e117e1aa8f82105516918f6637f9cd3c21 chash=ba257589321d5da769fa1d49900b2cb565e3d615 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp-horn/uniform.elf pkg.csize=372 pkg.size=811
file 1c678ca062015e3fe2c1974495f69f33e9c32efa chash=6fba7249ba78bc1d44c68591134dd851c8b81fdb facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp/canon.elf pkg.csize=387 pkg.size=826
file 0c413df4f600d386c54e5ade19272d43e4ac8afe chash=ca0e87f40fa9b8b2c09f4c95c4cc213953da1fc0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp/cont.elf pkg.csize=605 pkg.size=1513
file 10c45ff45af64c51acbcb8d7870ba0b7783ab48e chash=091a20000aabeb50ac8f75b944fa2121b64762a8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp/conv.elf pkg.csize=590 pkg.size=1644
file 27925ffa2d53f772ee9de073fd971b2879e72155 chash=259813eb361bb0ec12d5c95f7cccaf642d026fc4 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp/examples.elf pkg.csize=290 pkg.size=568
file 1ed7e701a7d26cc67cb28c695f7d2468f0ba2f35 chash=9ae759514bb97987dedd5cd3da7e138091444cc8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp/examples.quy pkg.csize=930 pkg.size=3819
file f2401c5f66a9cafb0c1e6c22675c61de9f76e0b2 chash=09ad9b6569335c8a8208932b3c21d02fd9280ca3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp/fohh-formulas.elf pkg.csize=307 pkg.size=696
file 5bbabf2c693961d95684e40553f44d992775fbc9 chash=06975f4cdf2009640e80646c48f82db64c8aa67f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp/fohh.elf pkg.csize=297 pkg.size=659
file 5679c1fadb049a8becd701361dcd6cbe1f64b729 chash=ee25adc7201c3f6613c47b427a30f464bdfe96d9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp/iscan.elf pkg.csize=495 pkg.size=1249
file 573ed0c18a790488b46e1b953c87d69b7f0b4522 chash=a356fac140421e7b3da23a8aebf356aec78ec475 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp/natded.elf pkg.csize=364 pkg.size=750
file 8b7140fb1f20c5f680a11fcad53dbed6686ec236 chash=101d4ee97356bbb22294508f5ea4b2fe2c3d56e0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp/res-complete.elf pkg.csize=893 pkg.size=2385
file 68085301b513c7105331bce565e1c5de51e09a9f chash=71ed4af3d25c5797488c4c617f3da821bd0dc841 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp/res-sound.elf pkg.csize=721 pkg.size=1840
file 1b224615fc43364a6a99444f1ea06862c33c3564 chash=fc00bdc17b9000a0a6ad4c55f25c70ebef8d43af facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp/resolution.elf pkg.csize=427 pkg.size=1093
file 1d8cced1f29965a5ff1b34d4c63f21c11c90d14c chash=6aae24ceace38531a2e0aa23b400371616e1b363 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp/sources.cfg pkg.csize=109 pkg.size=178
file 5effdf642fafadd02487317ee6b2ef1ea2c80126 chash=159548a936cd34a4a3448da813de394a06466437 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp/test.cfg pkg.csize=113 pkg.size=191
file cc8c292e15564d5d8f13fa31e07b9b872f16e146 chash=06af065d46d6bf42f4f93f288c26a035756e0cfa facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp/uni-complete.elf pkg.csize=597 pkg.size=1437
file 28844008b499004c44b4ceae3a2f7dc9668c8e35 chash=5062b35fe3a8c97c5eb308836c7bcbcd69d765c5 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp/uni-sound.elf pkg.csize=974 pkg.size=3061
file 58753e86be6eddf52dc149fa51a6d07dfaa0cadd chash=2e8d63c545dfe0b8b03905f77d2619fbcae3faf0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/lp/uniform.elf pkg.csize=343 pkg.size=786
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml
file 79af31791e5e74566f8bd8c089ba4a4ddad5a903 chash=0b63c1ce44f314f9e5f1e1313c2facf59c2e22c9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/README pkg.csize=327 pkg.size=656
file 02fcc6e653948a7ae731cc13570cbf9b01b4ae5b chash=6f1339e0679df9928adebe8ce1166bef629d41b2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/closed.elf pkg.csize=652 pkg.size=2143
file bba894c26a2783ec8023b5bb2039b3e7dc6f3988 chash=8c6058324824987be6044a1017bd0a2990a67f54 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/eval.elf pkg.csize=429 pkg.size=1008
file f87c64a20fce941856014b3677d7b0f4903cfbeb chash=41ba8a6c4fbbfdfe9f338a775ff366fcf3252d04 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/eval1.elf pkg.csize=475 pkg.size=1336
file 8739f521601fefbe501a0b7c892da5c7e3280c4b chash=48b8a4d8a2fd1b9b740d7ff39a4f2754ad68d98c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/eval2.elf pkg.csize=417 pkg.size=959
file 3c6efa47836e95dc9f9ffa926c4b503b83b943a4 chash=7c4989b39ec0f44caa48d3edff5430660aef5f39 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/examples.quy pkg.csize=481 pkg.size=1085
file 682edfa2b13f25db272c9a9923787753eb25efd9 chash=99c767a99a0218b1cd6197880cd0b16ebfb33bc8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/examples1.quy pkg.csize=134 pkg.size=160
file b6d9c8aafb1906a87bd7fe02fc0c7b0712509e55 chash=12ced797a0389f7bd2f89bc9a633f82b175aea50 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/mini-ml.elf pkg.csize=206 pkg.size=422
file b21a5befa8525b0a3b57cf819fd5d6a8a2ab47c0 chash=d725aa800efd0f4181102c72f5c786eea74cf0de facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/reduce.elf pkg.csize=454 pkg.size=1303
file 892fbd1dba7c61d256f3e30fb3206f149b5cb1f5 chash=556a528524b7ed1f885e18be52cc843bc08b381a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/reduce.thm pkg.csize=175 pkg.size=222
file dd2376ac356f8a7598f1beb9d07e16711d885df9 chash=561ba23d8958bcc2e9c41ce7b1c0555489e20060 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/sources.cfg pkg.csize=121 pkg.size=147
file 03ba235800436b5c38b4c1517eb9662123eeb103 chash=d02474124270cc6cdf5feebc085f6106321efab4 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/sources1.cfg pkg.csize=101 pkg.size=97
file c64f85dbfa347fea1a67faf9c7fd2df9d5cc3a52 chash=5d309c853c673afee0919e511797e4bce0b63520 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/test.cfg pkg.csize=102 pkg.size=154
file 82f7353d23e0a8902d9b3f60d868db140a6bb5cd chash=7949fdb2e2a4d23ec8a8f5fc3bcec4afdd6e09f5 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/tp-preserve.elf pkg.csize=540 pkg.size=1402
file 32b9371680d22a2a0a3444a2b4f8e3521835c029 chash=ed391e5e419594bda985aa61e225c7f696c94835 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/tp-preserve.thm pkg.csize=203 pkg.size=304
file 5616da2479f38a99dc48214b0a4131e8c08d7cc7 chash=d887fc695ae58dc7738c2f6e21dfcf1e3ccc1f43 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/tp.elf pkg.csize=168 pkg.size=213
file 157fe7a14bd7235d6a0ea54f91ba5e38bdf85b7e chash=6afdc15da08645217d75c297f61ff95892ede716 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/tpinf.elf pkg.csize=492 pkg.size=1063
file c870d7c9b6c6a4099afefe91c5404d32211cb3ef chash=1553256343f8f4c93ce06621ecd94bba235caa3c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/val-sound.elf pkg.csize=409 pkg.size=919
file 4fa8802d3359645ced44c2e9a68b5467e6f6839c chash=c7b2342ca58ab54e80e5647bdbbd423c35cef9b9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/val-sound.thm pkg.csize=203 pkg.size=323
file e6add4ab2292cd6b562c11f22b1c7fde8a4334cf chash=002356e3d34fb15529f57cee70e871f898536020 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/mini-ml/value.elf pkg.csize=222 pkg.size=350
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/modal
file ae63190b858520ef5608b741db783131301f7ffb chash=ad603c5478b43cd5e7a3039e34386b8ed81bb627 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/modal/README pkg.csize=190 pkg.size=279
file 4897de4b26269046444268d7d6f5b6c822b4b29b chash=50ce25cd3289bf3562a8a5824f9e12ad0cca379b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/modal/modal-judge.elf pkg.csize=884 pkg.size=3607
file ef2f4e6ddadf45efa84335f6274694c041e83101 chash=4d60c5dd847cf4ed598ebb7e68767cf1dd52f2c8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/modal/modal.elf pkg.csize=1239 pkg.size=4777
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/polylam
file 40b7f796b54f4d852ef911399e8d95041e7e0467 chash=8349b3619686cf8635b3acefc71fcce332d1c532 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/polylam/examples.quy pkg.csize=83 pkg.size=68
file e1aaac9568255922c96b9ca945ca1a166f1e664d chash=d580cdd15fba783ae7dde77d4c2ee9a8255cd51d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/polylam/polylam.elf pkg.csize=311 pkg.size=824
file 664cfbb9301007c8c65eeeb63cf2ede6a0937513 chash=cbf448e4b825ff57389e1563aaede39a35d600c7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/polylam/sources.cfg pkg.csize=32 pkg.size=12
file 18262acf27979e5468886a89a7110867ffb2eaf9 chash=b0ec1b43883f2f1351fe40d4c3358f5036d15209 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/polylam/test.cfg pkg.csize=45 pkg.size=25
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/poplmark
file 09c889985eb067fc8929de243cf06c5565b4b1ef chash=37655368d143e1321d8fd888fd3ec127c108c16b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/poplmark/1a.elf pkg.csize=4640 pkg.size=15110
file 160a6cdae8b0a7be2480457bc79a1d15aa97d271 chash=b7d9dfa08a6b487ecf9c1c12a47ed81579faac69 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/poplmark/1b.elf pkg.csize=6195 pkg.size=30648
file d6a82a76f7a473b17fcc8877a9a16683d523f612 chash=1aa75e74be398b211ba0560bb091c2eaa3a80c72 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/poplmark/2a.elf pkg.csize=2462 pkg.size=13090
file fc0b50d3ff067689db8c9793f85d8bbe7673caf7 chash=b376300ce2548eb54930117952d3c40165081068 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/poplmark/2b.elf pkg.csize=13865 pkg.size=85750
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/prop-calc
file f85a92d012241d096decde494dc07168332653e7 chash=8b080031f35c64315d9b693db2e754672a55588b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/prop-calc/README pkg.csize=149 pkg.size=176
file 0eb000327b57d2b9bbb98115d5809822362da25d chash=62a23e6e9a59b55a8f83f6237aa61096c06356d8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/prop-calc/equiv.elf pkg.csize=937 pkg.size=2321
file 2d90c9716dc3d29a8c2e1ddfd68f24dee1cf4c6c chash=7337eccc75420cd166806880412d50e9c438e0c3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/prop-calc/equiv.thm pkg.csize=240 pkg.size=444
file 468c39728aa732c7016c0d1a5e585a7b1e80cc8f chash=69d5a20fa8f3091ae7413d7b04db9a9370f0a9fa facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/prop-calc/examples.quy pkg.csize=287 pkg.size=591
file 05125478764af42bfce6bcfac0224dea28e8eb2a chash=7839509274dbaf7f93177f62683fb21cc14a1bb8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/prop-calc/nd.elf pkg.csize=265 pkg.size=419
file da39a3ee5e6b4b0d3255bfef95601890afd80709 chash=89892054d65b8b0dd6a081b33a97b6f2bd1fa267 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/prop-calc/nd.tex pkg.csize=20 pkg.size=0
file 4584cd1dea7ba19964a6b863722c5257acd063ed chash=da06e76d7af6077a0906c6f052997e65a4d89c60 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/prop-calc/ndclass.elf pkg.csize=214 pkg.size=434
file 6c228dc068d705621fe0eb9784fa42cda4bc89da chash=5aacab01000f5b1c0537a987f966a0cdf2a7ee3a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/prop-calc/prop-calc-solution.elf pkg.csize=666 pkg.size=1441
file 7781cb8f239d150e301c6c5091c8bfd1401fd739 chash=dcb83e97c5fe0227b1c5cbac47a4c9cc70605f2b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/prop-calc/prop-calc.elf pkg.csize=555 pkg.size=1157
file e9468fcd55826e63d96aebd56d9e45b0610c7913 chash=9d038d6e76fb6216b11544be544c87559998685a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/prop-calc/sources.cfg pkg.csize=40 pkg.size=24
file 5fa7a2c06879bfd7fac542c7ed52d6eb6509bdf6 chash=db88780b60a31e34331e74a41cee8a0ac68f9a17 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/prop-calc/test.cfg pkg.csize=78 pkg.size=90
file e5e87d704dd66213b5cfb6c640f49c93e3fad322 chash=041c54f2c59f287eb85d57778c04a735f5d9b48c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/prop-calc/thm1.elf pkg.csize=242 pkg.size=362
file 35746e70c70790a27d42aa821a0521688458d56f chash=624edc61179e557221b614a3a0b0c1dfc1c4b068 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/prop-calc/thm2.elf pkg.csize=366 pkg.size=761
file 3277c1fdf8bc906d1b08efaa58c8a8d5fea6ea7d chash=337c8ecdddb12af17d388e5efe946e471948f061 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/prop-calc/thm3.elf pkg.csize=281 pkg.size=612
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/small-step
file cf418068dc5b232a3750fde3fb3b66a96503a580 chash=567ed4caee1fcea36cc0470ab38445fd4e53fa6b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/small-step/README pkg.csize=102 pkg.size=102
file aa7e133167d60d2e505acfc0afdd1b4ac1ec17c8 chash=8525d26a79bcde494c78af1612608e5a717c91d3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/small-step/lam.elf pkg.csize=1084 pkg.size=3685
file 827e1165e19ffc3baaeafc47319abcc61299f4d3 chash=459be873aff0c1a6a214c6e2e6dc27d81f5df112 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/small-step/system-f-iso.elf pkg.csize=1764 pkg.size=7519
file f09817a74802908b12e521beea0179c3314e5629 chash=5b90fed47b517f3969f2b5906921a7c86c399b1c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/small-step/system-f.elf pkg.csize=1373 pkg.size=5072
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/tabled
file d3db34a476bffa41dfc8e6e0f64445cf95d96223 chash=ba31fcdf61cf96ba2b6d1261091d6ce5eaa1b96b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/README pkg.csize=606 pkg.size=1237
file 2f6eb20573aeb3600c19d28e61f39f0b1989fbd9 chash=755ceae62791283b2a9394f77aebd638e3d45a76 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/all.sml pkg.csize=297 pkg.size=659
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/tabled/ccc
file 442bdd223f10f1e7bf724f82196fe1171237f98f chash=3ff821fecabdd520f701832edbb1ba8172533625 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/ccc/README pkg.csize=173 pkg.size=224
file 36214448eebd8a23b63f2a36194562eb7c299ce9 chash=61950e0bc48625b7858973f30fb94deb352af542 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/ccc/ccc.elf pkg.csize=712 pkg.size=1694
file 360810fcd8ecfec3ee8453ae748194a88d8da26a chash=9951b1380285ef25e6699649c042193b0a0696e0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/ccc/tab-examples.quy pkg.csize=181 pkg.size=303
file 255c7dca96e730498ecfa7bfca85cc8a917bb89c chash=fb89a2ce5a41ae80525c959cb503efd73cfded62 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/ccc/tab.cfg pkg.csize=45 pkg.size=25
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/tabled/cr
file fcecd0350ee94c6f1648f891b5dceb2ac5306d48 chash=a04ae45c63fa174291c70bd239a1f39e74e3d654 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/cr/lam.elf pkg.csize=123 pkg.size=144
file 3ecbcb0e7215a3ee7916bf8533d563fe6e18f86d chash=d39b4c016c1f4e2ca87a9b7bd48cf3901feba1be facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/cr/ord-red.elf pkg.csize=374 pkg.size=900
file 91b5458a58c0b92f01ebcf3ca01f6a33816d6ca4 chash=00604f4b64fddb743824b511ed91ccdd4802da71 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/cr/par-red.elf pkg.csize=390 pkg.size=1041
file d43d51be0ab60a76b81233652da1fe224ba0c960 chash=d302b9954d8ae5c1432e4d4ef2dae5d9275d0a9a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/cr/tab-examples.quy pkg.csize=216 pkg.size=672
file 1110a71ce47d249274815f427bcb3a3bc7533403 chash=439ad790c55ad449de5a4a8a7c4dc7a3e3779be2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/cr/tab.cfg pkg.csize=58 pkg.size=49
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/tabled/mini-ml
file 7f3ceb4a34d173e823fde38591b395b563e9e776 chash=cc2c3e0b45c0cd07c2d02e37a22bce897308748e facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/mini-ml/examples.quy pkg.csize=153 pkg.size=424
file f1901826fe96f5b7acd89d8246e2eef68509d030 chash=23c43b9b7859a3471d22178217ecd3027f95b966 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/mini-ml/mini-ml.elf pkg.csize=198 pkg.size=423
file af3ebb1415f84813c92ee64a2541d0855d6abd18 chash=2fcfa9df4c8ab49e51e41e5dff3a5d87cee75a75 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/mini-ml/programs.elf pkg.csize=130 pkg.size=284
file c32545698405a5aba96179b8d823cbfb451586b0 chash=01f58c8924b0ce9fb109e2be449816f7f827c7b1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/mini-ml/reduce.elf pkg.csize=527 pkg.size=1464
file 0a058a3468844b03e39efce7051ddb7ef3df4864 chash=01ae75c94ec419dd48e85fbf53e02cbf73d7cdcd facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/mini-ml/tab.cfg pkg.csize=68 pkg.size=59
file 784f4becef7959e3f37976aaedb2f3799d05ed86 chash=6d019deb5d97fce6458df6f9e048f44be321cb4b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/mini-ml/value.elf pkg.csize=191 pkg.size=285
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/tabled/parsing
file 1031ef8c611b1ced1d60e05fa02794c09c20f55b chash=78f1d038c33d7aaff5cca47033951c621257e7cd facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/parsing/arithml.cfg pkg.csize=37 pkg.size=23
file 7d9eb6ec8dc4f678bdec7bb35b3689e5282f6a2e chash=4d8f402083325db76a8a749671e15ffd84cddcb1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/parsing/arithml.elf pkg.csize=1485 pkg.size=4450
file 9d15bc0ce16574b061b802055bc76986f2124aae chash=43510f81c33175a9617616c5912185a1bec68679 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/parsing/arithml.quy pkg.csize=137 pkg.size=621
file 6a01ff12b0c3e09c8268c65d43fcdd4bbe995d9b chash=1e7c770825fc0f2266fb94cd99ef301e9c94a17a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/parsing/foll.cfg pkg.csize=34 pkg.size=17
file 2aebe41c3f83445b4e2683798261451919b9cc88 chash=c4233e274d7c0b11340d3b4471e4f22d3b8c4095 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/parsing/foll.elf pkg.csize=1663 pkg.size=4684
file b6891e7240fcc43b4506805ae517a661df57701b chash=8026ffbe23c32fdf230a0284a233346df00188e3 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/parsing/foll.quy pkg.csize=284 pkg.size=2840
file b820c0ce5ea93d13997d5b11b4f29d8b66148dc4 chash=945b70ebc3447e3278e353521d8b6dbb2d98274a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/parsing/tab.cfg pkg.csize=30 pkg.size=10
file 45e38c1a253cdf06c03d09948cc3cd6e91f486ae chash=f5dd40b726d782cef77940acc3380153b6be284a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/parsing/warren.elf pkg.csize=819 pkg.size=2460
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/tabled/poly
file 3bfa6aeb72d74bd1ab628a72ae63dfe69d0a0fe2 chash=90ee249ad3494c018ced0dff76133f0760814f68 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/poly/mini-ml.elf pkg.csize=244 pkg.size=458
file 72e6869ff22ef549b12bfee7edf94c6b6391d277 chash=7994910676a65075de8cf297208c8e21494885f7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/poly/tab-examples.quy pkg.csize=313 pkg.size=888
file ab89b805dae90f9b3576a4c87850f72bb977c3c1 chash=332c9daedd243aea948d94a27ea50fc449a65a54 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/poly/tab.cfg pkg.csize=74 pkg.size=69
file 2f68a6a98c053e9e416af2a948246b2a1c5ee154 chash=db336bda8129d863dd7e49e701702bbb3892552b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/poly/tp.elf pkg.csize=270 pkg.size=429
file 01d5316673c4d4a86f7ddd72f9cb215bc23bfcdc chash=aff09124f117ef35a1c4a78bb0712b507259642b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/poly/tpinf.elf pkg.csize=568 pkg.size=1230
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/tabled/refine
file 216b5c4864b1b617aaac418a4c245e928598fcff chash=7687d34a67c35c8df25de96a8dae9a582f5eb433 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/refine/norefex.quy pkg.csize=131 pkg.size=243
file 5129cee367dab76bd738f106db395feb3f6c9d1a chash=677b6ca1ff8195919cd968f774858660d4d4e379 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/refine/notab.quy pkg.csize=529 pkg.size=2985
file 7d0f31cbbe16b018bfb193d2f5dfb23977778853 chash=9b4037dc891a9a3676e9147319d2fff03939fe8d facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/refine/programs.elf pkg.csize=1205 pkg.size=4843
file cdfe1c5be5095a72783c2c3002fe1c73edf7bd24 chash=9b6724fd71962afa49c8a3f5f5df1ddd064ac6c8 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/refine/refex.elf pkg.csize=2453 pkg.size=7671
file 7ed321cf1b8d64b0f99942b84431fddc03ba5c4d chash=d7f50949ddcefd86325030b768f1bf3054534292 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/refine/refex.quy pkg.csize=1024 pkg.size=5289
file 2ef624d80792237070470cf9ed6da6e8147ff5ed chash=3722b44fbf472212fb44e927bd97961c42882e4f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/refine/tab.cfg pkg.csize=50 pkg.size=44
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/tabled/seqCalc
file 64effb74e5eef8784e8c8456fe7b39c9bed9349e chash=0dd080292ca84f919242651f8dbbbe6b5ff33bd9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/seqCalc/foc.cfg pkg.csize=53 pkg.size=39
file 74e24b405b554459cc0e4e7ea7013d76d13735a1 chash=f340883550060ec773879c48107010a81206473f facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/seqCalc/focus.elf pkg.csize=634 pkg.size=1665
file 39c246bbd0c0ac31fbeea1b203b5d30e5e70a63f chash=7a938c0d8269ea1ba731ed0a42e67dce9c541dd9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/seqCalc/fol-int-at.elf pkg.csize=484 pkg.size=1214
file acecbe65a24ce68fe4e5c96d575348ae60141c83 chash=4d756d79caee9165049f2677b078e49be0ff9c97 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/seqCalc/formulas.elf pkg.csize=292 pkg.size=547
file 99b68f45d31cecc671f77f81df93496205458267 chash=1c53fbda07c295636745a665a3b51649fb51911a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/seqCalc/int-atom.elf pkg.csize=431 pkg.size=1002
file 035e7065b598afffbcca1aab51c9ea4b16fad83d chash=358aa4194277fed321e4de978cc8a49b69c75bee facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/seqCalc/int.elf pkg.csize=483 pkg.size=1225
file 0fea4e0218b6a1e99992beb120985a859c54103c chash=01c1100870603d34e52e255dbb4ec3188a2c7566 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/seqCalc/sources.cfg pkg.csize=37 pkg.size=20
file 19f8fc96e8f97adef7419c2ebec2a47723fc3c5f chash=72db38e9f8a61c7032d29ff042ca69ec361be5be facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/seqCalc/tab-at.cfg pkg.csize=62 pkg.size=55
file 2dac1481e49e38ce9a3645cef15faa8b7472e9a7 chash=d7cbebee66d1638be4dca7b1b906855383d2f6d9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/seqCalc/tab-ex-all.quy pkg.csize=850 pkg.size=5020
file 21cb9cf8ba64a94924887ab4933331b87aaa1d16 chash=fc7e90a074f584eea2ac7fbb2c5b2db7bbc0432b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/seqCalc/tab-ex-np.quy pkg.csize=338 pkg.size=1214
file dce6a6e96a0db57e79d96743c243407014369010 chash=ec4872d5322948f304728c0751fcd197f987bbd4 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/seqCalc/tab-foc-all.quy pkg.csize=900 pkg.size=7779
file 61ec640522299dede01ab733a15b1508723af3d9 chash=658e258362ceafcfdbeda649595d80b248bb7f3c facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/seqCalc/tab-fol.cfg pkg.csize=64 pkg.size=57
file 97648902b88192169dce18e2bfb25b05191877c3 chash=635c156c246969d7ec91d08f8b0c7d4d9a2053bc facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/seqCalc/tab.cfg pkg.csize=57 pkg.size=50
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/tabled/subtype
file b6d9c8aafb1906a87bd7fe02fc0c7b0712509e55 chash=12ced797a0389f7bd2f89bc9a633f82b175aea50 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/subtype/mini-ml.elf pkg.csize=206 pkg.size=422
file 256290d64df7a92e883a675025877dd395e2c32e chash=b33d0f3e87f90fc943dc556b5d10a5ceac16b3b1 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/subtype/subtype.elf pkg.csize=816 pkg.size=2103
file bfb822f6e7762b1863252bb164ae3ab13b253286 chash=34c48fcbd7faebd75b6f31a1bce0c63d161a09b6 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/subtype/tab-examples.quy pkg.csize=242 pkg.size=610
file f000bee6075371e17e83956d1e078615f771bab2 chash=1d8f1175dc71501d5eb24a65917a4894a3cc649a facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/subtype/tab.cfg pkg.csize=83 pkg.size=78
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/tabled/subtype1
file 0874b48719afce7e5cf627bcec1da28d2a8832bc chash=3a8b94b5e69c6c13986af561305e9e3876d9bb72 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/subtype1/basic.elf pkg.csize=507 pkg.size=1214
file b6d9c8aafb1906a87bd7fe02fc0c7b0712509e55 chash=12ced797a0389f7bd2f89bc9a633f82b175aea50 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/subtype1/mini-ml.elf pkg.csize=206 pkg.size=422
file d30908501a6cb7b6f25b95507051e1528a8fa669 chash=de9300fef02cbdaad40a420675ad3ce9df9112d2 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/subtype1/tab-examples.quy pkg.csize=123 pkg.size=155
file 629c063159dd85922a6ff77a90be131ff253adcf chash=ced3b7462c176b98f7d624a75f882eed54b2cd7b facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/subtype1/tab.cfg pkg.csize=54 pkg.size=38
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/tabled/tests
file 4a3a433255721758e49fcd3ab26e3747da8f5aae chash=eccfaafe0c16adaade0a11a8c5e8275e3dda8245 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/tests/tab.cfg pkg.csize=50 pkg.size=71
file 0c3d0fa9a4ce56266c14b06c09918585a7c54d57 chash=ac37b27882b54ebf008e0d5b43a724064d3aa683 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/tests/test1.elf pkg.csize=162 pkg.size=285
file fe3b7d8c1801506613b57d27cd69c1f7a85d381a chash=cd0970245803516db570804e0e564f2301794bd9 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/tests/test2.elf pkg.csize=164 pkg.size=292
file 0a10094bc1b210dc23270c55f3d437830c8fb4e9 chash=bc2b5edfb7514a81965d0111091f02dc6f38c124 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/tests/test3.elf pkg.csize=144 pkg.size=252
file e9cebb3cf6e2c5bca589411ec8ad146f718fc75f chash=77936971918d4c7b59708eb5381682de30069759 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/tests/test4.elf pkg.csize=119 pkg.size=156
file 8e5b889ad1007b0b3640cf534c8f54849f5b42d2 chash=e23c57608c461360dc99b306c4e17e1953f4d537 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/tests/test5.elf pkg.csize=189 pkg.size=340
file 9913575545fe26f37fc58763289b82d5420a67ba chash=52d03ff77bdfaca01d02336a4e211744155a5758 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/tests/test6.elf pkg.csize=160 pkg.size=259
file 1cef840dc634bfb38c5aa458576abffea45ed61a chash=a4a60fe1457cedaf0f8d01d014a2d6f3eb4552e0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tabled/tests/test7.elf pkg.csize=212 pkg.size=459
dir facet.doc=true group=bin mode=0755 owner=bin path=local/usr/share/doc/twelf/examples/tapl-ch13
file f9276e6bf096f61524e2ec265c67b5789e93b6a2 chash=12702501a9308db4e5fcc2270d06dd9c99231e86 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tapl-ch13/README.txt pkg.csize=725 pkg.size=1341
file 81999548776bb5d322df05d1626c983710b4a1d8 chash=6c8adf9a7a5b6f67aa704e100f0d8d06b8a519f7 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tapl-ch13/defs.elf pkg.csize=2344 pkg.size=8259
file a746e393ebe66a60975852330c37365dc4c7ba1b chash=76ced274d3262bfb4659503ab0dd0e477a2405bb facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tapl-ch13/nat.elf pkg.csize=336 pkg.size=882
file f3a8773596aa433e350a9dbf6aea33573bfbaf3d chash=d10c30811b85829fc7ceb7410aa25cc168342fbb facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tapl-ch13/sources.cfg pkg.csize=42 pkg.size=30
file a09b44ab8649eff502d8c76625ca0ee189c1e69c chash=686c817340a673c6620dabfda0e76bb3d4eb29e0 facet.doc=true group=bin mode=0444 owner=bin path=local/usr/share/doc/twelf/examples/tapl-ch13/theorems.elf pkg.csize=4135 pkg.size=19993
legacy arch=i386 category=develop,application desc="see: pkg info developer/hets/twelf" name="Logical framework and programming language Twelf" pkg=LNFtwelf version=1.7.1
license 01d4cc2786439ad798f994c3ff8d2452653f146b chash=75aa4884d4a54d0d72f56b90e95f1bef18adc399 license=LNFtwelf.copyright pkg.csize=105 pkg.size=90
depend fmri=pkg:/runtime/smlnj@110.79 type=require
depend fmri=pkg:/shell/ksh93@93.21 type=require