set name=pkg.fmri value=pkg://lnf/developer/hets/hets-libs@0.99.1,5.11-1.2.11.5:20150713T225522Z
set name=pkg.summary value="Heterogeneous Tool Set - libraries"
set name=pkg.description value="This package provides a collection of basic libraries, extensions, other logics and examples, which supplement the hets server as well as hets desktop package. Hets is a parsing, static analysis and proof management tool incorporating various provers and different specification languages, thus providing a tool for heterogeneous specifications. Logic translations are first-class citizens."
set name=info.classification value=org.opensolaris.category.2008:Development/Hets
set name=info.source-url value=https://github.com/spechub/Hets-lib
set name=variant.arch value=i386
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Basic
file f5187fd803a8be33bf5ddec30b5b4e98ce1a8109 chash=57ede74feaf6ec6a3e7e28e418b4a6aac8dabe2d group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic-Libraries.tex pkg.csize=326 pkg.size=759
file 4a79ed4daf58cdffdcc43ebde70a5f603cc5ea17 chash=67dcf97e2faa510d7eaac653b26a0a39a0165c79 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/Algebra_I.casl pkg.csize=2262 pkg.size=9337
file d085e690d2e487f17dda7fe48d8774e659df954f chash=d710a882fbc244e0bb49bb97016f54792f6b18e7 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/Algebra_I.fenv.txt pkg.csize=2467 pkg.size=46568
file 4406dea60729a856388e7765843d5e54a3c7a938 chash=d7dcb616adcb8ec75a5053b9a0f6fad03b913558 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/Algebra_I.hpf pkg.csize=408 pkg.size=2143
file c23089428077e175604b3887bbaddaa1a1a7d892 chash=25141d0b33bf9dc3ca9418a3d04d15b678a5ed0b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/Algebra_II.casl pkg.csize=2427 pkg.size=9268
file 24e0aa425ca8bc497d7f2867b348fcf0d5cf68f3 chash=21af0913327f1d9fbee95fea39ffa53a099bb58a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/Algebra_II.fenv.txt pkg.csize=2055 pkg.size=27412
file bd753c4a8de90a147ea7f57da1acb653218d92fc chash=388019900b6e807f84d0aa6749239a7ccdfe1a0a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/Algebra_II.hpf pkg.csize=185 pkg.size=958
file 183f4b0c83707d052774d49b8c5cfaa7444e762b chash=f481154dbaa40a046c1692ba9ea2d7e8ec4fc6fc group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/CharactersAndStrings.casl pkg.csize=9077 pkg.size=59763
file 179e46ef9a3ccd17ddc4b5c7a7190a9e2678822a chash=c98bb672cd594662f9d1b1b0f7f1e29acdedf221 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/FutureChanges.txt pkg.csize=183 pkg.size=275
file dd2fd89e91591f7bcd72a025edbdb1b040af9247 chash=9c9226f2d8d0c87d66678e50aaa0e976c151f209 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/Graphs.casl pkg.csize=4554 pkg.size=17514
file c4fe585194e6d137a4286722c9b50a6e9f8c9028 chash=37a1f0d4ab28f9da3d6b7ef9eacf1d566368a6f9 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/Graphs.hpf pkg.csize=101 pkg.size=166
file f7d0684885d6dcb14d31bce0ec64358fd7436f42 chash=d3e1aa66d8e8fb2bb3404b9b4d8e82fe688b18ba group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/LinearAlgebra_I.casl pkg.csize=3180 pkg.size=13301
file ba021beacf53f3dd7e233ae3abb7182205f95372 chash=c772f96651e4047cd0761d38b191a44bdf378911 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/LinearAlgebra_I.hpf pkg.csize=201 pkg.size=432
file d46269b279f6c108ed5ba679cf90df243fa5fb0f chash=fdbd9015ec7233ecacd655150f18db4e6606486e group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/LinearAlgebra_II.casl pkg.csize=857 pkg.size=2600
file 6ca56277959239e31ea966b66a9cafd3517ee0bc chash=db9d52b4141edc7f501ce911aec2a0fed6cc29d1 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/MachineNumbers.casl pkg.csize=2280 pkg.size=10684
file 2f07bb2aecc7f507b4fcee06ecddea1fcd6bf749 chash=40879e94c99aeb77ca90a98610c87dc104124a87 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/MachineNumbers.fenv.txt pkg.csize=851 pkg.size=5557
file cdf80b3c0432591f7da9abcf58ad6182dc373c41 chash=a906ba33a82fecaa1ff2f4230ca21d1473f346ae group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/MachineNumbers.hpf pkg.csize=348 pkg.size=1217
file 6b013ad77bab4f9e5c5addf6a2e95be9c246fd90 chash=4993f756623633f796fbc129cd090f8d330af27a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/Numbers.casl pkg.csize=3408 pkg.size=13163
file 0325623aff1c53a8574971f91b500bcfabb02114 chash=955125f901cdec7933ecf990521fee32a7948348 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/Numbers.fenv.txt pkg.csize=547 pkg.size=3734
file 107285d96da81d36d37e63f74262757969efed4d chash=3a1fd5b0c66d9e47413c30508df046e8107e923b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/Numbers.hpf.example pkg.csize=203 pkg.size=311
file 01ac2598d11faa8aa4d2001f74186969b4857b3e chash=ad16372be47a07809adf287d33c907532e18dcce group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/Reals.casl pkg.csize=2772 pkg.size=11995
file 5dd6b19d034d722ed2169e21ee42ca7785a20306 chash=4da390ee52f6c468d62bb7c6892feb3acdbe6751 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/RelationsAndOrders.casl pkg.csize=1842 pkg.size=6696
file 2ade51b8cebb255abb8c5f89ab2afe5949575875 chash=135cabfe8f850cc2c22f247a07267b2788b986b6 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/RelationsAndOrders.fenv.txt pkg.csize=867 pkg.size=6252
file 9c80ee616969c0f312cccc897fec183ccd73650c chash=ef4591499ebc5ee8d109c49b5a8dbabc10ea7512 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/RelationsAndOrders.hpf pkg.csize=270 pkg.size=1329
file 3180a81974eb50589969a07f498ccec162ca165a chash=c95c47c4ee5eed96abe15507673af4b8d49e7e1d group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/RelationsAndOrders_ExtBooleanAlgebra__U2E1.thy pkg.csize=1095 pkg.size=4549
file fa836c7275b960473caf0f81ef4de3b0830b47c5 chash=aa0e6542a86f0ec86f4445a5a8b75b022baeedfa group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/SimpleDatatypes.casl pkg.csize=612 pkg.size=1353
file 4e7b2b37c1b0ae32a0eafcc8e96e7c0f2403a4c8 chash=e6eea771ba1ba3c3b051fea0d1538cf13063aafa group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/SimpleDatatypes.fenv.txt pkg.csize=3206 pkg.size=19062
file 9cdc46bb99be852331b7db9545772c1b953d1969 chash=ec71f1494459f91d514426af3775a5e6c362e124 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/SimpleDatatypes.hpf pkg.csize=112 pkg.size=296
file 1008100198f30f9049410067908010abc3c8116a chash=118026c08bd40dc3e7753cf27be34d28524589e4 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/StructuredDatatypes.casl pkg.csize=5680 pkg.size=26229
file b6694579d64805fb08ecea7d62ac890687403bdf chash=322434ff7c6383f1c044fcf19bd6665c0b5df850 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/StructuredDatatypes.fenv.txt pkg.csize=5117 pkg.size=48543
file 0a37917ae29fcd2fec6e031e103fba2fbe33ed5d chash=2d2b041672b2cdbeaf522f6912d975637caa363e group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Basic/StructuredDatatypes.hpf pkg.csize=362 pkg.size=1564
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/CASL
file 3ed5ea01119806617bf7e393aede302a9a9c9075 chash=b88ea64a76e3153fe99dc79e9c2eea7fd0f5d672 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CASL/AbstractSyntax.casl pkg.csize=2912 pkg.size=11118
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Calculi
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Algebra
file edcaa37f191a1b722406d133b3ed2d763cfecd98 chash=5fc78fd8cfc710e39675b8586b43b02dd6928a2c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Algebra/Algebra.casl pkg.csize=364 pkg.size=670
file 9f62dd3a1056f8f14b4290dfe054e521d4c5699f chash=8ee51764ed88ed7df888a0f01835336808323098 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Algebra/BooleanAlgebra.casl pkg.csize=622 pkg.size=1687
file 6fd1615c918bbabd91d27d6ee1edc519ad0bc5b5 chash=9ebf5ee6c9e41374b5a632a3e44da6378a4ae32b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Algebra/ExampleCalculus.het pkg.csize=691 pkg.size=1934
file fbd61ca39636278e829f6cdc606c0a73d365f4f5 chash=c1331afc7c1460a9254c7121c99e4fd552701383 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Algebra/FuzzySystems.het pkg.csize=4594 pkg.size=16530
file 491a0d826b3195f241c5b3aab6476f60c9a7e17e chash=61c74da43b7369455b265d741b5832569d8b9cb3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Algebra/Makefile pkg.csize=427 pkg.size=1088
file 0577708be31c19ac158f49b157aac7f0537e4010 chash=20109ecd7da24e9e6cc718192833e7986e39b682 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Algebra/RelationAlgebra.casl pkg.csize=1685 pkg.size=6435
file b069830f5ba13c914ecef3e65bc8d4eece21927e chash=5eb45ed7d4e8ba465b6e3c9ea0816c90ba11c2b1 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Algebra/RelationAlgebraConstr.het pkg.csize=881 pkg.size=3093
file 0505404e9ab431cf9a33cc8c9f0f262d84ecfe29 chash=0970bef8445e42e70149917e27f270ae66dfa6c1 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Algebra/RelationAlgebraModel.het pkg.csize=1539 pkg.size=6525
file cf7b11a6690e9d88218ea0e9d57e0ea491e3dd41 chash=51556210535f89e066fbe2f06ec6c3ea44e2e317 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Algebra/RelationAlgebraSimple.casl pkg.csize=1133 pkg.size=5627
file cc794058af494dcad92d892c4350dc038421352e chash=4688eb7a61cecde7b5d504c2814bd1799d82658d group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Algebra/RelationAlgebraSymbolic.casl pkg.csize=1507 pkg.size=4931
file 4e754987c467173a8373e17954411ffb4209e6fa chash=36a61fe3b0f9ea27d29765f8ffdf5fdd2c7bd95c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Algebra/RelationAlgebraSymbolicConstr.casl pkg.csize=1071 pkg.size=4125
file 126073163b1910eb586c1013413999fdbf79f76e chash=93c3087c13c7dcbf8cd8a9f3ad7d56bfc3247cee group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Algebra/RelationsAndOrders.casl pkg.csize=948 pkg.size=3040
file 63d0a0b046f5bc517ec39f00d0ee5152068e455f chash=cf5bdff4c42eab0a66ee0894a00f81ef1b66c099 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Algebra/RelationsAndOrders.hpf pkg.csize=199 pkg.size=429
file e585a9fb762173690ef4696e20de729d05aa91c0 chash=da7e06f273f910462da674a5f50123f979ab011b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Algebra/Set.casl pkg.csize=524 pkg.size=1032
file 9bd31aa7cb0b22312547d3607823aa3b39bb3389 chash=23e2be9caab097a7fc5bea06b979a0a0f750ea90 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Makefile pkg.csize=237 pkg.size=550
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space
file 89b4eb156f671a89812c990ba1359b1ebeadf56e chash=83a90656e642cd36233217325bed000aa8c86036 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/CondensedSemantics.casl pkg.csize=795 pkg.size=2886
file 0d5f7c3eedf1420a57fa8af7c1ffd197e716d40b chash=420b4806adaf15dace4bb76916401992980b8ca2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/DRA.casl pkg.csize=43759 pkg.size=484382
file 7e524303285a86d4a9d0406fb08be27ce13dcbe9 chash=e5acb11213228d42771630f91685930a0e29fd42 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/DRA.hpf pkg.csize=121 pkg.size=185
file b968c892a8f4842b82b50704ec4fdd43ab25c66d chash=94780817a6ed4f4393830050222ff8c817ce9ab1 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/DRA_FO.casl pkg.csize=4617 pkg.size=25811
file fa073a3d21630b3f0882076c2e29f38f1c036cb1 chash=e3d149b58dd5d7948c738907370a0ae775200132 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/DRA_HO.het pkg.csize=4031 pkg.size=14409
file 47f7ea1819d24bce42784aac830ab313260b3a19 chash=7a194f02e0ef6ac133db812170a44543a07a437a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/DRA_X.het pkg.csize=18376 pkg.size=574431
file 207d03bdd02bb4a4b758f3f20e908210fd56cd9a chash=f2d854f35178db0acf218640c2cb0f2542b8a9cc group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/DRA_X.hpf pkg.csize=372 pkg.size=1328
file 45594fce6306cc4be2d4d2b053a2420f240d0cca chash=2a213ad09cbc44e5c6ec6d516abced834fc888e2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/DoubleCross.het pkg.csize=2487 pkg.size=14643
file 4f97e536e110a695c55754e272e4ba13b5732796 chash=46319963cc47c8311cb6858be7143387dd0d4f92 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/EuclideanSpace.het pkg.csize=470 pkg.size=1574
file c0ad9a4e7a29f5a190c477b45eb0279a6ec8f7f6 chash=3bc1d5c71b1bb18a842cba55a55235e8da11a1df group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/FlipFlop.casl pkg.csize=1338 pkg.size=4631
file 44d095bb558a2c10872e4a36162b24ea53c0a73d chash=2bc63817b4290087fa8742f19b495ecd8cdc948c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/FlipFlop.hpf pkg.csize=128 pkg.size=203
file 7cd136856139db8caa1b5ecd11b47f1b40267e9a chash=6b348bbeb6930f2082295f1014e18f90f620c79c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/FlipFlop_FO.casl pkg.csize=1194 pkg.size=5625
file 8f795cd4eff7ff85d99947e77a3aa0d8904327f5 chash=d014d950c7d98f4e8d7aa5e20d0a9e90d1f48848 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/FlipFlop_FO_FlipFlopExt_FO.thy pkg.csize=8593 pkg.size=95513
file d2b26ffe0079b1f7887d98e353674aaddb9bc3b0 chash=8ac284b2ac9f36c2611d977fadcd4ebf35331d8a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/Instructions.txt pkg.csize=342 pkg.size=476
file 75e1a8d40278ae17aa51222c9a72f0db70367676 chash=f4ffa2377dc5bfe7b4c741d1ed50b4f627a6245c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/Intersection.casl pkg.csize=736 pkg.size=2473
file 35af2638b5e675075778695dc0ccd667d9c32a09 chash=85307774b0a87be46056ff1d07438ee66e906442 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/Interval.casl pkg.csize=1386 pkg.size=3552
file 3450e5d3ba12fd01663a07353093cde0100d7754 chash=35b16bf227621627e44f762986c16d456a2ed1c8 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/LR.het pkg.csize=2637 pkg.size=9524
file 8cefca9c5ade26a961879023e7a3d0a761f88eab chash=81fe15f54070fdd2594ecf30c68854b7dc4b0874 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/LR.hpf pkg.csize=436 pkg.size=1730
file 491a0d826b3195f241c5b3aab6476f60c9a7e17e chash=61c74da43b7369455b265d741b5832569d8b9cb3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/Makefile pkg.csize=427 pkg.size=1088
file 545161538ca90d8e58c1471fe8ce56c5d47be8b0 chash=a40f46ea299cf84c1e3c17c06ad73f339c35b1b6 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/Modal_RCC8.het pkg.csize=427 pkg.size=976
file 202f5018641335ad437bac3afe30c092e1a5c164 chash=692c7f0a915cf58c3ed4a1f858d23738081a571c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/OrientationCalculi.het pkg.csize=2802 pkg.size=10770
file 118967bbc0dbda4dd723c466a4dc893385c5e0f6 chash=f6b9904f734027721bec95a63c98e35fdd7b9901 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/OrientationCalculi.hpf pkg.csize=213 pkg.size=924
file bc7fb7397bcf8d183b6d2dc153a9c899dbffd844 chash=00df057e51c0d556b9b37fddc56b0dc9851f061b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/PA2.het pkg.csize=166 pkg.size=432
file c5697a051899d2a6fd89c4d4f703f7b1d22065ad chash=1e86470688187701bd9bf1c24ba882c306fb9ccf group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/RCC5.het pkg.csize=2343 pkg.size=9234
file 8ad7d983e18798a0921e1278a4e5e51cc12221b8 chash=2153522a8f1cd4ec8edf9bc07f8b1d12500605a7 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/RCC8.het pkg.csize=2771 pkg.size=12573
file 2ee6fc4601edcccfead56eea57ba62d3243a16f8 chash=a4fec16928066942cfd67b520fc86a8fea7b9417 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/RCCAlgebra.casl pkg.csize=1410 pkg.size=9090
file 44ab5191d9798e6f5ebf1996355bef9dbe1da34d chash=e7f88994b5a6228064c4525893e2350e0d14a3a9 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/RCCDagstuhl-proved.dg pkg.csize=25246 pkg.size=158471
file b1634cdbedc8c764a44db03a1ba9d7d3db8323dc chash=a57e5e483f8b602508882b8365e70a017d2c05c3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/RCCDagstuhl.het pkg.csize=2673 pkg.size=17144
file 72bb50161793e26643118bc73753bd2e7b73f749 chash=a07a591066a47181d160cf64308303e6a21f107c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/RCCDagstuhl2.het pkg.csize=2818 pkg.size=17765
file 65bb90a46a2e33c8ad6a16976dd015dfd0fc1774 chash=1b62a6114205bf6030871b9ae5e66d5804be8643 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/RCCDagstuhl2.hpf.example pkg.csize=1097 pkg.size=3194
file 358a2967df6a119dc6e6778f0a700bcb45be22ee chash=d5aef94cf6f8895805440080d94df8728891a2c4 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/RCCDagstuhl2_NN_T.thy pkg.csize=3253 pkg.size=14484
file 5ab741213a03262a797d22070eceb6f0cd3aded5 chash=954b17c8ea25a4cda666adafe58d377dbb45ea19 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/RCCDagstuhl_ExtRCCByRCC5Rels_E1-proof-details-1.txt pkg.csize=488 pkg.size=4916
file 23740140937816c029a61d2dcf365930dde812b7 chash=4b33911216f771fc22430c31cc05f17d6f9f5dc6 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/RCCDagstuhl_ExtRCCByRCC5Rels_E1-proof-details.txt pkg.csize=716 pkg.size=7062
file 4b1b10f42e893b22b835d8b00dbd7978345a4a32 chash=e92696e111b5c38624f2e8011b2d41d5506d3155 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/RCCDagstuhl_ExtRCCByRCC5Rels_E1.spcf pkg.csize=186145 pkg.size=1585459
file 554f3c9818c7fb0ec457fc3c46f145cc46fce4ba chash=0cd81d0fd46965655938f1aec3572408d3e730d4 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/RCCDagstuhl_ExtRCCByRCC8Rels_E1-proof-details.txt pkg.csize=1920 pkg.size=22657
file 617284e65861e647f81a67330d87b756d02d075e chash=5bdc679dd56e2f40d2646a554d517472eb65e765 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/RCCDagstuhl_RCC_FO_E1-proof-details.txt pkg.csize=334 pkg.size=2287
file 824162c9cfe69e7d7bc7f11459dac857fb95abd5 chash=fb60acc8e7ac14b350c3edd275d9f0cfc3478b0e group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/RCCDagstuhl_RCC_FO_E1.spcf pkg.csize=5506 pkg.size=42688
file 8a408174c7a0d1fbc7e7edecfedcf63d068c0432 chash=e138cd939de7f0952ca206e47d391a2e0749afcc group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/RCCVerification.het pkg.csize=2155 pkg.size=14153
file 08c6bcac10ce55054d032c4ec4aea8ef93a3ea15 chash=fc54c40dd15fc40556c98916d53c5070bd8d6cd5 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/RCCVerification.hpf.example pkg.csize=1106 pkg.size=3246
file 6febaca7fd95fdae2cff4a60a029051cbb8b6176 chash=97595c7e6bcab982ec1cfbaabe37544dc5330be9 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/RCCVerification.txt pkg.csize=544 pkg.size=971
file ba6424857f3a3c2c0cdbe458c672e140db22d4b2 chash=d6231fe249d8f49301c67c06c3fc202dda8ec8d4 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/SimpleRCC.het pkg.csize=611 pkg.size=1783
file c8d495a2fe00c6eca4ea8e37bc7ffb0764a034f6 chash=9ed9b364c24403068ffd253d2803852201da4310 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/SimpleRCC.hpf pkg.csize=188 pkg.size=294
file 416001c38895fa66b494abbe9b569df1b355fb1a chash=70815056f4e7d41f20a405e2ed187dd8d4f0bc7a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/TopologicalCalculi.het pkg.csize=701 pkg.size=2091
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/tools
file 909035835062a73b5c5c1480b455aab06828ad88 chash=c9dea08988cd060a5c0058f6a61bbe0aa4e33bc6 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/tools/DRA72.table.txt pkg.csize=56944 pkg.size=1619893
file 513296cf5d42c1440f2d4538cff2c22e5fedca48 chash=c9d78ac57330d7bb52b4b7bf8fa1719a6a44d2cc group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Space/tools/convert.sh pkg.csize=560 pkg.size=3420
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time/AllenHayes
file 6764a1aad921b01e59df94f131471f7f5d45035d chash=65b95228b4165f2285297d5fd1edb869b58cd955 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time/AllenHayes.casl pkg.csize=2633 pkg.size=9671
file 1b93eadae8f969c6f5fa61b52f46bf352ba532e5 chash=27da34bef43f0fd84c3a7e8e5f59e0e6fe0f41cc group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time/AllenHayes.hpf pkg.csize=369 pkg.size=1169
file a748386030abae8b6536c5778499b4a50acb45f2 chash=c9e4327fae81ccadc0799526df4519f7ca94fcdf group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time/AllenHayes/AllenHayesLadkin.thy pkg.csize=519 pkg.size=1653
file 1475a71e101efd953e0b6f77f309fea551c1c2c0 chash=40b4e644425c47e09ad62901b906d339ab5013dd group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time/AllenHayes/BaseAllenHayes.thy pkg.csize=620 pkg.size=1757
file 3b3f5364182a14cd5e3dddb7edd98510a69f3540 chash=db67e0b6e28eb25c551db74e4297761e1e2285aa group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time/AllenHayes/ConstructPointsFromIntervals.thy pkg.csize=942 pkg.size=3181
file 58bb967fcd274813a9dd774c2cf35b3a77d1881c chash=1623c417a99e11c01e79b66a2c8f6b42ae2dd7a3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time/AllenHayesLadkin_TACAS.het pkg.csize=3448 pkg.size=12323
file d944676f0bd69e5c4a454e25e0d39df0ec101d13 chash=975413a3b3705347d022db4438a8831f96ec88e7 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time/AllenHayesLadkin_TACAS_AllenHayes_E1.spcf pkg.csize=56087 pkg.size=401092
file bec397b5ca0865910d149d19fb1904fdb3e23395 chash=3b4a51bfb43e5eecd25b4ebd4c664bd969799ece group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time/FlowOfTime.casl pkg.csize=1904 pkg.size=9522
file 4bb4c2aa7daad6c4e94faf1184c1ed6bc9ee5deb chash=efab411be247e9e2cd6b6322b975a573ea2c2d10 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time/FlowOfTime.hpf pkg.csize=400 pkg.size=1850
file 2981ad8e83d510369b2091fd736294e855434eb3 chash=113a79f013c0c32b78a68ac846befb9b35263c49 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time/IntervalAlgebraLin.het pkg.csize=3825 pkg.size=24223
file 48c4e6a91506bd08dba22561d712554353ad29c2 chash=ed97146fc179036e74c0c2aca24b3752f13ee748 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time/LinearFlowOfTime.casl pkg.csize=1852 pkg.size=7761
file 3a3568e20690c8209527d75161a1d548a3f21923 chash=e611ce0880584a7c272674b5b68ecc2ce98c5fc0 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time/LinearFlowOfTime.hpf pkg.csize=332 pkg.size=1211
file 491a0d826b3195f241c5b3aab6476f60c9a7e17e chash=61c74da43b7369455b265d741b5832569d8b9cb3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time/Makefile pkg.csize=427 pkg.size=1088
file 499c64fe602034d4c83110845f8b5eb694fc504b chash=5b684e5aba3c43c44fd752d63620cd7ce8750d27 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time/PointAlgebraLin.het pkg.csize=1690 pkg.size=6338
file fb82044a553675a87e01f0e0f90d877d23911079 chash=e47e37c928bd373299d643f53950f1e788094576 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time/Tree.casl pkg.csize=1638 pkg.size=11177
file 6b843452ad2952268e5bc45938b5551f7b77968e chash=fcac113c3d4f22554d4ce8e88919e998fb27fe40 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Calculi/Time/Tree.hpf pkg.csize=815 pkg.size=5010
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies
file 36f3b50be87ca6fc4defa3161841f0d9a73fa0e0 chash=733e7bee42f9d878ac3b108baa41389e2dcee04c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/Interpreter.casl pkg.csize=1736 pkg.size=5703
file 1480a6bf4b24227f2d3ee169e1923019f4689ce3 chash=bade947afd7f3b6b0ddc1517b5e354f1082f1271 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/Invoice.casl pkg.csize=2117 pkg.size=7224
file 460076c31e49ad512b0b289ca54ffff3eebf7300 chash=53890eeb02056b0258e9f8b8de383d15c7108a57 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/Invoice_corrected.casl pkg.csize=2824 pkg.size=10106
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/Misc
file ed304c3c3d3b6a1ba5e2509e41da0d58ece8b9fa chash=f730aa3c1417b2edb1cd9c814c68ceedafebd327 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/Misc/Haskell.casl pkg.csize=192 pkg.size=248
file f95326724f971ef37e54ef9fdd8eac714115dddf chash=74c44517ae4e16e67ed091a9ae8a1b7b5da04373 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/Misc/Misc.casl pkg.csize=401 pkg.size=1031
file 42eb36af3ddd48795fd79d3034692cc7e0550b0a chash=db1f2ad54c28c897b274b3ab1bfd212cd1de81ad group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/Misc/Prerequisites.casl pkg.csize=283 pkg.size=871
file 13c4c133221e08396df95f548219972676a71ab5 chash=7aa9bf311c22a627383f58c7d105854e5ea71a06 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/Misc/Protocol.casl pkg.csize=2619 pkg.size=21258
file 01174889c1c5f5cf46b9ba47ae18025ad9f278e9 chash=0c4300373cf8de9afc621ac0f328fa65fa5fd75e group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/Misc/Stateful.casl pkg.csize=164 pkg.size=189
file ae58b4ecd7c904173ed1989693029922a498e000 chash=cc6360b26b83d9038824739fb6a2a748c1d004df group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/Misc/StatefulProtocol.casl pkg.csize=2475 pkg.size=11926
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/PuCache
file d04cbd009a71ac73979b9cb2a025f00c8d0d4993 chash=d6b323742a4eef5c30fc0534b3bc3e8c24a3c5f6 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/PuCache/PFS_Protocol.casl pkg.csize=828 pkg.size=2022
file ea321fc1423441f3c5f3ec05d521516446ec701f chash=43121b3fb26bf4fee7021ec62d74d08af743f771 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/PuCache/PuCacheAccess.casl pkg.csize=823 pkg.size=2571
file a80fba9d7622fdd1a7ef233313a210dd2321e324 chash=549c8b003535d1ad34cca36bf4d5eb9b78a46d2f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/PuCache/PuCacheData.casl pkg.csize=962 pkg.size=3268
file 245b8f60be112768387983b80312177c60c87f52 chash=d878020bdc552160b54d4de4392449f10be27cbb group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/PuCache/PuCacheFile.casl pkg.csize=586 pkg.size=1372
file fc0a617abbbc1f18ee0d0fff30367179831f3eef chash=1a40d509331f25fa95ea5fb86d04378ba8b887c1 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/PuCache/PuCacheInterface.casl pkg.csize=788 pkg.size=2354
file 1b45a42bfa3145edca0e1d57c894cf9289ee5497 chash=4d5a09c2e9cef87029d294176a71ff0d708a3523 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/PuCache/PuCacheUtil.casl pkg.csize=789 pkg.size=2496
file 5b3c578919c02131d331f25503f8c283ed3b4f50 chash=9f5b6ffb2e5713f6f125e1c6941446263ff27024 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/PuCache/PuDatatypes.casl pkg.csize=195 pkg.size=336
file 4c990ddb139182f9028bd42ab202fbf7c2134c47 chash=4acff62bfe5aafde1791df2a9ce8f5772b2f61dc group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/PuCache/PuInterface.casl pkg.csize=381 pkg.size=803
file ff505ae58621dce403578ef11c78e36d9b5f1242 chash=d7b7a46dbafdf72b887820b278d39136f87e6905 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/PuCache/PuMain.casl pkg.csize=1379 pkg.size=4592
file 4aa277751d9291cff3a2b55fc7fc351c48bdb03a chash=b5479f87509a5894ed5d7fc5a030f2e647515473 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/PuCache/PuReqRead.casl pkg.csize=1064 pkg.size=3707
file 48d39ab503ca8de21154d25b7387644a6edf3ea4 chash=560dfe468092f374f434ce467d0cb367e9748755 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/PuCache/PuServer.casl pkg.csize=277 pkg.size=519
file 1f433607971168380b8fd6efc07cb5be9c316009 chash=53dfea0634ede5278d349aa6b51835e5678101f2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/PuCache/PuUtil.casl pkg.csize=304 pkg.size=481
file e95ebe8fea74f9745f209e6960db8eb52d4777c7 chash=9f62c639aaa92239c76ae85fc251bb2abddc3be2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CaseStudies/Unification.casl pkg.csize=1050 pkg.size=3448
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/CoCASL
file 3c163895965acc993583a1edf356007d28ebcb39 chash=f8e8054bc2e5778aaa67c15a0fbd2e9d7def00a1 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CoCASL/AmbientCalculus.het pkg.csize=1972 pkg.size=8023
file 237b57bc1f63c5f03162fdf36337718df367ce1b chash=7fdcc0f38c29c318da98d1ad57b7980c4b4d081b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CoCASL/CCS.het pkg.csize=1858 pkg.size=6892
file cf98d7634e18b8a662116c3d01faf3e577dac302 chash=e7ea5e11a574b5fb3ae96ba2294d7557dad615fc group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CoCASL/CCS_Automaton.het pkg.csize=1907 pkg.size=6006
file 798c0fea5ee24f59402cb58435604407e681d5b6 chash=6321b8cf459102bdf656db8fcead6eeb222f232b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CoCASL/CCS_Buffer.het pkg.csize=407 pkg.size=1219
file 36d408383a9ee4823afc97009a5754d107709a89 chash=132eca093326ee194c271b87802ca9fad4003f26 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CoCASL/Examples.het pkg.csize=890 pkg.size=2952
file 1a5176036f3ca89ecc1b37ff86dacf8cd247abb7 chash=16f0dfe9cb93a819589c32c7c318331a97b3848e group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CoCASL/Examples_3.thy pkg.csize=746 pkg.size=2622
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/CoCASL/Proof-Support-Examples
file 44db91b22f768fd638e6e43c1fec5b057c4e3756 chash=60b56e884efa7ac78ed6002dfa6c7d4b92002e12 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CoCASL/Proof-Support-Examples/BinTree.thy pkg.csize=898 pkg.size=2698
file d4f605a93ad63f242d29a4b9be31680f02ecaf53 chash=b1909f9f89899369effa2c508f1e028916ebc885 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CoCASL/Proof-Support-Examples/BitStream.thy pkg.csize=1011 pkg.size=3144
file ddeeb9ecb9c86311778a22ba0f67474d894ab7bc chash=d35e8849e807517ef12c714f732a82a74d6c0025 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CoCASL/Proof-Support-Examples/NatStream.thy pkg.csize=1522 pkg.size=6054
file c7c41bff20000dfca1e69e29f597977b42ad0324 chash=d9fef9c5c28432a891949c5c61efb24504d51d42 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CoCASL/Proof-Support-Examples/README pkg.csize=833 pkg.size=2493
file 1bf40a8b286933865fa9a14e9da14106a1122347 chash=10d6265bace3108611bd9b0dbdfd4da9ef3eb170 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CoCASL/Proof-Support-Examples/Sequence.thy pkg.csize=1823 pkg.size=7030
file b9bf10f45ddaa34c8b1e8b85e01825a70c7542d4 chash=4fc36cba839c63e6e939c7a3296bae0ccf12041c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CoCASL/Proof-Support-Examples/Stream.thy pkg.csize=1652 pkg.size=7259
file 567d40a9d97b43d896992fe3f1eece0030585cca chash=573cb8fd7a2ee221da870c10b7b05f53a5c877dc group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CoCASL/Proof-Support-Examples/TreeStream.thy pkg.csize=1238 pkg.size=4378
file 5378ee917d5fb8d85359b88be6907c8ba923527a chash=120404963199243e465bfe4447335cc784f1ec4f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CoCASL/Proof-Support-Examples/VendingMachine.thy pkg.csize=1341 pkg.size=5427
file 23c9d977e2d484c9311ce406fc05124faad37b53 chash=4812f760c62da2dd8cef2b7e03fc5778ed60a74b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CoCASL/Proof-Support-Examples/tactics.ML pkg.csize=2482 pkg.size=10089
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic
file aa97fc7a7ed4af849fd46bd86ad0a63c8ec28c81 chash=93bae27d91b33a940baf7765cb59fc385fb64ccd group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/CommonLogic.casl pkg.csize=117 pkg.size=175
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/Examples
file a6c32b4032effb9a6c59a2aa39e27de7d373689b chash=f989a96d195fdaa4485c3e5ae5dd89f464a21abb group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/Examples/COLORE-RelativeInterpretation.het pkg.csize=348 pkg.size=830
file e37ff07129393124abfc2bf0f4347b37f26c63d1 chash=b7e272ecb5c11c9a528a87f205ba64438192d444 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/Examples/COLORE2-Relationships.het pkg.csize=1210 pkg.size=3412
file d975d2ef54725c0e38f281c3479572d7e4333ab4 chash=b5aa2a7f711229d90d6353dcb5ef522d7b0000a8 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/Examples/Cat-AllInOne.clif pkg.csize=106 pkg.size=125
file 3ca75ff199424934ad8aeba8c1e830032f2bff60 chash=21cb4de556415f4235a8fd0ba6c9faf9f685b399 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/Examples/Cat.clif pkg.csize=78 pkg.size=75
file 4dd2495b8bd63a83354e6aa27c6ef7eb801304e2 chash=bce3efc552a302c080074cad0176da27ecdde650 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/Examples/Cat.het pkg.csize=167 pkg.size=233
file 3418a7fd3cb1515cb86e445482a7fbfdf4cad319 chash=b1f3d57885e027ae423da5361570e27e474e6cd9 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/Examples/Partial_Order.clif pkg.csize=177 pkg.size=410
file e87cb950f7a9539b92620589ffdcd9b67d59fbf9 chash=d6ca48008729ab8b0e4be5cab33e4daf71f85cf3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/Examples/Partial_Order_From_Strict_Partial_Order.clif pkg.csize=161 pkg.size=255
file bd00b76d61ea34d419dca24ba2a38e915c89bdc5 chash=20e352ba738db0b32db3c40dce76804fc12163ec group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/Examples/Partial_Orders.het pkg.csize=290 pkg.size=900
file 0f8736e93bfc2d3a65c70980fa8f0e6f7b32aedc chash=b8189ac13534ad1083683032ab1986aa1b38a844 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/Examples/PetHappy.clif pkg.csize=102 pkg.size=108
file 42ea709697a0652f5109c0a5d5d995e62e222ca5 chash=cbc9a6260703899c9f683664aea4ece5a7dcd326 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/Examples/Pred.clif pkg.csize=58 pkg.size=45
file 59a8348680ce202dfe4df08a6b27ca58e869126f chash=ac3a8ba4884dc091fac221f3280a212e3c85fdb6 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/Examples/Strict_Partial_Order.clif pkg.csize=155 pkg.size=323
file 2553b43b848df8765bb2d2f980264dbcde21b5fc chash=a668effd6c1f86edde85dfd9282c6db8ecf6af94 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/Examples/SymbolMap.het pkg.csize=171 pkg.size=242
file a2ddee43bc2f98a29c71cc18f5f2ba4364e1ef2c chash=fcc2ce946c1b1e8e40396c29a966a02402f194ec group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/Examples/colore-meta.pdf pkg.csize=50656 pkg.size=58111
file a99e1aa79315e6dc0b487eb09dbea867754f8094 chash=544745e9beb01e60c87e970ae639da390e479cd2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/Examples/lower.clif pkg.csize=143 pkg.size=165
file 2f3d46ce708f4d70f107d153a69877100bee0ec8 chash=b2e634d6e2a8a3110051d1dfb5c8344574a85bb1 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/Examples/upper.clif pkg.csize=144 pkg.size=165
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/PSL
file 3a64d122893ba34a19b8103e4e2217eba93cd0c5 chash=3bbc67e7d868d803756bc2691a180216b764de32 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/PSL/psl_all.clf pkg.csize=11542 pkg.size=101297
file 3bae398cb244738a1afa0d7363dbf35906b7d16d chash=8efb8cd5f811a6da47b62f0b793097cbf1d75ece group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/PSL/psl_all.het pkg.csize=15438 pkg.size=187997
file a8686973dd5cb4bb037cff91c9eff48e9d232120 chash=3baab69423f5411add6bdabf8cdf45a3e93a8fcf group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/PSL/psl_all_d.clf pkg.csize=38182 pkg.size=363376
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/PaulTyson
file bd7f6a6c08019db9d3e8f35568149e53ac18e3e4 chash=36554f7348d861a851e5b27a9ef3f6f2b549b457 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/PaulTyson/cl-example-pht20130718-xcl1.xcl pkg.csize=1523 pkg.size=11694
file 80113bb46bb5159ef2858e0493abbef7de16c25f chash=9b43ebcd3671c4918ef93382b163d18c31695e9c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/PaulTyson/cl-example-pht20130718-xcl2.xcl pkg.csize=1275 pkg.size=19264
file caeac4a994b76c4689e88ab09ead8ea1c6c9f846 chash=2219fbf9dacfeebe3e33b7b4f0e43153738b8481 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/PaulTyson/cl-example-pht20130718.clif pkg.csize=801 pkg.size=4329
file f343351e2082e3d80d5333dc59ff4d69979d7098 chash=8584f9e955d5481edd438ec579bd3e88be17fc08 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/PaulTyson/cl-example-pht20130718.html pkg.csize=2673 pkg.size=55551
file 62182b4c454eaa0c0b6066502c23cfe49194286f chash=4f9083506645bd7d9ef7bc6f62f192bfb09d4bf2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/arity.het pkg.csize=124 pkg.size=185
file 828e1144be0e31d648969ab9c913b4a5b3821f7f chash=535c08f568c7d9398abeca4c2ad79881c8c795fa group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/colore-check.mk pkg.csize=560 pkg.size=1043
file ef601b17313dbd0c17a691329e0f37937c29e9a7 chash=4f79befcab5ad526f9bafdb4b19e3299eb18882c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/fUML.clif pkg.csize=16310 pkg.size=100610
file cee9196ef68be840fb0e3ae4c5fca4049b943073 chash=e48916147a2a6ecea938e5225284dd3f1936bb2d group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/sumo-cl.clif pkg.csize=108285 pkg.size=519311
file 40236ef4d5ba9ff646b69e108b6bb8f08fcdf9c7 chash=e0ff4635c61215c2a81b56152b675d928e44032a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CommonLogic/test.het pkg.csize=348 pkg.size=839
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Conservativity
file 64961b1eb3e89b398773e7d1222d0782a86eaefd chash=e43985ac077bab7265d1bf7f0749ef9924976736 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Conservativity/example-short.het pkg.csize=320 pkg.size=704
file bedf4325533b39bdc7d37aae9d33ebf43e3e0f22 chash=e91cd350e4eaba8f00407943c7880d25b7d941ff group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Conservativity/examples.het pkg.csize=996 pkg.size=3120
file 271e23edb9ecb17962a5e46c0f521aa30745b49c chash=a4bd0e8fa0d156d0dec5957e09facc0c3d16d0f3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Conservativity/examples.hpf pkg.csize=68 pkg.size=59
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/ConstraintCASL
file 023869a0d254a59ab50c592db64771e924c842f1 chash=86bfcb37fd19b91b853ed79040d6f0110024124a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/ConstraintCASL/ConstraintCASL.proposal pkg.csize=2476 pkg.size=7690
file 8e359b9df2e8e3ef3912a716a544496717ada7a3 chash=4261ed3f72b60e8646729509c74890666392378c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/ConstraintCASL/RCC8.het pkg.csize=1488 pkg.size=5764
file 126974e0a1f6074079c6dc89f5e46b3aa75e1e07 chash=603229478d31f7d2faa79ac4252f05d4d17d807a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/ConstraintCASL/RCC8.lisp pkg.csize=1130 pkg.size=5757
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/CspCASL
file c94b984958e56c401290782e155f9f6d8d0071fd chash=fa797f7c395ad5f62c394f32b3c38053228b649b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CspCASL/Buffer.het pkg.csize=359 pkg.size=839
file fcbea9212c7b70f5d7f659ec9e4442acec8445b6 chash=0987e5e5833c203693a503b453cefd689dca8681 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CspCASL/Complex.het pkg.csize=358 pkg.size=762
file 16d4f7a50201c5fb77dc38c6484769fad53ef6a0 chash=55e585225a0f9b5e8bd8c35b4b5772399e0fd110 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CspCASL/DiningPhilosophers.het pkg.csize=1452 pkg.size=4429
file 81822cbbd4da26b9c34b267c2a73ad939412660f chash=6696247620686529b84a30a9b08a3bedf00ea488 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CspCASL/FileAttributes.het pkg.csize=255 pkg.size=530
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/CspCASL/Shop
file 1a8a53d6303ec30652a8f995b8c04c6024781ca2 chash=ce90daa50a24a44da22586c9641281ec8e966365 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CspCASL/Shop/Arch_Components.het pkg.csize=727 pkg.size=3833
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/CspCASL/Shop/ReadMe
file c84c09d9527fc6ea411e3d80a8d3740254ff63c9 chash=4ef0617798eb45ccb8c5a0042eba21e3d5165cb2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CspCASL/Shop/ReadMe/Hets.png pkg.csize=16807 pkg.size=17995
file 2b6aafa35bea833267276ed10e28886b7f690c99 chash=11b3dc10872e292382d1ac0983ab089d4d23f0cc group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CspCASL/Shop/ReadMe/ReadMe.tex pkg.csize=2295 pkg.size=6708
file 46058c5a2e9b71a7763f20880055faaec33f6e5f chash=7f278b71811c5af5ff894ac406b1e9b107b9e6a7 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CspCASL/Shop/Shop.het pkg.csize=263 pkg.size=879
file 007686db9ee60a817bc815f4ae92492ef5735c32 chash=0fe5a06094acb09bee38fa139ae14dab7d99c8f3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/CspCASL/Shop/Shop.tex pkg.csize=206 pkg.size=299
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/DOL
file a585298c1b79cfb7b5939fdba5cd5d5772689617 chash=9ada92ab0e9ea22affb0e8c8b5c36532d8670456 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/DOL/Alignment.dol pkg.csize=326 pkg.size=840
file 88cdff686cb63d8e896ce0d306f144c12e50b3d9 chash=afbb5e55653d029407618959619c42614d8fc7e3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/DOL/align.dol pkg.csize=269 pkg.size=625
file 9259cf71e4a0e3819234f2204144ac2366e7db87 chash=7a2587b868015a9d01e44f9120178e6560f1c0ae group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/DOL/align2.dol pkg.csize=147 pkg.size=298
file 4b26f673268c30d4c80f391733474ec1fdb9b543 chash=5a02c58a406a3e7a417c341be0aa56f9e48be888 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/DOL/mereology.dol pkg.csize=1195 pkg.size=3248
file dc5c510c8d852a88d0651d29d891ae5b3eed4596 chash=d1dba89b3c9ca73a6c95db679f7350b84283d8e5 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/DOL/minimize.dol pkg.csize=359 pkg.size=1040
file a65d2a0936ad1e5b85ab9808bf02936b7d343614 chash=5f22458c4df054745d1f22af0a373938ecfccc22 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/DOL/minimize_CL.dol pkg.csize=333 pkg.size=797
file d45cbe6373af4d28a128a9aff955cf99fac6412d chash=ddb8b68e651011b591157d8c45913a4e7637f3f7 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/DOL/test.dol pkg.csize=324 pkg.size=592
file 0d1a060c8110151611f5d09982ef6122d8c47533 chash=a7a66b4d2e59345c2c14e42b9081a8bb8f136287 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Datatypes.casl pkg.csize=695 pkg.size=1694
file 46e63af25654b8202ddd667010fd865cb24f0748 chash=ae03f8a81c1bc93e947bb98a210f6093c04c9ba1 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Datatypes.hpf pkg.csize=298 pkg.size=596
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/EnCL
file 0e7c647fbe29cd276a3051956b5b046851670a57 chash=e50cc88a622ceab60f72e07867f9d47e2d1ed40a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/EnCL/EN1591.het pkg.csize=5253 pkg.size=13377
file cefab51f96c39b4bdc7ba72332857f7353f1c19a chash=edaddae8a6150f405522d52ea9c37c5d447952dd group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/EnCL/EN1591Repeat.het pkg.csize=703 pkg.size=1383
file 40075f09da0800c261e181e0d00aa499d47c91b5 chash=9149aa0ca37661c66f098faaef0b37a5a7573e0e group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/EnCL/EN1591S.het pkg.csize=5069 pkg.size=13467
file 9286159dab04b097c4e5f9ae1be5ff611e16bf68 chash=64e172ff0c315c6a9367aa040ec10d679bcd77e8 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/EnCL/ExtParamExamples.het pkg.csize=2020 pkg.size=7466
file 0de951b4d5f74d8bc52b04371ad9f526dc6dfaf3 chash=e36b6a0424dc88f88a5410f7f1a819d2ac5f6698 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/EnCL/README pkg.csize=341 pkg.size=580
file 99b0f64dba9029ba60cb8a7df01c3be4f35506d9 chash=4ac6296554c555700163029decf1f7c59089aa46 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/EnCL/Semantics.thy pkg.csize=5106 pkg.size=16739
file 39ca68dfcb254c643d2d4989647b234a45a66d86 chash=264a97aa367871c7915b0647340303635fbefc25 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/EnCL/SemanticsTests.thy pkg.csize=3518 pkg.size=10295
file dced6ebfdfa28b57c9c3b8e269501ab1637707b8 chash=0cc6108a8075d9bca74623011e0186458254e01c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/EnCL/Tests.het pkg.csize=3061 pkg.size=8486
file 72e7fd6eabceda4b1635aedfab4075d0450f06b1 chash=99de102171bff317a492a6f52c471738aa1346bc group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/EnCL/flange.het pkg.csize=933 pkg.size=2388
file ccd230c052183c6221cbd7b3415af4d5139a7e74 chash=21ba24a4f95cfdcbacb674e931a8ac5ddaf32435 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/EnCL/flange1.het pkg.csize=312 pkg.size=561
file 36c4e703ccbe93aaa05eceeacf7e6fa36e41294e chash=8c15d2abeafd8a6ca715a216380e90004563b6cf group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/EnCL/flangeDefault.het pkg.csize=1448 pkg.size=3773
file f5d5098007449b70808f4d90809361f67b71a48e chash=627aaaff087a12db5407181fbba823d2c1cd4e46 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/EnCL/flangeExported.het pkg.csize=227 pkg.size=410
file 967da98bf637f1ac7940cb78a8c55317aa920a6a chash=18c7662f379f0a67de92cc98259a6ea7703c39d9 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/EnCL/flangeS.het pkg.csize=1698 pkg.size=4500
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Examples
file 38c5043b45013f10ed660c87ff0b8942761937b6 chash=e34d2d24b625732c92b2e92133d745d436cb9e61 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/Architectural.casl pkg.csize=645 pkg.size=1561
file 985800ade39ba1a90af427135372932db97ed192 chash=ac0e9a29ba88b65bbecc580164169134bee39ca6 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/BinInt.casl pkg.csize=558 pkg.size=1176
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Examples/CrashCourse
file 05a65c49e3866368210ff5e0361082aca35e2e9f chash=9af6354e4481ef094faadf3f9014d708b15df027 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/CrashCourse/FamilyBaseOWL.het pkg.csize=447 pkg.size=1546
file 0fc1d783b0435bcc72abd16ba1d9a35590724c6c chash=538e71a1eb43afe9b7ffea909ce0358161b86ed7 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/CrashCourse/Function.het pkg.csize=269 pkg.size=529
file d025240286bdea1868a2d61a1279e13c3db0dad2 chash=a033a5be7bd778a985e870fcd7cc17ebb6160dd1 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/Generic.casl pkg.csize=1412 pkg.size=4275
file 63b230cc9537e230882c1725201b2c6b5fb595ff chash=5884bdc1f0f52b1ffff33451925277226e793f69 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/Groups.casl pkg.csize=157 pkg.size=191
file c18c92bc53dffe5466d77b975e752a6b43d7f623 chash=ad9e8757a7eb3252938e7e9115716ec4f49ae0e8 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/List.casl pkg.csize=421 pkg.size=987
file 85485556766933520dcd2ca44d139cdb21b62482 chash=cbab394a710c22e490651ff8075264fca07f56c5 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/MeasureUnits.casl pkg.csize=716 pkg.size=1649
file 58dc1428964601c77df0bd84694a3be37fc4ae04 chash=79d095f9de51c686121156bb69d6c18ef0452fe6 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/NFS.casl pkg.csize=2847 pkg.size=14575
file 4cdf0c8bfdddc3edeebed450bc4d583381d97662 chash=0370ce3e09d0842813db0e97c20ba415e36a5c47 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/Nat.casl pkg.csize=181 pkg.size=288
file cfdbac0c074560940df8f3140030cd82d57dd062 chash=14b5576707d3ac97751b89f3f4aaa4cf381a4e2d group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/POINT.casl pkg.csize=876 pkg.size=2940
file fbc5cc42783d6492b0baf51dc0a5ee9b728f662d chash=54216024ef64fb05aa1ae42eacb62f89f30b146b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/Reichel.casl pkg.csize=1118 pkg.size=2970
file 99d11f8a92903141b36e11330273b2165331153a chash=21c1d942c4c904cc064c3f98a181cd19d78e1a2e group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/Reverse.casl pkg.csize=444 pkg.size=1522
file bae25792e040f9ce4ff08788f360ec4f42e4fe88 chash=3fd8977536d4cb769daa053cfd6a401b43fac366 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/Signature.casl pkg.csize=515 pkg.size=1428
file 049a779e53699c7c7fc2ba6e3be610e317d97e06 chash=5fb5e4d9e073f60743dbccfbbbd9df9b1b070cc8 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/Simple.casl pkg.csize=500 pkg.size=1111
file b828d044d4bf64a2e38926523ac7885315b7272d chash=a1cb8aec69c0fb49b77a9233086fd08d3dc86d92 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/Sorting.casl pkg.csize=642 pkg.size=1691
file a660f9efa953c4bd0e35bb7b09fb64a2555dbeca chash=5915e3acab5e3a43257886491d558c9aeeefa919 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/SortingWithOutHiding.casl pkg.csize=630 pkg.size=1665
file 0dbb5ff6014fb9b9a301868fc5e0f22e36071fb0 chash=8118bb525f4559db5c73060711778fc4df655f46 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/TestImplies.casl pkg.csize=85 pkg.size=72
file 060a1b95ac2ac79fc488b5a28193c4d6e123c3ac chash=0977ca2244d1bb6b9dd56c4b0899ff2c9abc77e7 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/cons_test.casl pkg.csize=467 pkg.size=1281
file 2fc771ea30137d23d3246ce5ff7be5395e36df9c chash=78afe0c3815efe6dc5d7cfe8e6e2fc975424b48f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/dodatek.casl pkg.csize=1881 pkg.size=7057
file 0371470bb1e2ec2879f3b090efa2ae06611843d1 chash=cdf9d7caf9db70a27d79c0fb4c837b209547e04b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/lambda.het pkg.csize=229 pkg.size=469
file 3549b6772bb7cb49fb6e5935f894ae441ccda8fc chash=63757434666dd6f3e2ee246317d31591979e0e02 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/view-test1.casl pkg.csize=133 pkg.size=160
file acc8ba00a9da72dfd838819e23f50a7d940f32d3 chash=250cecf249751b34ebde15cd143a153ff0b1fa81 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/view-test2.casl pkg.csize=164 pkg.size=221
file bf7a29c396e32c59dec25cc53676b94dee62e7df chash=32fdb87b552eb3383b07ab646f803b4955639613 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/view-test3.casl pkg.csize=157 pkg.size=210
file dbffe40c6b75278dc64f38f9d3b8b5e01e0682df chash=251f0321235596021c5b8fd48863589057cc1f96 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/view-test4.casl pkg.csize=169 pkg.size=278
file 8e631cfbb369fb914ed7868e19a5009f5fcb2daa chash=3d0dadc8a1e5e08b7b75875e4d4903df21dcc1ce group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Examples/view-test5.casl pkg.csize=157 pkg.size=231
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL
file 09cce9dedd3b80b438f47202e95cafeab27f7a81 chash=e12acc41c66ba8ad3344f9b6aaf6433906a79a43 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/AffineGeometry.het pkg.csize=648 pkg.size=1737
file 2cc7c0c168394ef1bdc92bcb16990031c83a3086 chash=267633633a3aa956402485209ef5e7f29301dfe6 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/AffineGeometry_ExtAffineSpace_E1.thy pkg.csize=1713 pkg.size=6860
file 39c2d2da4860cde09cbff50bf531ec66db217b8f chash=8bfaf9d6d5d89550d8de4ee48e29e2353e170013 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Algebra.het pkg.csize=763 pkg.size=1954
file 36c990d1b21fe12198f16a90462ba5f2f30dd919 chash=5e24cda7a3ebd219d7eefed21deeb6f8b6376be9 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Algebra_Group_E1.thy pkg.csize=668 pkg.size=1792
file 296653e4b37b7b1451d818c8ef90b5d5b9a54788 chash=6e6bbb6cd48815dcec59bb3f92488742b1a0eee2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Algebra_Ring_E1.thy pkg.csize=949 pkg.size=3453
file 3ecfe300e0919731e6d48c225a435affb22ace3e chash=87327be56ace1fa893420ccb8cfe7dd7c03d002e group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Categories.het pkg.csize=1211 pkg.size=3888
file c573be6df6888b7c506bc63f69313b6451f27e7a chash=3ad7dceb484a7e87b7b2640eefebd4616c599844 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Complex.het pkg.csize=550 pkg.size=1234
file 0d93e118949e48d787969a8d2c20b7b8dc07d6d8 chash=af78b6ad80719ba73085fae77127840380ae0970 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/EuclideanSpaces.het pkg.csize=1508 pkg.size=5410
file c3a5af55ad959bf29de7f015f2a39a246b6c7353 chash=e7ccfffb1b0a7398584a644e51e020f836e50aea group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/ExtNumbers.het pkg.csize=2027 pkg.size=7538
file ecd5800e7f1e35939163c341b74d369877fbc8ee chash=b4ecde70c6d92d1c929d897ce74ae201440dcb9c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Foldl.het pkg.csize=428 pkg.size=877
file 8c9e6d6820b756a3a925825f1b14d09e897e9a1c chash=7b9fd60f3a64d5ada872809830111c4907497488 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Foldl2.het pkg.csize=346 pkg.size=750
file f78dec85e66a30f9c5f01cca8c19bc1d5cfa96b4 chash=8ab6300e521288ec464b88872cf58e22b4612811 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Foldl3.het pkg.csize=340 pkg.size=897
file 7c45e8e1bba1507d96d3595d4b95d6bccb137278 chash=866a8b92b4ca88f42bbf7e619e8b0e9ba58baa76 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Foldl3_FoldlImpl_Proofs.thy pkg.csize=662 pkg.size=2382
file 4a86aae7cf716ca075bd7e83bcaa0d6885082adf chash=eda7b3fbeda003175a830520de66402ebf8c7311 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Foldl3_FoldlImpl_Proofs2.thy pkg.csize=873 pkg.size=3793
file ee474add4c8932f7c097439e6d73174b8f18cd35 chash=b534b93a949f6fb31a17207d2fad54f29a876d6e group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Foldl4.het pkg.csize=292 pkg.size=796
file bff8b68b92b5742c9133e40a185cbef06547e859 chash=38788b67030c86460d03e45ab30016fe35452653 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Functions.het pkg.csize=394 pkg.size=1144
file ee04b65e79c9d964399d236f86c9cd908c102a4a chash=417a4cf79a9d03e35be12a88a1eaae25c0ca8371 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Functions_1.thy pkg.csize=524 pkg.size=1534
file 0b0dde711e448a29b1ecf667338bcf852c51ae2f chash=ba618969cef12128a232e4bdeae05ae327ec9d01 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Functions_2.thy pkg.csize=558 pkg.size=1201
file d7cb70c5b981c74325f0c0515c0ea5774725aebd chash=6f37119dfe200c4276ea79840825e15af2e4dfe7 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Functions_FiniteSeq_E1.monadic.thy pkg.csize=1623 pkg.size=5890
file 378ba8e45a6fd5d9d38e1b97fdd8b7047309c29b chash=86d58affbb9c27290d08b53b8b1ffe347c700408 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Functions_MainHC.thy pkg.csize=1076 pkg.size=4566
file 8172a4d4ed9647e4437892a0f8e4fa537add16a0 chash=cb14e03a4ac345d9d78b968662616b9173359f50 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Functions_MainHC2.thy pkg.csize=1331 pkg.size=6123
file 621041ac8c33a59f24a1bf532cf0bd17b6d5138e chash=44c8b21e9bc67eba6596cabaa6aa1130b729e9cd group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Functions_MainHC3.thy pkg.csize=836 pkg.size=2912
file e9e7be321e097a4ed3f071453cc65e6df68fef22 chash=0aadb89fd2ad831fd079d5c755521d21486d0d68 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Functions_option.thy pkg.csize=681 pkg.size=1995
file 3549688901c3a1ffa8b9a4f0ff69bf2fbd3d9fc1 chash=c42ba683e869a13d37c08b0834049bba8d16ef42 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Functions_option_manual.thy pkg.csize=1175 pkg.size=4230
file 5d139557fa753e69370357601525b88c0042cd79 chash=1bda1c6102b50ee563c85283c73748df86d63059 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Functions_pair.thy pkg.csize=764 pkg.size=2230
file 77835872c5390818f22d9d85372e9d05b85d17f2 chash=ea016e879a3f3975c7b2de9f32659d4233254573 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Graphs.het pkg.csize=2680 pkg.size=9679
file 9736466536e2eba0a38b62b2145d0c141162feda chash=fa619f239647956cde6b2d8612264f4362666a90 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/HLR.het pkg.csize=451 pkg.size=984
file 3bc196df99254445eb2c4363357518416898338a chash=d7a2a2c3024416a10b2f613adb67c392a93b54fa group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/HaskellLibs_1.thy pkg.csize=1720 pkg.size=8623
file 1db1257b26a9673054ef796b81fa404804a67b2b chash=c8738bca2400c2a8c7ad794bd17baec2a52f022f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/HaskellLibs_LK.thy pkg.csize=854 pkg.size=5011
file 1b9de649ee0e975451f2c91d1ac050e3274fe553 chash=2452c35f4caebbd0afc9e5b07a2c2fecd07c7548 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Iteration.het pkg.csize=526 pkg.size=1078
file 70bdb7677bc793d788aca63195bbdb43da20d668 chash=08d43eb9aa7b0ae19639a95f1f415ff46eaacdf1 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/LinearAlgebra.het pkg.csize=1523 pkg.size=4174
file 1f9e571bd5df1e5b990cb8f017e8a01c81475cc0 chash=2b295ae25f4dc45c16b495ad236b0b3946689421 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/LinearAlgebra_EuclideanSpaceIsNormedSpace_T.thy pkg.csize=3613 pkg.size=17562
file 7cb800d4048287402d2079a54acdeb1fd2e7c340 chash=3b17f70bf0f0aafd2bb5384c645621e85b912b9c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/LinearAlgebra_EuclideanVectorSpace_E1.thy pkg.csize=2751 pkg.size=12572
file fe514a32d52ddecdca3fee77e09516174b3b7ebe chash=58f6dc130558c9da3be64bdc785625f4d4546afa group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/LinearAlgebra_ExtEuclideanVectorSpace_E1.thy pkg.csize=3419 pkg.size=16511
file 932f5889a2339ff4215fa2fad69f75743e584d10 chash=4b802a545f555593cd92ddeb24d11b5e24120e45 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/LinearAlgebra_VectorSpace_E1.thy pkg.csize=1536 pkg.size=6189
file 9f395709e0388f2f8271b75657ad1d2bedd85aeb chash=f8b0a3e4dbb60220af1af419ded4cd8111e7c7b2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/List.het pkg.csize=1037 pkg.size=3571
file aaef4aaa5143088f14c8ed36456a089ffdb6c970 chash=a36e7e52135019389640ebed529a4a473b8b1b22 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Map.het pkg.csize=465 pkg.size=1242
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Metatheory
file d78bb8bd2b65be5ed1a4adcecc84d005d878b660 chash=9f325c91a4498cde3ff36cba8ba5abf48746ffda group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Metatheory/Coproduct.het pkg.csize=568 pkg.size=1176
file 99f32ebc672e0cc5bb31f72be5af2f8d54d20c16 chash=f0906d2df9bd40ffe58638e6fb367c03a932da08 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Metatheory/Functor.het pkg.csize=889 pkg.size=2285
file cd5ba283f11ada2c1f2dee1ecb683ddfc518d430 chash=5a643850b9345d968f787fe5ea807a05cc741d75 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Metatheory/HasCASL-Metatheory-Libraries.tex pkg.csize=292 pkg.size=687
file b16c3fbd33744739dbec7a1f8eddbb536301e59c chash=cdacb23ceefede418cef5ed0bdd5e89ca87507f4 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Metatheory/Hoare.het pkg.csize=698 pkg.size=1767
file 339d64dc1a201c1099112279b6187f0fd7d022f1 chash=dbc676f382e653be8cbadfbcc13e0e641dcdc193 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Metatheory/Interpreter.het pkg.csize=279 pkg.size=605
file cbcccfec0f8d9bbd9b064f2ac98d31cf0002ad78 chash=2aff6ae74d995e46dac484168bf3e9d7eba18401 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Metatheory/Iteration.het pkg.csize=288 pkg.size=594
file bde0a0203b68bec46e006c6ef819df8f202547cd chash=9ebf97f6808d5cdc85d5c0da5036e3fcca0863f1 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Metatheory/Monad.het pkg.csize=624 pkg.size=1511
file 30becd6a323834f143082aa8cc441e4b83ca9d6c chash=e6ed40c5643c5c3e43cab54e89180daafa8894b5 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Metatheory/Ord.het pkg.csize=269 pkg.size=449
file 4f4944f5f47134ba4000987e2b4f26b0c1a5de21 chash=8aff919503af14761d5ce3c743ee60fe7cf2f558 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Metatheory/Recursion.het pkg.csize=689 pkg.size=1593
file ad7e669f0f15c309373dea71c3cf716be9a6c8d8 chash=a33f1e1ef3f2c5479479ecfa2446d34e1f0421eb group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Metric.het pkg.csize=969 pkg.size=2764
file ab3ec5d8f24f7031103e2d20c6b7480e245864a1 chash=fb2282815602fc9942b54600c88fe047e1917552 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/MetricSpaces.het pkg.csize=529 pkg.size=1389
file 16eef09ce30a00ecbcf244dd3a211bff8d51cd04 chash=2d150aa1044dd5c99f8b9e9137ee69a38f5a606b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/MetricSpaces2.het pkg.csize=779 pkg.size=2297
file 21463b201089b7a7dbfada1dcb40f60461445fc6 chash=0af050c58335650a95d28e64ae3f6570df9a184b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/MultiSet.het pkg.csize=794 pkg.size=2368
file 5a5524a9c1eeedca9ccb87cf8ae0b60535a28f34 chash=8e51c4f7856fbdc75aac42e150975dcde784b8eb group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/MyLogic.hs pkg.csize=510 pkg.size=1096
file 80e1127d2a53b51dbcb190a6978d8b2f21259810 chash=9934155b2a855e56906c9a78fabde12e7a1e267a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Natpartial.het pkg.csize=211 pkg.size=388
file cd8a5d38efb8d025d531848810b759dcbbc8ab92 chash=e44681b573b91a052841723c26ec79fe85cf5948 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Natpartial_Nat.thy pkg.csize=6374 pkg.size=31470
file bbea0f2be066e88b2dce7f9943918b721a3e7c89 chash=85de39c3dbaa3dc2c9ba1dedf79261ba6bdf785e group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/PartialityTest.hets pkg.csize=179 pkg.size=266
file 4c29b9c78fac6854965d87809bf601219ad84d27 chash=58c24e12623427b9de18a317a1d92b717bb443ac group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/PartialityTest_Test_E1.manual.thy pkg.csize=1012 pkg.size=4249
file eba44cd14713cb61a36d10ce066dc2edccf774a0 chash=21cc865f7a38f59aa90fa50a6791de92d61a047f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Petri.het pkg.csize=966 pkg.size=2988
file a20c7d789678b0dd91d8872df9e002eb484e4835 chash=660020ef95594d148d53e5dc269cbeb075963700 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/PetriSystem.het pkg.csize=1328 pkg.size=4061
file a7b254232e7a57df87067a9268c9dcaf7fb5d119 chash=1d8c6b1933cec1239d1638a92e9fa4ffc49eef06 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real.het pkg.csize=1559 pkg.size=5225
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D
file 2dacb83dbe172ac84eae15205453d9b54a398f85 chash=d93dbcc16e0eb99506b5e931b7e7139903bae1eb group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/Basics.het pkg.csize=2460 pkg.size=6815
file ff8288ff0ceb6c0f97b10c28233555b39c0c1f98 chash=0bfa40098f5cc4ff89dc257e3cbdc0acb4cecc5d group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/Basics_AffineRealSpace3D_aux.thy pkg.csize=4990 pkg.size=23711
file 665a889d4f11574d8a3dbb7772653d2cfbaac560 chash=af2d211408c7376bd2f17316639ddaec9d5b6746 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/Basics_SetsWithComprehension_E1.thy pkg.csize=959 pkg.size=3238
file 97b67a8cd13f25180a627be82d84048c168f74ae chash=940f8efd4283f418ef2da9f2104b7675409f5f4c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/Basics_Vectors3DSpace_E1.thy pkg.csize=4844 pkg.size=22004
file 640f5b0e308e7cfc779f3ff49cd0135226d3a719 chash=e708f41f702930cde3c10ce68eb5215126bd8134 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/Basics_Vectors3DSpace_E1A.thy pkg.csize=3780 pkg.size=19351
file 41998e1253b7ba7ad9ff98e2361ac2f71f186783 chash=36b091f5e1dbb18d23cfb6f66c26856dd75f43be group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/Basics_Vectors3D_E1.thy pkg.csize=3477 pkg.size=15727
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/CSL
file 9e377a33f8f65f584c50a8fe4c93b8099d8074ff chash=d0a9295db51cb7af2530e107e2eb1fb25c24a1f3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/CSL/Language.het pkg.csize=775 pkg.size=1713
file 6070900637db3db4461bc20d518694c65d15c698 chash=e3cb9888d6a7d1d91cc09ece44a8577a7d6032c5 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/Geometry.het pkg.csize=585 pkg.size=1644
file c1d7ae0af2f38372ab1551fafc70e66215aa9931 chash=c2a1d781884a62eace0137053156c752767c43ed group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/Geometry_Plane.thy pkg.csize=5997 pkg.size=28118
file c319a783cbe1512b170296a019fd8741a35ed8f1 chash=cd808502b05381dc8fa65f76ba29f638e1a927cb group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/RigidBodyMechanics.het pkg.csize=923 pkg.size=2480
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks
file 2d944ca28894ffc5ce9a60b88fe09a4a6869c3f5 chash=1b7b08f8864dbf9866b7cbf74207505fb8a53cc3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/ComputeParams.het pkg.csize=487 pkg.size=1110
file 40867f53e95ea566aabefb32a7aa1412f05d7805 chash=7ec0e96546e3cf86e9f733281a5bd9911a275ac3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/CylinderView.thy pkg.csize=14941 pkg.size=70515
file 8d56b4eda4894534c10a81b597b8283d9871d340 chash=ba4045fe56676b43fce057e318abec3f86fb5729 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/DesignPatternLib.het pkg.csize=581 pkg.size=1698
file 854153d69abb30917415b318ee8e458028fedac4 chash=473e31a9f9e051c91701410ff84da34414d86e9f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/EN1591.het pkg.csize=2045 pkg.size=4547
file d504d32df89b51c8dac85debfce9ea6c46c0df00 chash=4f32ea72a4aead8dec25fa513986f7482891ffd9 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/FlangePattern.het pkg.csize=949 pkg.size=2606
file 2b91112d0a54febbc4144bcd66d87931a19478c3 chash=1510fe7e925d939c3bedd63f49385595f2a5940b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/HammerPrinciple.het pkg.csize=1417 pkg.size=3576
file 0b1bac3f892d52a89327d5a8f840c41cc001a2c1 chash=9ad0ddf22b89d5ab47f665e98b42d92c62f9e0b2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/Matchtest.het pkg.csize=1373 pkg.size=3245
file 1519d6244c7319c27f03a2d0b5867dab22b89a04 chash=4fb68d358d594818a3c6ecf9a310b7a328e42dbc group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/Principles.het pkg.csize=1282 pkg.size=3107
file 417e46e742de566e075dbaf3b719a422877a5eb4 chash=e2334fab6e3a5328fff890a99fbf6dae48ef3a96 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/SW.het pkg.csize=570 pkg.size=1676
file b8c704c721464cb35591d697077972bef47011b0 chash=2bc8f82d240c3544070a54f4515cfdb02447d695 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/SWCommonPatterns.het pkg.csize=620 pkg.size=1583
file 5ce6b15e7c2419153f9d0d025cd597755a0319e4 chash=7b98dfe794ae69f69e1d0de69a533a6cd5c60948 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/SWCommonPatternsNoView.het pkg.csize=793 pkg.size=1975
file fbf97aedebf664290411b7e8f713357dc2b52d7f chash=5232f29152cd8184d94b3cc400443d72073986d2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/SWCommonPatterns_SWCylByAE_IsCylinder_T.thy pkg.csize=14723 pkg.size=70548
file e2055fbc51a92765a4d9bedb50f7b4513d2497d5 chash=f5e1ef9bff4d5aa6705a8c11425323c1b1c15d2a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/SWCommonPatterns_SolidWorksCylByArcExtrusion_is_AbstractCylinder.thy pkg.csize=8371 pkg.size=39017
file a2c345fef4e6e54d2d62ee0826fc7cad1e46fec8 chash=5d1d409b48dd44a01853e7b4bfd0397d874edceb group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/SWCommonPatterns_SolidWorksCylByArcExtrusion_is_AffineCylinder.thy pkg.csize=10892 pkg.size=57316
file 412eff075f8fdade361187b5812a76441c6936cd chash=072209744eed260c5b65f9513dfc54d0d4c73bb2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/SWExt.het pkg.csize=240 pkg.size=623
file fcf142ecb4f59515644d1f2d5ee09ca3bc3e133a chash=2da471af3d65ea24685604280c2609d91f62f0a9 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/SolidWorks.het pkg.csize=2572 pkg.size=8260
file 556dc9831d314731bbdb1f06d41ff83c9605f8fc chash=6a5565f6c184243dbfbd80c671a4f42c8db246bc group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/Teil1.het pkg.csize=903 pkg.size=1890
file 4c60b1341a1da2856cf84035cc72e34509ac103a chash=849e540d8c8656c93319b33c2e9efc4fdd91ac52 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/flange.het pkg.csize=669 pkg.size=1751
file cf8e915859c74f731b2a61d0a81f981830db900c chash=119b323f1bf08a9f401de6b9bec37ccda063f3b7 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/match.log pkg.csize=954 pkg.size=11393
file fb35739a0f15fab849fe35703ca53f61c2abea95 chash=f990096d720aadec9e4eb963c7581c45637dcf7c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/RealDef.het pkg.csize=1567 pkg.size=4837
file ffe790ca66f297989f1b9cbbe403946704939136 chash=8d4bf433c52514eb67da6fb6e28141910dfb3f9c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/RealDefCantor.het pkg.csize=1733 pkg.size=7205
file 111062d04d7b44167f3da10860c0ec040e56c57c chash=93e47e191dcd2a865d9c5edc97110e7fb0425ca8 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/RealDefDedekind.het pkg.csize=1209 pkg.size=3265
file d3220f6ef4f454ee8eb9ad4c01ba9458249e5e5d chash=fafb1ed069372913f40ee3ac92e89f42b71f268b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/RealDefDedekindIsa.het pkg.csize=836 pkg.size=1885
file 2014b42a154051ac103e6dfabb04170525947a6e chash=45890bb08d822ad5491136f308142facafc5bb62 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/RealDefNAdd.het pkg.csize=1420 pkg.size=4234
file 5f2fd49b3be17eb67e49c560fa9410c6c5ec51c4 chash=361acd0a3af185e582e627bae08322df05a6babd group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Reals.het pkg.csize=1523 pkg.size=4252
file 28100f69450a9dae4049509efc8b6c8daadd20bd chash=a528b5735a7c10cab9642f368e8a0841ac0d1a91 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Recursion.het pkg.csize=254 pkg.size=547
file 95ff9a017861a6e4fd626f18f81ca725c8762773 chash=ec80525fa7e176baeb01336b488cff4c2ef190b0 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Secd.het pkg.csize=2147 pkg.size=6175
file a9390f581c03d6b335e313fb819d345aa7c26ce5 chash=42f65b6f934b8ac1e2ab5a84f8135da4da6826df group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/Set.het pkg.csize=3354 pkg.size=9809
file 2a6146c854a5647de223f5b2566feb574effb088 chash=6f59273b0cd0335f2df68fa55a13b8b9ef340127 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/SinCos.het pkg.csize=1724 pkg.size=5836
file 4c71d77e8e619474a48d57d1f762f19535151ad8 chash=f7afbfd55e188e637d2a78a887c62cfb6a51cf40 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/SinCos_FieldWithSinCos_E1.thy pkg.csize=1351 pkg.size=5867
file f6cc3d59ceaef1b6851fb6b5f84fb2a59e4ef392 chash=4ed8c1a8275f00970830d17aa590be86828e7ca8 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/State.het pkg.csize=351 pkg.size=914
file 47a57898bb464ea4760586988eeacbf42da94d83 chash=90fd20a873df7ca4aee54dbc78257a241daacc2e group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/State_1.thy pkg.csize=517 pkg.size=1878
file c63bad5cb845a887f6298ebf23a94027b75f7ce7 chash=e4ae50cf7c1676e2252a7a84d3622eff3e897c92 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/StructuredDatatypes.het pkg.csize=516 pkg.size=1133
file bf33049bc2f75f6e5881e3e62d4fde5ae88e9306 chash=03110e8b87c42e684ed9c950fac1d2b83f4c51a6 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/TopologicalSpaces.het pkg.csize=1282 pkg.size=4893
file 569798dc1e9292f37224896508a1c6f43df1366e chash=849f440a36e8f7a93703a8bc69ad13165c52826a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/cantorbernstein.het pkg.csize=1571 pkg.size=6146
file d4265eb6f9c81fca21ec46ef3eb8ab4159fbb84d chash=8ec43d874c9363ac0208c9dbe8c6ef04c577124f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/checktheories pkg.csize=112 pkg.size=124
file 63b3f8b80f62980590ab0d8a98148dc9421a55f9 chash=045fef31f02405b3591c7f3cde9f7ef010fa1b39 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/finiteseq.het pkg.csize=690 pkg.size=1731
file 86cee0a6c9cf7ecb7d8ae6e25cbc5d2c0efb83ac chash=1f7f76ed18f6ab07d20110185603127c30d6144f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/finiteseq_option.thy pkg.csize=1679 pkg.size=6721
file 3171eeb47e827e07356bb9027220991a9e9d1603 chash=269ad876c3cb94eb1c458ea77562553b0f8420ea group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/finiteseq_option2.thy pkg.csize=2209 pkg.size=9189
file 08455ce9e8e69b22ec8a482643bef68c8863b2c8 chash=0086a3c12bdaeb20cb5711cdc78ced22cd2cd015 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/nsmap.thy pkg.csize=1231 pkg.size=4386
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/partiality-translations
file 8d3cb8044344a900f6c4cfc224b115c9525e4df7 chash=2ffe6525141856bf8f12f1c83dedfdb79f030898 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/partiality-translations/Map.het pkg.csize=304 pkg.size=685
file a6bc5e71362ad20cdffd2dc6121c12a66f6a702a chash=1615728c822b57befb7a8ea1c397162b6efccf76 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/partiality-translations/Map_Monadic.thy pkg.csize=619 pkg.size=1727
file 0677223fefe6808efdd73286139cdb75b058d931 chash=65f262c3066bc03363e93a77459e1f82832e9282 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/partiality-translations/Map_Normalizing.thy pkg.csize=751 pkg.size=2308
link path=local/usr/lib/hets/hets-lib/HasCASL/partiality-translations/Nat_monadic.thy target=../../Isabelle/ISO/Nat_monadic.thy
link path=local/usr/lib/hets/hets-lib/HasCASL/partiality-translations/Nat_normalising.thy target=../../Isabelle/ISO/Nat_normalising.thy
file e23b7174a6ed141b67e3fe086c25c300e40b81d7 chash=c998a262db70cb2079e7a8839a806bcaa0100408 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/partiality-translations/PartMinus.het pkg.csize=425 pkg.size=855
file c3d9528a41cf0efafe9d6279d60d2746081ca949 chash=837f76399e6d6a69cac1e8fe4a73908c71f770eb group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/partiality-translations/PartMinus_Monadic.thy pkg.csize=647 pkg.size=2154
file c2eaf2434b67d3a483e049c8c250c13262a8585e chash=8a189be9c8ba7327578f20822ce62d61cf84c7df group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/partiality-translations/PartMinus_Normalizing.thy pkg.csize=1060 pkg.size=4487
file bbea0f2be066e88b2dce7f9943918b721a3e7c89 chash=85de39c3dbaa3dc2c9ba1dedf79261ba6bdf785e group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/partiality-translations/PartialityTest.het pkg.csize=179 pkg.size=266
file 1e12872af8a803f7a3a0c26d63a1a5b1c96e1afc chash=ed2771ee9d7834bf7688c59ea0b13c11fd82633a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/partiality-translations/PartialityTest_Monadic.thy pkg.csize=475 pkg.size=1170
file 81e4affa9461f4c9c8932c8b20bc53cd89aae8bf chash=aac905437e8b946b2483f3664a36fa77c6a901ea group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HasCASL/partiality-translations/PartialityTest_Normalizing.thy pkg.csize=487 pkg.size=1393
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/HelloWorldExamples
file f4ba93c0bd7d277f5b5c8fb133f3fded99c3c33d chash=c2bce52bb5ad9c706a1313e5ece6097e3a29ddaf group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HelloWorldExamples/Function.het pkg.csize=194 pkg.size=366
file 768b0841bbef8815eb4017af7d38017aec21820a chash=5ceacbf633ed4b7fa462c47538bb46ed1a8d6c4a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HelloWorldExamples/Het-CL.het pkg.csize=89 pkg.size=79
file 8bd6a1451dfc54c56c51981612cbe6a719b84efc chash=c61342001a80839838a8f8495d200e6ee5b2fb9a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HelloWorldExamples/Het-OWL.het pkg.csize=380 pkg.size=1451
file 866e22f32a2284707d7edc6fec6561ca48d3d411 chash=ba9b62e2555e32522bb777789eb96dfd5bcf529b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HelloWorldExamples/Het-Union.het pkg.csize=86 pkg.size=107
file 70ab07c656907cf116153c6e74bd32e9f4c62a64 chash=5539be1487d20c32f0476222c7eee8ed47ba1787 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HelloWorldExamples/ToProve.clif pkg.csize=96 pkg.size=118
file 30500a9685e7f197902fe1c1447aa07c2c0d2406 chash=bc9c12ddc0a7f49e6368863bab3dc7264d4c501c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HelloWorldExamples/ToProve.het pkg.csize=130 pkg.size=163
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/HetCASL
file a8e5bf6aaad51ff8ec7c5ba223e90a06e2a7c950 chash=131d50482b778b025900c70dee5c27ab7a31206f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HetCASL/Filter.het pkg.csize=439 pkg.size=1365
file 8239150fc5d21e36c6acbd7d1566333401d9d7c3 chash=425374283e99d99861b0dc6106238be88a190df5 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HetCASL/Graphics.het pkg.csize=161 pkg.size=215
file b4c36750c60e17414b4f1c67d78413e4b52822df chash=9fcc41dfadac384803f1455fab81ce5c63dc7236 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HetCASL/Syntax.txt pkg.csize=2255 pkg.size=8016
file 48f2d572cf5cb5dea42c69c6652fc32c9930aac4 chash=a86bee106aee75d708b6b64bea8a4cac03600f3b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HetCASL/haskell-test.het pkg.csize=148 pkg.size=241
file e5b0f08d4943277700ff1313e5f04a1194cc87e0 chash=7b5cac329d6427cd92ed9d5060956e3a1de3339f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HidingOWL.het pkg.csize=396 pkg.size=1063
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/HolLight
file 03b3f71aa62f3650fe2a998e155acffcd029b317 chash=0210359f9afeb3b4eaa0f3d1cee2ae28dcbdeeda group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/HolLight/example_binom.hol pkg.csize=351 pkg.size=793
file 79763458103879bb1e72c39f0882ad7a1b046052 chash=9ac685427746d1fb98492c0a665886146c13acbd group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Hugo.casl pkg.csize=172 pkg.size=379
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Hybrid
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Hybrid/HetsVsDedProvers
file 69f874a34d3244bb5fee610c64817dbfd59fd678 chash=b7fa070e7c6b3a1dfce0e10e7a95b0baf0dc8799 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Hybrid/HetsVsDedProvers/hard.het pkg.csize=275 pkg.size=709
file 0e084a7795faf1ad44a632d11508c6f35811fc7e chash=a23511cd045bfc9789a1a036434d678d2e31b456 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Hybrid/HetsVsDedProvers/hard2.het pkg.csize=228 pkg.size=396
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Hybrid/ReconfCalc
file 1ad327468efdb31ec9bfb3219eb618a225c73498 chash=a6d13bf1c0140a43c9c3ebd6a90a6605fa763bc4 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Hybrid/ReconfCalc/calc.het pkg.csize=1219 pkg.size=3975
file 4da439f6cc095141de9d174900f4bc62a4396a87 chash=d61f54639a21f910b162bfd5d3a9bdaf8fbac2c6 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Hybrid/geo.het pkg.csize=233 pkg.size=487
file ff031c610ed8b7468a22626d725cb479bf3198cb chash=7f32515452c0e2949847cfd48bd2b994855776f8 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Hybrid/simpleSentences.het pkg.csize=297 pkg.size=606
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/2008
file b4d61aafd896c4998b4452c511c7e6b4dce0507f chash=8cca103a6f9b362caedce99d1ec20de910bcd4bc group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/2008/MainHC.thy pkg.csize=1710 pkg.size=6472
file 4707f3567316ff923ce954eb4980b677a6321527 chash=52ec43e5d6de59dc6730bb963ba1d9b09df66f62 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/2008/prelude.ML pkg.csize=640 pkg.size=1512
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/2011
file 79dd5dd6988c4f8a6fdbf5cf14b58028aeed50bf chash=9b4db56f544c9b42e92ae0cc6fb18a81b35bb373 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/2011/HsHOL.thy pkg.csize=376 pkg.size=739
file dedcfd1e467c657343c3ac3093426542986ef430 chash=8f55e2ee19e403da1baa114307d5bc8c091adaef group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/2011/HsHOLCF.thy pkg.csize=3971 pkg.size=15165
file 27f2a73f4832c06db191bec5c8ea6b8fb540afb1 chash=c185d18d11e355a61ec9c0f10d54228da93aab12 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/2011/MainHC.thy pkg.csize=1714 pkg.size=6498
file f46bc68703dcef883614835d3876bc661e29b83f chash=77af1587c4b4cd341fcbfd92e84dc51d80b9d40f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/2011/prelude.ML pkg.csize=524 pkg.size=1167
file 194faa94ac52403876e979fe920d71057e895ac1 chash=f43cd487628ff0f5026cccfedd8deb4b283ebaff group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/Ext_Nat.thy pkg.csize=431 pkg.size=897
file 042bdbfcc1a87eb523820e3f47cd61b2e907fb12 chash=63749cd467176b489ed040683a299dc2deb8a280 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/HCTactic.ML pkg.csize=805 pkg.size=2313
file 79dd5dd6988c4f8a6fdbf5cf14b58028aeed50bf chash=9b4db56f544c9b42e92ae0cc6fb18a81b35bb373 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/HsHOL.thy pkg.csize=376 pkg.size=739
file 07e7580c0dff2b36fe88b23ab0f85c77eeb259a1 chash=e519cc7d1d0683aedc5a426f29fac5d194fc39c5 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/HsHOLCF.thy pkg.csize=3972 pkg.size=15169
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/ISO
file 7bf47a1501ebaf5f7727aed18c91e4d717b29f6f chash=ee58c4278b24ebce3d4118169906c0890288722d group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/ISO/Nat_monadic.thy pkg.csize=5364 pkg.size=25938
file 2606717fe9a6cec34f0b9039412a810b33409b4d chash=aa5c24833bb112d7bf6d7b230932aec48cf73f20 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/ISO/Nat_normalising.thy pkg.csize=5342 pkg.size=25841
file 94ab4a39ccbc4fc3b9c3fcdf80af64e70fb2f0b8 chash=0691cab4b1e189e0ecb41abe3da841a042be9d44 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/Int_Iso_mkpartial.thy pkg.csize=15187 pkg.size=101953
file 38d75e88f19e269e5755e09cf9c39d370a8d7585 chash=7d23064e4018d8d3ad99f0b03d38c80b62458ab9 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/MHsHOL.thy pkg.csize=131 pkg.size=192
file dfd9968a3ae755c2b642f3b01ff3b5a963546c9f chash=9b8f280a4a85249646e7c5b3ae2c14c7c886fa8c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/MHsHOLCF.thy pkg.csize=95 pkg.size=89
file 27f2a73f4832c06db191bec5c8ea6b8fb540afb1 chash=c185d18d11e355a61ec9c0f10d54228da93aab12 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/MainHC.thy pkg.csize=1714 pkg.size=6498
file 711caa95f117fdfa4634721f1da637d7deb2caea chash=c438155ce96061ab3deb299359592dced376304f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/MainHCPairs.thy pkg.csize=1977 pkg.size=6711
file dd35e4f4d858ac0b680ab453008ae256741f518b chash=6b8f3c8467ec163d5e5439f65ea76618fe4d6481 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/MainHCPlus.ML pkg.csize=113 pkg.size=111
file efcc5cdb5a7bc4b30da476e7d66e8254acd2c6a7 chash=49908a4072b343b1ea62bb8b0fb78bb6f32fb057 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/MainHCPlus.thy pkg.csize=864 pkg.size=3493
file 42d7415d007f3146e41122f50d7f92ee63dc403f chash=0cffb78dfec5e81b4c559534b6f212c1b76aaace group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/MainHCPlusPreList.thy pkg.csize=925 pkg.size=3985
file 41e68584ef5100093f34b50f5bcdcac2d35156ae chash=ea5446aa018fd4375028e4b8af2ddeb8c858265f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/MainHC_Complex.thy pkg.csize=1113 pkg.size=4290
file 5bd7a141456011d00325aad06475a0d15a58e52a chash=bd44fd9166748c6b7da27e37a9a0736f5c83464b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/Nat_Iso.thy pkg.csize=7062 pkg.size=37687
file c038bad422190738e2025df5280be8ec20ad75e4 chash=44f9c26f725e84f4f7807daa9614e49b1ebcb8c3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/RestrictOpProps.thy pkg.csize=715 pkg.size=2776
file 13e175cee4f947f9c9f6b3798a4a362fc2c1b897 chash=a9a92b8282066715144807215f1e4b07ba8c2490 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/Seq.thy pkg.csize=1062 pkg.size=3242
file c9fd9741bafc9915cd35532568358efed68eb5b3 chash=7b01c43e621fc5c771ff64be940b59f2666bafc5 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/Subtypes.thy pkg.csize=1511 pkg.size=5520
file 198955890a54fca4b0ddc19196b27a9deff99b57 chash=627c1607dc616518992bf94ef80373ae7dd41616 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/batch.sml pkg.csize=331 pkg.size=518
file 1ad805bb64eaa4bab86cd84d55019977e85998f1 chash=43a63547ed5678e18ad9725f11e85ced04dc76df group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/prelude.ML pkg.csize=534 pkg.size=1203
file f46bc68703dcef883614835d3876bc661e29b83f chash=77af1587c4b4cd341fcbfd92e84dc51d80b9d40f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Isabelle/prelude2011.ML pkg.csize=524 pkg.size=1167
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/MMT
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/MMT/META-INF
file c0d92c9251f49dc601897b84775a4c4eb41e55ea chash=445d71330953234c77abf602335114e6d7f842a0 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MMT/META-INF/MANIFEST.MF pkg.csize=114 pkg.size=141
file ff3973b7fe8c3ba473c2cceb7fe68b671d0a1575 chash=638674c348e0026290203c790b32bbc75eac5d00 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MMT/clean.msl pkg.csize=295 pkg.size=546
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/MMT/source
file dcbbf3dbcf5d2e070580a72445ba79fbe3c686f0 chash=ffca5900f13cd62dbda9099ec77fea3ea819e5b3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MMT/source/PLpatt.mmt pkg.csize=302 pkg.size=584
file f5f2d225290bf1710f8bceb6eb2be3339b761779 chash=958d764d099320d9cc1b4b266bf5f188ba1408ad group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MMT/source/PLtest.mmt pkg.csize=301 pkg.size=585
file 3d1ebf1c1bb441485363ca5e6f16f50c61668400 chash=f29ef833642d33b75982e3a6405c77301fc0a775 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MMT/source/lf.mmt pkg.csize=253 pkg.size=421
file a1b92230c7368949ac9f3cdf4393722e31799ed2 chash=11a2dcd220084eab7e081efbbea45456b38e0223 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MMT/source/meta.mmt pkg.csize=161 pkg.size=187
file 304c9d7009f52ba3a84bf39f399964de6593dcb9 chash=92673f90183c9561520ab391a2ffa0948aa5b2c1 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MMT/source/module-expressions.mmt pkg.csize=162 pkg.size=239
file dc0f9d5f99ee23f418ad9eb3eb72ca07110149e1 chash=b9b28c30e784c1fa623d9b583fa4e302230e94a5 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MMT/source/spec-PLpatt.het pkg.csize=156 pkg.size=180
file c843cf6efbb065e69e33e4b6180f502b2e3db617 chash=0ca3b4bb9b98263e796650341b1511537eab4bb3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MMT/source/testpat.mmt pkg.csize=114 pkg.size=99
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/MMT/xml
file 8f7570563ad2275d07307edda5428f6783c748f6 chash=ec02d9f6264fc609bda199aedbcc572cbc818c4a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MMT/xml/PLpattspec.xml pkg.csize=116 pkg.size=236
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/MOF
file 7db3dbf6c25462c34a962e7d211e5c07b205bf77 chash=4269345495c996fd0e1760df5bd9055b93d0cea2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MOF/MetamodelWModel.xmi pkg.csize=562 pkg.size=2765
file 6aa26c98340b208a946a99bd28da9abc425777ec chash=9e5ac33d065843277b102cf79e5d12db33439ade group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MOF/MetamodelWMult.xmi pkg.csize=573 pkg.size=2711
file b435a7d2ad16a2b2ed8852445c73a2bf2327eb05 chash=4e745d46fcdfca38e408bbff154aee01aeb6afef group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MOF/classExampleCSMOF.xmi pkg.csize=633 pkg.size=3382
file b435a7d2ad16a2b2ed8852445c73a2bf2327eb05 chash=4e745d46fcdfca38e408bbff154aee01aeb6afef group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MOF/classExampleCSMOF2.xmi pkg.csize=633 pkg.size=3382
file fed135693d803cbf316a15ebb509add0b9f7f5aa chash=40c01f43d863e74e7b1a8046ba9e76b67b87bf91 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MOF/classExampleCSMOF_EXIT.xmi pkg.csize=1148 pkg.size=20131
file 41dcd3a9610429851f9c0d040e649fc3aaeb168e chash=2edf60eb7b6dbe4d3bf0a14eecdff90019670dde group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MOF/test.het pkg.csize=94 pkg.size=123
file 728442e81643114081a588fbb21e33b6ae1991dc chash=1077e505795bf6516a6992e1c11e82ad533fa4ca group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MOF/testConformance.het pkg.csize=121 pkg.size=188
file 0e7b56889896d3a906d1ace10baa7188a0d72626 chash=1800d2dfe30a5097413e678db22e16138d9f76bc group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/MOF/testConformanceExtended.het pkg.csize=208 pkg.size=353
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Maude
file 7962e628d727738818ac714b474d27565735b52a chash=c4f240d250b329eecd72c52caee7671573239806 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Maude/MaudeNumbers.casl pkg.csize=3221 pkg.size=12135
file 28621586d55efacd2f4578a1f034fc23f859625b chash=52a5196773b5f0e755646e6f483589b484316116 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Maude/reverse.het pkg.csize=204 pkg.size=345
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Modal
file f6b13f338c52bcdbb79be7ac66423c95bfa184c8 chash=5658e2c496d130540566e96ba3db874e54a48216 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Modal/ABLP.het pkg.csize=305 pkg.size=636
file 606aefb0b115ef58ca85a16f972d0d09e0cb2b25 chash=62f7d11d63764677f579cae05ef9924f5616d719 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Modal/BasicSystems.het pkg.csize=174 pkg.size=365
file 1466621692762d6809ce3d303274f66ec23c364c chash=d9177df193fb96a508696a1a2598c89d1f040d6a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Modal/CTL.het pkg.csize=273 pkg.size=560
file 197f03d9b558014cd6a3d52aa7f7b2a982384d08 chash=7276654fcf08a6042ff2292d465a5c513144260f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Modal/Dynamic.het pkg.csize=281 pkg.size=586
file c0d2f5c79571589d63aa4c1b5404606f61483a94 chash=01b21f6556dc6a96a0cd4573a5d4add280ad2317 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Modal/KT4BDL.3W.het pkg.csize=231 pkg.size=460
file 5176c437f7629e54fad5fe5e79c03230815e35f1 chash=37725c8771b8cdabe18cc3e4d55eb39d166a6400 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Modal/LTL.het pkg.csize=171 pkg.size=280
file 27bd8c198213c95b327ffca536b305a34b22abc4 chash=177048fbb15fd5902934e9ffbe90bb82c01eea67 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Modal/Lin.het pkg.csize=191 pkg.size=347
file 1b34bb8caad658899c1357b9cb697c46a2c8e1a0 chash=552199e8254ea66b34de7dac12cb74a56dc83635 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Modal/TemporalLogic.het pkg.csize=174 pkg.size=282
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Ontology
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Alignment
file d144cd1eaa08b3ecd5747928813f0c0ee678c74d chash=d941ff292afc970b5f7545b9ab29a5fce4db4aae group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Alignment/Simple_V_Alignment_Test.het pkg.csize=180 pkg.size=388
file a84dd1ab599bc80d3c8cb9a96a17076c38c5990d chash=dde93d4ab3fffd013322d74c735be4ff0c83c87f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Alignment/V_Alignment.casl pkg.csize=220 pkg.size=490
file ee2dd7dc3c0b18c6b0000b14572d6eb5d518a57c chash=3aefa319f8674500cc013cd01f10b8f806f766b6 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Alignment/V_Alignment_owl-incons.het pkg.csize=251 pkg.size=611
file 8ccd48c26b598bc39d95f9166e9111e4aeda202a chash=0ae6cbe2af38e3009158bc2ef82bd2737472735d group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Alignment/V_Alignment_owl.het pkg.csize=201 pkg.size=461
file 767300ca2de85d7e3e4736bde781fa8cbe1e9bad chash=b90dce3ca17c5226ada5b940e23331872091afe4 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Alignment/V_Alignment_owl_multi.het pkg.csize=224 pkg.size=608
file 614f485c295ea70c19a48f839a69d3e0402e8677 chash=e60a0dc5339489bd1eff1f42a913653c34503f6b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Alignment/V_Alignment_owl_multi_compo.het pkg.csize=381 pkg.size=1287
file c265fc0645e12b574309c617605b6ae3fa86bc43 chash=9a3c7569d22913acafc607fd5393bb60d02d71d5 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Alignment/W_Alignment.casl pkg.csize=179 pkg.size=428
file 9288ff2a0f0b9a9a41e71439b8dd868bf73eac41 chash=e3300932a71c72d04cae5c8f93c91f5ebfd6b7e2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Alignment/W_Alignment_owl.het pkg.csize=202 pkg.size=508
file 58090083c87ead270a2dfd39730c80841c8efe2b chash=4f834d5c75ef1a6aa166d375b1cf5b0c26a0d2ea group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Alignment/minimal_inconsistent_colimit.het pkg.csize=278 pkg.size=487
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Blending
file dc92e9d40fe802598f0c3ee59ad6b657821adddc chash=55b45ce7eacd34e17525bbce4d586f90fd318318 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Blending/BoatHouse.dol pkg.csize=370 pkg.size=879
file 6313486ab155babda91cffb2f28a39fa76d463a7 chash=b12de6b3692649c60d1309cc1f4b5359cde44cb9 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Blending/BoatHouse_new.casl pkg.csize=373 pkg.size=924
file 93fb0fb1a15ece35cacca92c806701411f62badb chash=a986c3c3c43a43ff5f264ac3349430ddc445948c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Blending/HouseBoat.casl pkg.csize=617 pkg.size=2513
file d77accd206ee5c7864396970356956eb4f9c6164 chash=3fc0951287b2b802c371b7dd29020a46c52be142 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Blending/HouseBoatClasses.het pkg.csize=700 pkg.size=3080
file e86a222a30889ad8f9337c1f6c16a22952481ee5 chash=58973e1341e787bf862e5480fdd3ee6abcf9997a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Blending/HouseBoat_new.casl pkg.csize=404 pkg.size=1056
file 16641bc4a49bfa7cd26ad8c16bf395564970c5a4 chash=5e02ac6e4d2cf646719b623839764e8370f85fac group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Blending/SignForest.het pkg.csize=1117 pkg.size=3541
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce
file 8db1d0eae90c1bf2f834ae7dd5f0d62bcb25e8cf chash=b89261941c362a2bde40e66762176d6b3916d546 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/CEPSet.het pkg.csize=758 pkg.size=2165
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons
file e51bf85e97840201403291b6db55519d05956811 chash=30d817dc7ad6335c5f63d9b0b314e6750f22e413 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons.het pkg.csize=3673 pkg.size=23145
file 7eb21ce01887ee28fd2aa9c184a9c91e8728ed41 chash=7a38e0ad055a9a7e05bf47903b7d537979c3bdb7 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_101.het pkg.csize=1998 pkg.size=12146
file 2a06e011ff1d33c484efce29a89dce785ea895eb chash=7d7cec635783a41ef799d340ad1970d1310a2160 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_112.het pkg.csize=2336 pkg.size=14769
file 89cbbd68ec9d59e325b05b8ef599985da72c33eb chash=4f565344a8efb3737771312fae9d68b1ef51a2e9 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_119.het pkg.csize=2093 pkg.size=13531
file 055a68f32dc0b89eacc7b3a822fa3461bab0446e chash=f5e2320f054d679a5c2407133f42a61e5711114f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_129.het pkg.csize=2574 pkg.size=16377
file 06d92fe3edd78ed6980e7523fb88967840f28b3e chash=bab01e08ab5b404b9930a0b0d664d70b083fb54a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_13.het pkg.csize=887 pkg.size=3055
file 196961471c9bbfc57d552f5702e22fe0fd8f69d8 chash=1745d2e082605d11b197ec33ef00e3f4edcad95b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_139.het pkg.csize=2308 pkg.size=15152
file 112cc477fd30ef8bd9b6b0d4d70e8d6caa7c7590 chash=a3faecbf330c65fa54c40941b044f71624a48b13 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_150.het pkg.csize=3555 pkg.size=25989
file 8ba57dac46215e7dbe5e8aeec1ae17008f699697 chash=7b62e120042ddda5c8858b3973c016f1af5ca7fe group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_161.het pkg.csize=727 pkg.size=3641
file 7805456593a9d4924e392736af4045a9930b2c94 chash=33d250596d8b0eb5bde3a50f17940ac50bbb4073 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_172.het pkg.csize=726 pkg.size=3585
file de52e1434afe1b33a621e494448d5963ac257a75 chash=59e2594b754c21b8d3865906f1336beea901fabb group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_185.het pkg.csize=4408 pkg.size=34728
file ed8334a80db29706f12f646ea91734d2cc4033c6 chash=42736a094865bc841fca58c890543a0c742b9899 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_189.het pkg.csize=4828 pkg.size=36107
file f01cb930d5a14b9f2a3634bb7f3bf2bb21743466 chash=7142215b62fa26de1f688127b82085f578ee4638 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_193.het pkg.csize=4819 pkg.size=38371
file 63ebb079fffeec3786c74fb433cbadfb22cc9679 chash=3e2aa8a433c38f622bdca169707582b31d98be84 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_200.het pkg.csize=5363 pkg.size=40206
file 3a9b042596134c2b83fbf14eec1b8f38580b073d chash=399e11f8caa01fbeb53860444f5e8411a4c2d2ad group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_207.het pkg.csize=5214 pkg.size=39474
file 0073c026a5cc1f69aa4f0661fb7fd271c9073d98 chash=aa955cf5279d38e2a376c566b1350f477523f8c9 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_219.het pkg.csize=5424 pkg.size=40573
file aedcb051afa73b158aa1bb033acc53b46c187196 chash=128a356eeb024017503a0ec3ae735fd33f80bf67 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_227.het pkg.csize=5368 pkg.size=40672
file a45f5d308d1862d7e9274f9d1a14a2103901243b chash=71210521012d42eda023b64b863bef5834b907fc group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_234.het pkg.csize=5189 pkg.size=39449
file 844b3de52b907759f264f795abba0aaf1a95b85e chash=197a6884cc17b43144791f59573eed0459bfeaa0 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_245.het pkg.csize=5698 pkg.size=43217
file fe0536b6eb8dcff53ef785a1f24efc055b5627a3 chash=5441e4f2e56300a8b22f1a8c53d6a494fb25fd01 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_25.het pkg.csize=1188 pkg.size=5128
file 8004b285b7072e9462739fca866fb9f3c70d66fd chash=5b6a3431cefeffd5690191cbd56afdac2a1823be group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_252.het pkg.csize=5390 pkg.size=42061
file 8b0b62ecc13c7988bb4be61d1cca25deacc184f6 chash=61257bb88852d7e42d014b42c773e3f30c176f92 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_261.het pkg.csize=5973 pkg.size=44228
file fd5c5f613edfd56ac9e31ac236b29a1fcf784285 chash=3af77e8cec00b7d396889159405f78486f0b4c23 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_269.het pkg.csize=5741 pkg.size=43730
file c321647c1e7be8ffa3b6be7e73461c0fb223df7b chash=686f0242c9a6dce2ac86d999eb930ebf35f566d7 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_281.het pkg.csize=5978 pkg.size=46080
file df489ff727f43062b7da4c8e7bbb304b05b2c638 chash=c050d9fd374bae4571ccb773b962f040e7d280e4 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_290.het pkg.csize=6156 pkg.size=46391
file 3c8c0cb5f94e6f8778bc6cc3878c9871c97bcdc7 chash=d7a755b5b10dda7b7fcffabe11ba0abaa1a7587d group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_298.het pkg.csize=6072 pkg.size=46254
file 8629c47662e3cc6744079bca5d32977f8b20a508 chash=c6a88442287362cfb8b4f520b06cb9179c9ce2a3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_306.het pkg.csize=6054 pkg.size=46243
file af77f22862b85a01c3cb8f15ae71a53cada351c7 chash=e42d63335c5f658515b6dc8e3a301195c9ce2ead group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_316.het pkg.csize=5988 pkg.size=46155
file 89098fea630b216f9692151e94a3f0e86436f77a chash=b6ee4d54102a8bc4a9c411eda85a48eda54b9174 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_323.het pkg.csize=5267 pkg.size=41780
file d8cedeb745fa6416c4457326bd7557453f91b667 chash=c16dd70e7a028047a0f18cb6942cb6b7c2c2ae9c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_330.het pkg.csize=5372 pkg.size=42001
file 4b08e4d67b3940a1d0004e1ca578724f62cea8ef chash=b839089b7d389cbddb6752f1a82e7f5bd1e01eaf group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_340.het pkg.csize=6165 pkg.size=47450
file 65b1cc28235337b4b9cb97278294b63f691551b3 chash=16149691a07d20bdcfd066ba6e4769c32ac4efc5 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_355.het pkg.csize=6190 pkg.size=47600
file 6084399ddfeaf9849b10453e2aa7fe3b2639a3c4 chash=2030ed9506f43e95408b37cd2890ba9b12989afd group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_37.het pkg.csize=1215 pkg.size=5212
file 8215a5dc1767fe2cc05d8f309f30dbfa78c0fef6 chash=94a35bc2bd91741a3f706e0d62cde0de084437d1 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_44.het pkg.csize=895 pkg.size=2999
file eeb68ab4e19c0f7a274f3bd43e5a3c04785df4d6 chash=3c58657f2b82bf91a490a9e8639dad59329f33f7 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_56.het pkg.csize=1186 pkg.size=5027
file b821ed182d4e4e2cb3517a278ae2d17b01348e20 chash=5fc52cdc3ff4c44e345a0964bd07dc62becd58dc group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_6.het pkg.csize=943 pkg.size=3111
file 7dc53ad2e54e7ee4e9e2fceb6899d10807b912b7 chash=759337b898e25253cdfd155268057df5175d0564 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_67.het pkg.csize=1307 pkg.size=5945
file e25da65079e1b728d1cc6702958ca858884560b8 chash=f73f8a3027105e4bb4e4134313cb1fb1fe8eae3d group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_79.het pkg.csize=1504 pkg.size=7500
file 763d042367936f9c018ec1c2efeec7cc8e5f6635 chash=aab8c798b9e51d4ccc9b32778d21563d7734e824 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_90.het pkg.csize=1730 pkg.size=9366
file 96b8d12e1964f6e8700f76c1bb019fcd5fb7e96d chash=c0351ac7ce07796776cbee63d9f8949c8b726d1c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/DolceConsParts.het pkg.csize=1469 pkg.size=5331
file 0dc67543ccce36c5ce15e0ece87ffbfc58da4027 chash=6840f3a65497b2bba9be481d964234c662bdb87b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceCons/df pkg.csize=317 pkg.size=648
file c4f0df659caa689e144c742cc80933107c44300a chash=40026bf4fa3ab167d0866d09c203452d431b8ed6 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceModel.het pkg.csize=1921 pkg.size=8854
file 8c23859611365df187f0e07898f3891e362c3715 chash=62674b4049252354ebe62aa6ff9184f176ce4e90 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceModel.pp.tex pkg.csize=2323 pkg.size=15851
file 8daeda49ef7c6f4d39045705b76e8f9b28104fc5 chash=a5e9f96e7c64d7921281567b443c7531998d26f3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceModelStruct.het pkg.csize=2106 pkg.size=13399
file 9e223b3c27d2ee918951470c1af5d5e8a3aeb1aa chash=065eb1d35926189cf7f69e935a7137ea655530ea group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceModelStruct2.het pkg.csize=1655 pkg.size=7401
file 456675818ba653230006525e4e69cfe1bc48e477 chash=8231b6c318936b2724523b864869c93b134ff02b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceSimpl.het pkg.csize=4914 pkg.size=19223
file 223c10adc7a5257e773cd788275233b65e98a6c3 chash=cb999a1f93d03f250a4c52d9e060ee2ced0adb9c group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/DolceSimpl_Esort.het pkg.csize=4911 pkg.size=19192
file 057e67cd5ff6f3dedf6b31ca51c29bff18a4c423 chash=3aa467c0226ab9f65e67362871060b20a2f2765b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/Dolce_Dummy.het pkg.csize=742 pkg.size=3577
file c9b13c7c914e17e54410a99ff35b4272304b5b91 chash=8bdb296496378dcf7f22df9be251f975f5a4dd60 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Dolce/Dolce_Partial_Models.het pkg.csize=1436 pkg.size=6354
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples
file 143c51ff2893a0ed4ef5863a0344a44990a095f2 chash=bbc4d5cfe1485399386f580a09df98046e22666d group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/AAL.het pkg.csize=1899 pkg.size=4918
file 83159e5e199728850e2c1f05c1998535eb1d3c9e chash=7fe7ada562d92f77990e2a27df0f23c3af3536ea group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/Biblio.het pkg.csize=853 pkg.size=2643
file 3eec51d6a585ddfcfbdeb62effef9778bb215fb4 chash=e7e446c9acbad41436733c2b28648ea13f5f6631 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/Biblio2.het pkg.csize=607 pkg.size=1595
file 17d66d95bcceefd3594821d187148f6f19d2e341 chash=8fd84db385611a2d43a0ea74dada913fdeb75390 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/BiblioR.het pkg.csize=1337 pkg.size=5487
file 177b9713775415648d1b2c8a6a1074e804b19409 chash=7f4cd2473663018ebc9aacda9ea63533f8b4b120 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/BiblioV.het pkg.csize=700 pkg.size=1818
file 59840bd0369f44dbc506f2a935a91c59c4ed0d93 chash=c74ba499d5f47f174e4e4fcf1a82e655f89478c4 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/Biblio_Colim.het pkg.csize=681 pkg.size=1891
file d8c875ae317c478724a387d85f93f4b6a596870e chash=abfec90909b95dfb4aa1bcc69558405b417a94b2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/Biblio_Naked.het pkg.csize=463 pkg.size=1049
file 96f56d360afad6fde4023a8fa89df6004f3baf5f chash=80fb19fe7ae6d51d8de2ccfa2096fefd05387c69 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/Cats.het pkg.csize=413 pkg.size=1126
file 43362ddce786974a1b54c75a90faf47b0d043a8e chash=7169be0287b24f42f76ec37b3a0313fa2d203869 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/Family.het pkg.csize=591 pkg.size=1862
file 381646f58ad34769d2ab6935fd4ec36a1884c13f chash=d915f88da1ff26d19db2a10ef670413aa0a97d97 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/FamilyOWLCL.het pkg.csize=664 pkg.size=2389
file 65c9693b74a1daef1d4700f80901d6ad2b1cdb17 chash=d751c26102144b808c763a30781fd0ad6afa8d6d group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/FreeCofree.het pkg.csize=297 pkg.size=703
file 9e29390c473480e62bf36168b9074c5460433ce9 chash=609b43297442ced5a1c6a545c47e69455341284b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/Hiding.het pkg.csize=176 pkg.size=358
file b79ca310b4d1c3ef823149ae3a60f36618cca20f chash=4da42979eeef264ff64c1f464647918f0b47b5ca group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/MoreCats.het pkg.csize=403 pkg.size=1109
file 59031f54ca8b236037cdf268bec81a58a503e432 chash=92627510e77d43340c3bf0521cb13732e1184097 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/OWLTBoxRDFABox.het pkg.csize=295 pkg.size=714
file ad234cedd63d21413c4c3c0b0990467d1f53cea5 chash=c5a5d4d83dbb83defa756c1ac444d5ab182b8c06 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/OWL_CL.het pkg.csize=347 pkg.size=1272
file 21991ef3111ddf49709e163ecbd92ca565606ff8 chash=9d3b6ecfd664eef17821c27b99b7dbb0c4f50d32 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/OWL_CL2.het pkg.csize=263 pkg.size=662
file 1cfbee580ac92e679c8a57190c9ec18145cf7e3c chash=1fdc029651c9fba2f08b6480095b583e58c24852 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/OpenAALOntology.owl pkg.csize=2851 pkg.size=36113
file cd763bf451799cf7599226ad4288751a308a8fdc chash=43558d6f87d048fb1435765fd8f120816ed66b8b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/OpenAALOntologyManchesterFromHets.het pkg.csize=3554 pkg.size=53568
file 2f7d76ebc2943ec6a843fcdc8256b92f2fbe955c chash=844e0e5a97996db97d797be5cbe3cf0c9da161e7 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/OpenAALOntologyManchesterFromProtege.het pkg.csize=2406 pkg.size=17430
file 994bbac3abcae62dc958ff7e4cbea81f7aac939d chash=c6a87e4ad922fd804a02ed3d15d20eb18adade09 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/Parameterisation.het pkg.csize=149 pkg.size=199
file 843adf7648a501ed812182a6c25d6e351fd7ba07 chash=6349b4478f3b957a62a60a1f70621c4e5147e653 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/PizzaSmall.het pkg.csize=226 pkg.size=568
file 6758128cfdb18a6eac24bb4065b40707708fda4f chash=0c03a38fe5186c72e32c103234816b2efcacbff6 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/RDFTurtle.het pkg.csize=161 pkg.size=168
file 3e20ee99f1bfabc24796ab2e7d945f41967ef660 chash=34193721d715a22c9c4285545ad9851013a36169 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/SymbolTermMapping.het pkg.csize=704 pkg.size=1513
file 3f971749b31829cd558f4b0542ee08218403e9f2 chash=0c41acc411041ef82ceedd1bf0becff5b28b8181 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/Examples/TimeInOWLandCL.het pkg.csize=364 pkg.size=850
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/GUM
file 36d53d84c8e0c429595c50f692ce31489a7379cd chash=f376dd50d77d763a8d847b754bfa32f6de34bce2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/GUM/GUM.casl pkg.csize=10128 pkg.size=75926
file 3242980fa2b543842678a58efa1aa2677e618d99 chash=dbb5adf95a302c4fc59620faf84c93bd42746ac3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/GUM/GUM_OntoClean.casl pkg.csize=4982 pkg.size=41437
file ac2a1b675df271cf26f8f9a2987db00378bed913 chash=cc8cdbefab7b309e63029b6ded2b81e8a1ea7de7 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/GUM/OrientationCalculi.het pkg.csize=2725 pkg.size=10092
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/GUM/test
file 0f22d13fdea9bf700985319c9c81b2df5b107827 chash=309f5b6e5bab6f2be16138c46a9ac6f3c777dbd1 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/GUM/test/GUMFullwithDCC.casl pkg.csize=1084 pkg.size=4822
file 11c757969fdef9cfc37b872741e9ac81c2492e00 chash=75aab250a4fe68daadd9688ef171993624d0049e group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/GUM/test/GUMwithDCC.casl pkg.csize=424 pkg.size=955
file a2d151e52308986ef28d1a2987acc9c55206f9d6 chash=bd2433cb60a28300f91776822a10938144df4b31 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/GUM/test/OrientationCalculi.het pkg.csize=781 pkg.size=2194
file f9f28fe33f195c2ab7f8296fc916089c903251e3 chash=82fece281607fe7d4dfbc8cff03a852f35e4ffd3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/GUM/test/minimalBeispiel.casl pkg.csize=410 pkg.size=1082
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO
file e819f922da81703eadfabc0f82ba8b1a4e680d11 chash=af365aaf74c676cbfc630e6dde10c33bf918cec8 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/CCTrep.casl pkg.csize=1410 pkg.size=4112
file 4ecbff882e462fcd22dca0ac3c932c0c76e898d6 chash=a9699190141512c5db306d8f2cf84f58dc7873cd group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/Communications.casl pkg.csize=2616 pkg.size=11774
file 53e9e11f377aefe3befd2b84c3d73d9b1ea079d3 chash=53ec81d8330b035853d3dc55a728c4694cd17cf9 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/CountriesAndRegions.casl pkg.csize=39354 pkg.size=196125
file 764e2b867401670fbe9ae01410faf7e20b2f803e chash=7e9ea9fbc7385531b7eeb4ba98ceb45621ab1b19 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/Economy.casl pkg.csize=31568 pkg.size=167717
file 0788198cca3a430267f9f72b5082e920e16a2fee chash=889575e6486364403180174922b3f8358a390111 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/FinancialOntology.casl pkg.csize=33013 pkg.size=143762
file dfd8463326a980dd0442c38ba580ccede72a9713 chash=c6400ec068e1e76ed5eaabe5065f410e0b18e663 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/Geography.casl pkg.csize=57734 pkg.size=256334
file 396a4fdd567fa26e9a98205ac1d025e76f37848f chash=79b32d0858a09fd3c3840f01e5378ebc9185cba7 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/Government.casl pkg.csize=57984 pkg.size=337481
file b71e66bc8b2fc9b0fb56b5ef5f9c15f48523dbcf chash=f49272589ec55d498b8758d9c90bc6c6b48c8863 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/Merge.casl pkg.csize=113448 pkg.size=487248
file a66c59427f977b68dffaa539c43eae134a5f305b chash=59d376d7f6c6e56e06373ee05fdbaf27e16e9064 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/Mid-level-ontology.casl pkg.csize=116993 pkg.size=415925
file 208642337109826d680bb560680e6eb56bf99088 chash=0aa64429076756978958a9f577216fc75628893d group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/Military.casl pkg.csize=7646 pkg.size=38765
file 3c9ea3db7b4315c7366a33d120ede165f05d7d9f chash=3daa9f8c59a4ae4be69450893c70f44f10802610 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/People.casl pkg.csize=232727 pkg.size=919040
file 8792f3fda812fca3d4154e5f3614ce61b084e7ae chash=e27a56a9cbe16ba6351d627edc70a2e2ae590c08 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/QoSontology.casl pkg.csize=20539 pkg.size=85334
file dd4615680858302b18ebd390ad34b5e25939159e chash=dba0d6aec9eae67c7363b1851a6c7aafcf4c8a2e group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/SUMO_173.kif pkg.csize=108757 pkg.size=488286
file 938d837ea4eafb834700113c1dbfdf08bc775afc chash=a10cc210daed588e543977f6917d967ca241db25 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/TransnationalIssues.casl pkg.csize=750 pkg.size=3184
file 4689fdf986a6a0b76c6c0779fbd319eaeea2b19e chash=cea2d3eaa7bd1888c467179aca85132d53a95779 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/Transportation.casl pkg.csize=23245 pkg.size=101121
file d69ec7299cb857228279632fc907e14b6dd36288 chash=dd72037f78eb865ca8d027796cac62655a41a52b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/VirusProtein&CellPart.casl pkg.csize=5621 pkg.size=22607
file d69ec7299cb857228279632fc907e14b6dd36288 chash=dd72037f78eb865ca8d027796cac62655a41a52b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/VirusProteinAndCellPart.casl pkg.csize=5621 pkg.size=22607
file 8c21bab87497072cb3b2b2e2ac24f39bdc6883cf chash=cca766658d86ac89857811ece4202d040c99486a group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/WorldAirports.casl pkg.csize=284812 pkg.size=1765510
file 249fdaf2cbd992812f0f9dc37615e37cb5a7735a chash=d5235c237116656c86409b2786b76137da2abe64 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/WorldAirportsA-K.casl pkg.csize=127367 pkg.size=776899
file e3e49bcebb834c9b181d0c7429ade92e984081ee chash=aa056b1f7782e2a35cf60b5ba9a97317eb501941 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/WorldAirportsL-Z.casl pkg.csize=162943 pkg.size=987374
file 15130df0c17724754721d32a2e2eef45443f27ee chash=109dd69a014e0890497e6db44604808cbfdeba8d group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/elements.casl pkg.csize=23303 pkg.size=98682
file 0d48f0a28ee66b8ca5d06d518718f6aa3592459f chash=532035a3f402c465b5173869f7247a9cb8a60d68 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/engineering.casl pkg.csize=14811 pkg.size=70545
file 4fadf877dade93ca90ebd1878a77fc7b23bd3518 chash=27c36d9662298fce4682856ad4e6ad4f27157fdd group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/english_format.casl pkg.csize=22168 pkg.size=154925
file 2c79f1c4e07113d578781764688e7aea862b4c11 chash=76584d1f83c773b7f0b06f1f13a52ce644868ac2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Ontology/SUMO/naics.casl pkg.csize=80572 pkg.size=628812
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Propositional
file 26301d9ff111c6b15aaee5678885a4be20aeb816 chash=ff4df4cd359328623a0a59fab2662b392c0fcf07 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Propositional/Birds.het pkg.csize=264 pkg.size=609
file c81672fba0de92903f8b8334be41ef5b638b1aab chash=8964e8bffef2ac75fc983d7cf1077c730bd608b4 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Propositional/Free.het pkg.csize=258 pkg.size=1216
file 5187eb800b0aa65c447b6036024f8cccd0bd9a11 chash=ca5f0d530ce4d106ae11d8ad396f9bbd29164fe1 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Propositional/Logelei.casl pkg.csize=328 pkg.size=811
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Propositional/Satlib
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Propositional/Satlib/Blocksworld
file 98e1ff7209b9cc6b5aa92d827e52a20c7e2bd2b7 chash=3f391c0d0dd99165092d46e0aa92eb9e7ee130b6 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Propositional/Satlib/Blocksworld/Anomaly.het pkg.csize=1158 pkg.size=7567
file dae53f8b7472804ab0bc9f1e28ab498384bcb122 chash=f8cd0a3b996ac52737581d376990622a1059ace3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Propositional/knights-and-knaves.casl pkg.csize=425 pkg.size=926
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/QVTR
file e9c20279fb538e65fa1076902c98efdf5e234e91 chash=8e3b93976a4d17e60b0b0b1e173463d3a3637329 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/QVTR/RDBMS.xmi pkg.csize=647 pkg.size=3852
file cf70b4fd4c233a4a8935469a45a25a047adcea9a chash=771fe89c04363e2cb104c9118310789989b6b262 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/QVTR/RDBMS_WMult.xmi pkg.csize=652 pkg.size=3705
file 7c5f294844ffdc4a7719657f3694449601e387b2 chash=17844524598240ed6529871d15722165c39812bc group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/QVTR/UML.xmi pkg.csize=672 pkg.size=3733
file bb8e7e62e5280497892a91bb1eb99ce1d52d943f chash=007c961061b951a2303525dd7e71bb99cb82fead group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/QVTR/UML_WMult.xmi pkg.csize=672 pkg.size=3628
file 3462e598cdba4759e8b499530ea47c607a38f925 chash=db028825c8c4bad1d380ab286f7829a4737801c2 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/QVTR/testQVT.het pkg.csize=271 pkg.size=606
file 7f0c431f3bbdd9f4504fbdb55875965b9b21eea8 chash=b819049c9a1f6689b4b7117e7630acb0e157ba3d group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/QVTR/uml2rdbms.qvt pkg.csize=847 pkg.size=2379
file 96bcc6248fc1a48024b77dbffdc46937a69f6046 chash=dc1f2fcc6d8ec237f37b418d5fdfd20868d30dca group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/RCCVerification.hpf pkg.csize=115 pkg.size=110
file 7fe8963876af39d0f0b8e7256251f77a068fae57 chash=f02e53ede3f24341391620feb0af9ba4a9df5810 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/RCCVerification_RCC_FO_in_MetricSpace__T.thy pkg.csize=3320 pkg.size=14933
file a6de2ed0795a968e3d751cc3e5bff0e349902c45 chash=d9e7e8480276361ba3a4f13a8a6626f178ca3857 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/README.md pkg.csize=92 pkg.size=85
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Refinement
file 4f5bc977b0138718b1ae92a39e74429cc4bf3edc chash=4ccf6fd1e0e0e7d353cc389f38d793f91964cc75 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Refinement/Printer.casl pkg.csize=528 pkg.size=1238
file cd1f3eb9afc1adf67cb9b5de9bfaf79eabb00a54 chash=10010919ad7b08515a7468e8a3b6c5087579aca9 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Refinement/RefinementExamples.casl pkg.csize=749 pkg.size=2314
file 061a900fa6d71a5bcbd9571011edcf7fbf6cd516 chash=fcb93946e27de2a9e5429e767685f238e035a0bb group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Refinement/SetAsSortedList.casl pkg.csize=1278 pkg.size=4409
file 6a6caeb89a2c9b95225b7a299753c27ac1e13aee chash=2ce28777196781adbbc65758ccc5993cf61eae09 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Refinement/calc.het pkg.csize=172 pkg.size=251
file 085483013afbad09a7ff66987a8141b42185c51b chash=efe8ca6ed2dc01ce294a0022d3d4b399ef3833b3 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Refinement/natbin_refine.het pkg.csize=1128 pkg.size=3651
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/THF
file c87304a9fe9e31dd3ab757d271c2ee9ffe1ec68d chash=7fe848c1de41c57fa04b5bfefd7418a62ece4e00 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/THF/test.het pkg.csize=1105 pkg.size=4543
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/Temporal
file 606aefb0b115ef58ca85a16f972d0d09e0cb2b25 chash=62f7d11d63764677f579cae05ef9924f5616d719 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Temporal/BasicSystems.het pkg.csize=174 pkg.size=365
file 1381c73131a81594176ca820e7fb2ac5ee4e8ac8 chash=a8aab9aedf6bc8ae347b8b3f4b579276eb6a0e37 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/Test.casl pkg.csize=325 pkg.size=695
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Conservative
file 9284a584cfbaafd259c68d27e179ba118b2132fe chash=e0bfd4942482d874a6480d46a4cf6f4cb96b8202 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Conservative/Nat.casl pkg.csize=213 pkg.size=325
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct
file a5101a8b8c31319aef2da3efe90fadf22d9dcb62 chash=db4d42a72d4c674bf4c517626284eecb0cd747f8 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/SpecialSymbols.casl pkg.csize=181 pkg.size=346
file f3b766508c29fa4b2de14962743b76c08910df4f chash=ccf01cc4be6fadb096893ef354766d45d664d9f4 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/TestArch.casl pkg.csize=306 pkg.size=580
file 887f836ea4449a7579403be23b309f6845ee62f3 chash=749aa309f78ea7d21e0bc98a754bbd1871452ba7 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/TestBasic.casl pkg.csize=2051 pkg.size=4860
file e1237f429bf983bc06df3ed4343524c5cf0cc9b2 chash=6a588046934b3916c680e3ae29285b66b859cee8 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/TestStruct.casl pkg.csize=1179 pkg.size=2964
file df5e216a9d45cdee740784faecb90ab384b722a0 chash=dcf42bafdc42d98a736412673be18b4cb59c8d1b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/TestSubsorts.casl pkg.csize=290 pkg.size=758
file acba73b723d1c01e6a0e6458c99e2d26b9104d34 chash=b25725e47ede8f343f628c1975ee55330df1cbf4 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/arch1.casl pkg.csize=108 pkg.size=135
file 71f5eb0ead7e39f92b5dfcfb3e8634d84cf17772 chash=1034c30170c53643a2c32772170345d98b00c107 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/arch2.casl pkg.csize=522 pkg.size=1643
file f560db532224640fa58239b76b2b80c8f9ef9940 chash=2bdd699ab1fa6fb8e236e687d3829d7dfeedf386 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/arch3.casl pkg.csize=357 pkg.size=847
file f8e4b08bba1da64d910a7281e5397f962b949572 chash=432b16237ae92ca7d60ca9393a8076b7a8cc3449 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/donald.casl pkg.csize=332 pkg.size=535
file 30655d8ded491b7b6cef6479fc8d2fffc0fbfec4 chash=8a84588c6b44c6296083e7153aeff211904a5190 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/fred1.casl pkg.csize=135 pkg.size=139
file 0f536e99e2a5631f3559134fe4cfe41d9838b2a2 chash=427c70d013327135cc98711543d5ea2c8b979b6b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/frederic.casl pkg.csize=1240 pkg.size=2998
file 184140286bea81a2cd5949558d508f830403e85f chash=a13138281816f5e3004bda8db680aa316d648754 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/import_test.casl pkg.csize=178 pkg.size=227
file 595fa5055e8bd861fdc8a1bf2615bf0677dbbb05 chash=7adc412b0abf54e57e62927d77f30f9044898012 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/min_test.casl pkg.csize=119 pkg.size=160
file cfa3291e42fd7a2e1d28594d0ecaf3a0a264b226 chash=f3d29858f47b04a869d6cf1dc35efe4a505ca358 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/omdoc_output_test.casl pkg.csize=1524 pkg.size=4610
file 56c329d872ecb40ebe524fc19a703444a45e54bf chash=a36bff0b2897b5793f87e79be61c5d2e61eca4b4 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/omdoc_output_test2.casl pkg.csize=538 pkg.size=1372
file 3868123b2a6f3572b6adfacdd26dfcf36e216c8c chash=3ede9b6d74201b81f5fc8467892f9af5b740eded group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/piotr.casl pkg.csize=1942 pkg.size=7180
file d36878100d74b9cae33b61c29d65a387d7b0cf61 chash=5ead6f548c5d6505edcea4d0b09c577cb6952557 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/piotr_short.casl pkg.csize=1305 pkg.size=4039
file b5581871043f4e73790cc60ff978d67ee1f5db67 chash=24f3828489d30478a820e080264c298529c9e191 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/pushouts.casl pkg.csize=436 pkg.size=978
file a60dccca8cf75a9869abdab4aa562f764823b10a chash=437a051caa57177418ec2e6529cb07c05ef54375 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/serge.casl pkg.csize=574 pkg.size=1414
file 37c408f845da3d69ec35e6f1b7b8e1a984bdb9db chash=1574c20022f0aa7a166fe6069d59440c6ed63244 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/subsorts.casl pkg.csize=265 pkg.size=451
file 77a932b5e637fb5be3d37e4132ccf1e0490ebf21 chash=3525d66a5c80953ea07e4763df4cd010e779ab32 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/union_test.casl pkg.csize=232 pkg.size=457
file 7e04217eeb4a9de8b60ac984f7e3cd2ff18f550b chash=a310b04542404281844828656ecab0fc9ba9fdaa group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Correct/view-test.casl pkg.csize=210 pkg.size=318
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Incorrect
file 96162ffff17af1aa8783c782537afb49e3af92da chash=9dc9f3c7182fe3df0de1e01683e265f62f7ee71f group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Incorrect/TestBasic.casl pkg.csize=301 pkg.size=486
file f6411229eb2b10799fe039e4a32f066e9461d42d chash=b082e8c41d5869440d714e7d7ec25229f780ed30 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Incorrect/silvia.casl pkg.csize=482 pkg.size=1714
file 6dc1c6e6713a0207319f70e3549e0410da46508f chash=23222c53576ac3d88761d30cca775f1e23e74725 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/TestSuite/Incorrect/test1.casl pkg.csize=115 pkg.size=151
dir group=bin mode=0755 owner=bin path=local/usr/lib/hets/hets-lib/UserManual
file 3c093e1a87037472cbb792649e5dd882beec1dee chash=95f532cdd773357faf5fa1da348eec9b53af3451 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/UserManual/Chapter3.casl pkg.csize=1898 pkg.size=8102
file 5bcd6d002ddecc46921843842175a0be942dacb3 chash=561c6bdbaab34e32cbf10cef8a591f6e583793b0 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/UserManual/Chapter4.casl pkg.csize=947 pkg.size=3027
file dd964f9fad5cbfa3a485521aee312817dfb68d77 chash=1c6f3acdf28ba86bda52b644e3ad4c5f77daff74 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/UserManual/Chapter5.casl pkg.csize=982 pkg.size=2881
file 5c82ec1734fe9ebe234912374d7e710ef7d38212 chash=f41cf8c3a48eb83304a7415588c803b6d7e98b89 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/UserManual/Chapter6.casl pkg.csize=866 pkg.size=3736
file 4b8b67812eec86f9fd7785332184bf2f8536cee7 chash=a8d6fd7d224f56380224adbc786de770440d7076 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/UserManual/Chapter7.casl pkg.csize=1470 pkg.size=5713
file 9509771b28cb19c35802c72cad3859a541f25973 chash=f7a7011ae271506e09f4cff77be0844cf7132806 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/UserManual/Chapter8.casl pkg.csize=1393 pkg.size=6339
file 684a997846f29dbbd52b4f030ef6eeba5f6309ee chash=497260020537fad4b35ab5aec3b6f0baad8db953 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/UserManual/Sbcs.casl pkg.csize=4650 pkg.size=20984
file b2da51ec28aedb155fea18f81de06c9d35bb6a3d chash=ffc42ffc1d8efb8cc6b2bddfc20a132a72d2ecef group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/hets-mmt.msl pkg.csize=299 pkg.size=604
file 62170125cd6848ee129fd4fe7a7a0b3f4411bc16 chash=d1c312447bf96def6f9e57c1e7568bca12614919 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/testFree2.casl pkg.csize=123 pkg.size=150
file ef6dcdebf2de366225038563e64f5a9d5d51f104 chash=1df5eca6f66387e2d9fd2fefceb5ce4f38ff9350 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/testHeterogeneity.casl pkg.csize=187 pkg.size=324
file 9b767558af7094709fbf9e6aba161164e0712d7d chash=d86d6272101e0855de8f3fb566ebd72ef365eb72 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/testHiding.casl pkg.csize=96 pkg.size=107
file 6765762fe7e934f055c121bd90d99452353175e6 chash=e4a48278a211d1b28dcf308ea2d1beb94a1f2f1b group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/testNF.casl pkg.csize=134 pkg.size=242
file f6088ee6b0585ae4dfff91c57c48cfa81e6c3e66 chash=9cfdbf7c40d141affdf9f0857ebcbc97b735c1bd group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/testTranslation.casl pkg.csize=99 pkg.size=109
file 9526120edb1fe8bb7d63c07c32007720fcad3d17 chash=11a28afb475e2335c5c40e57529ac8a18a793672 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/testUnion.casl pkg.csize=105 pkg.size=151
file 83eb36892c39317829b8ff9b3341ba08093a21ac chash=34538a7b8464cb9deec59ff96ccdee3e7eb8b795 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/test_HideTheoremShift.casl pkg.csize=223 pkg.size=415
file 98fb041f7195b6bef33ad7cf94f5316a9bb60b53 chash=4b845547d88c0f67ac45f57a74ab3023fca932b0 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/test_TheoremHideShift.casl pkg.csize=148 pkg.size=197
file c0d4df7f8457131a9c46e415e5915b52f2cb42e8 chash=a81f3fd5dd1e862566e1811f3180c3a7f6f63a57 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/test_hide.casl pkg.csize=98 pkg.size=145
file d62747d37d3d04695b0068bfb9884ead83c12536 chash=25c150616875c8ff95cc6c455e02c6c34cba0877 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/test_implies.casl pkg.csize=155 pkg.size=235
file 01c621b8808307816e7ef64cd5ba970dfe3ab02b chash=2d879c1cd1d8477404654a8ba91d9aeb04712b55 group=bin mode=0644 owner=bin path=local/usr/lib/hets/hets-lib/view-test8.casl pkg.csize=189 pkg.size=345
legacy arch=i386 category=develop,util,application desc="see: pkg info developer/hets/hets-libs" name="Heterogeneous Tool Set - libraries" pkg=LNFhets-libs version=0.99.1