: 1 8171524
1 d none lib ? ? ?
1 d none lib/hets 0755 bin bin
1 d none lib/hets/hets-lib 0755 bin bin
1 d none lib/hets/hets-lib/Basic 0755 bin bin
1 f none lib/hets/hets-lib/Basic-Libraries.tex 0644 bin bin 759 6200 1664444124
1 f none lib/hets/hets-lib/Basic/Algebra_I.casl 0644 bin bin 9337 30950 1664444124
1 f none lib/hets/hets-lib/Basic/Algebra_I.fenv.txt 0644 bin bin 46568 24434 1664444124
1 f none lib/hets/hets-lib/Basic/Algebra_I.hpf 0644 bin bin 2143 25357 1664444124
1 f none lib/hets/hets-lib/Basic/Algebra_II.casl 0644 bin bin 9268 3521 1664444124
1 f none lib/hets/hets-lib/Basic/Algebra_II.fenv.txt 0644 bin bin 27412 9177 1664444124
1 f none lib/hets/hets-lib/Basic/Algebra_II.hpf 0644 bin bin 958 63761 1664444124
1 f none lib/hets/hets-lib/Basic/CharactersAndStrings.casl 0644 bin bin 59763 12480 1664444124
1 f none lib/hets/hets-lib/Basic/FutureChanges.txt 0644 bin bin 275 21227 1664444124
1 f none lib/hets/hets-lib/Basic/Graphs.casl 0644 bin bin 17514 28611 1664444124
1 f none lib/hets/hets-lib/Basic/Graphs.hpf 0644 bin bin 166 10998 1664444124
1 f none lib/hets/hets-lib/Basic/LinearAlgebra_I.casl 0644 bin bin 13301 41478 1664444124
1 f none lib/hets/hets-lib/Basic/LinearAlgebra_I.hpf 0644 bin bin 432 31200 1664444124
1 f none lib/hets/hets-lib/Basic/LinearAlgebra_II.casl 0644 bin bin 2600 5646 1664444124
1 f none lib/hets/hets-lib/Basic/MachineNumbers.casl 0644 bin bin 10684 64699 1664444124
1 f none lib/hets/hets-lib/Basic/MachineNumbers.fenv.txt 0644 bin bin 5557 57454 1664444124
1 f none lib/hets/hets-lib/Basic/MachineNumbers.hpf 0644 bin bin 1217 32967 1664444124
1 f none lib/hets/hets-lib/Basic/Numbers.casl 0644 bin bin 13163 35230 1664444124
1 f none lib/hets/hets-lib/Basic/Numbers.fenv.txt 0644 bin bin 3734 63989 1664444124
1 f none lib/hets/hets-lib/Basic/Numbers.hpf.example 0644 bin bin 311 25928 1664444124
1 f none lib/hets/hets-lib/Basic/Reals.casl 0644 bin bin 11995 46826 1664444124
1 f none lib/hets/hets-lib/Basic/RelationsAndOrders.casl 0644 bin bin 6696 43118 1664444124
1 f none lib/hets/hets-lib/Basic/RelationsAndOrders.fenv.txt 0644 bin bin 6252 60875 1664444124
1 f none lib/hets/hets-lib/Basic/RelationsAndOrders.hpf 0644 bin bin 1329 23304 1664444124
1 f none lib/hets/hets-lib/Basic/RelationsAndOrders3.hpf 0644 bin bin 1219 51058 1664444124
1 f none lib/hets/hets-lib/Basic/RelationsAndOrders4.hpf 0644 bin bin 98 9208 1664444124
1 f none lib/hets/hets-lib/Basic/RelationsAndOrders5.hpf 0644 bin bin 737 4588 1664444124
1 f none lib/hets/hets-lib/Basic/RelationsAndOrders8.hpf 0644 bin bin 1075 36022 1664444124
1 f none lib/hets/hets-lib/Basic/RelationsAndOrders9.hpf 0644 bin bin 1645 25604 1664444124
1 f none lib/hets/hets-lib/Basic/RelationsAndOrders_ExtBooleanAlgebra__U2E1.thy 0644 bin bin 4549 52173 1664444124
1 f none lib/hets/hets-lib/Basic/SimpleDatatypes.casl 0644 bin bin 1353 40177 1664444124
1 f none lib/hets/hets-lib/Basic/SimpleDatatypes.fenv.txt 0644 bin bin 19062 60090 1664444124
1 f none lib/hets/hets-lib/Basic/SimpleDatatypes.hpf 0644 bin bin 296 18777 1664444124
1 f none lib/hets/hets-lib/Basic/StructuredDatatypes.casl 0644 bin bin 26229 11011 1664444124
1 f none lib/hets/hets-lib/Basic/StructuredDatatypes.fenv.txt 0644 bin bin 48543 31558 1664444124
1 f none lib/hets/hets-lib/Basic/StructuredDatatypes.hpf 0644 bin bin 1564 42058 1664444124
1 d none lib/hets/hets-lib/CASL 0755 bin bin
1 f none lib/hets/hets-lib/CASL/AbstractSyntax.casl 0644 bin bin 11118 62906 1664444124
1 d none lib/hets/hets-lib/Calculi 0755 bin bin
1 d none lib/hets/hets-lib/Calculi/Algebra 0755 bin bin
1 f none lib/hets/hets-lib/Calculi/Algebra/Algebra.casl 0644 bin bin 670 52893 1664444124
1 f none lib/hets/hets-lib/Calculi/Algebra/BooleanAlgebra.casl 0644 bin bin 1687 7322 1664444124
1 f none lib/hets/hets-lib/Calculi/Algebra/ExampleCalculus.dol 0644 bin bin 1934 32429 1664444124
1 f none lib/hets/hets-lib/Calculi/Algebra/FuzzySystems.dol 0644 bin bin 16530 29146 1664444124
1 f none lib/hets/hets-lib/Calculi/Algebra/Makefile 0644 bin bin 1088 11209 1664444124
1 f none lib/hets/hets-lib/Calculi/Algebra/RelationAlgebra.casl 0644 bin bin 6435 26330 1664444124
1 f none lib/hets/hets-lib/Calculi/Algebra/RelationAlgebraConstr.dol 0644 bin bin 3093 55578 1664444124
1 f none lib/hets/hets-lib/Calculi/Algebra/RelationAlgebraModel.dol 0644 bin bin 6525 1617 1664444124
1 f none lib/hets/hets-lib/Calculi/Algebra/RelationAlgebraSimple.casl 0644 bin bin 5627 57655 1664444124
1 f none lib/hets/hets-lib/Calculi/Algebra/RelationAlgebraSymbolic.casl 0644 bin bin 4931 813 1664444124
1 f none lib/hets/hets-lib/Calculi/Algebra/RelationAlgebraSymbolicConstr.casl 0644 bin bin 4125 62219 1664444124
1 f none lib/hets/hets-lib/Calculi/Algebra/RelationsAndOrders.casl 0644 bin bin 3040 15100 1664444124
1 f none lib/hets/hets-lib/Calculi/Algebra/RelationsAndOrders.hpf 0644 bin bin 429 31725 1664444124
1 f none lib/hets/hets-lib/Calculi/Algebra/Set.casl 0644 bin bin 1032 21027 1664444124
1 f none lib/hets/hets-lib/Calculi/Makefile 0644 bin bin 550 37544 1664444124
1 d none lib/hets/hets-lib/Calculi/Space 0755 bin bin
1 f none lib/hets/hets-lib/Calculi/Space/CondensedSemantics.casl 0644 bin bin 2886 35750 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/DRA.casl 0644 bin bin 484382 25753 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/DRA.hpf 0644 bin bin 185 12611 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/DRA_FO.casl 0644 bin bin 25811 11622 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/DRA_HO.dol 0644 bin bin 14409 56113 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/DRA_X.dol 0644 bin bin 574431 37380 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/DRA_X.hpf 0644 bin bin 1328 37980 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/DoubleCross.dol 0644 bin bin 14643 17154 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/EuclideanSpace.dol 0644 bin bin 1574 52131 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/FlipFlop.casl 0644 bin bin 4631 19369 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/FlipFlop.hpf 0644 bin bin 203 14470 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/FlipFlop_FO.casl 0644 bin bin 5625 22800 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/FlipFlop_FO_FlipFlopExt_FO.thy 0644 bin bin 95513 11356 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/Instructions.txt 0644 bin bin 476 41001 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/Intersection.casl 0644 bin bin 2473 52251 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/Interval.casl 0644 bin bin 3552 12411 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/LR.dol 0644 bin bin 9524 55579 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/LR.hpf 0644 bin bin 1730 1286 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/Makefile 0644 bin bin 1088 11209 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/Modal_RCC8.dol 0644 bin bin 976 4721 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/OrientationCalculi.dol 0644 bin bin 10770 13716 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/OrientationCalculi.hpf 0644 bin bin 924 63698 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/PA2.dol 0644 bin bin 432 37614 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCC5.dol 0644 bin bin 9234 48430 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCC8.dol 0644 bin bin 12573 31774 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCCAlgebra.casl 0644 bin bin 9090 17023 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCCDagstuhl-proved.dg 0644 bin bin 158471 28412 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCCDagstuhl.dol 0644 bin bin 17144 57797 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCCDagstuhl2.dol 0644 bin bin 17765 50765 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCCDagstuhl2.hpf.example 0644 bin bin 3194 2884 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCCDagstuhl2_NN_T.thy 0644 bin bin 14484 45164 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCCDagstuhl_ExtRCCByRCC5Rels_E1-proof-details-1.txt 0644 bin bin 4916 62516 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCCDagstuhl_ExtRCCByRCC5Rels_E1-proof-details.txt 0644 bin bin 7062 13152 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCCDagstuhl_ExtRCCByRCC5Rels_E1.spcf 0644 bin bin 1585459 26636 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCCDagstuhl_ExtRCCByRCC8Rels_E1-proof-details.txt 0644 bin bin 22657 58336 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCCDagstuhl_RCC_FO_E1-proof-details.txt 0644 bin bin 2287 26021 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCCDagstuhl_RCC_FO_E1.spcf 0644 bin bin 42688 63096 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCCVerification.dol 0644 bin bin 14153 49708 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCCVerification.hpf 0644 bin bin 799 4796 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCCVerification.hpf.example 0644 bin bin 3246 7850 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCCVerification.txt 0644 bin bin 971 29645 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/RCCVerification2.hpf 0644 bin bin 1090 18656 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/SimpleRCC.dol 0644 bin bin 1783 52340 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/SimpleRCC.hpf 0644 bin bin 294 22564 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/TopologicalCalculi.dol 0644 bin bin 2091 30609 1664444124
1 d none lib/hets/hets-lib/Calculi/Space/tools 0755 bin bin
1 f none lib/hets/hets-lib/Calculi/Space/tools/DRA72.table.txt 0644 bin bin 1619893 22426 1664444124
1 f none lib/hets/hets-lib/Calculi/Space/tools/convert.sh 0644 bin bin 3420 9116 1664444124
1 d none lib/hets/hets-lib/Calculi/Time 0755 bin bin
1 d none lib/hets/hets-lib/Calculi/Time/AllenHayes 0755 bin bin
1 f none lib/hets/hets-lib/Calculi/Time/AllenHayes.casl 0644 bin bin 9671 54376 1664444124
1 f none lib/hets/hets-lib/Calculi/Time/AllenHayes.hpf 0644 bin bin 1169 29186 1664444124
1 f none lib/hets/hets-lib/Calculi/Time/AllenHayes/AllenHayesLadkin.thy 0644 bin bin 1653 52363 1664444124
1 f none lib/hets/hets-lib/Calculi/Time/AllenHayes/BaseAllenHayes.thy 0644 bin bin 1757 59407 1664444124
1 f none lib/hets/hets-lib/Calculi/Time/AllenHayes/ConstructPointsFromIntervals.thy 0644 bin bin 3181 44604 1664444124
1 f none lib/hets/hets-lib/Calculi/Time/AllenHayesLadkin_TACAS.dol 0644 bin bin 12323 53765 1664444124
1 f none lib/hets/hets-lib/Calculi/Time/AllenHayesLadkin_TACAS_AllenHayes_E1.spcf 0644 bin bin 401092 21872 1664444124
1 f none lib/hets/hets-lib/Calculi/Time/FlowOfTime.casl 0644 bin bin 9522 29196 1664444124
1 f none lib/hets/hets-lib/Calculi/Time/FlowOfTime.hpf 0644 bin bin 1850 26773 1664444124
1 f none lib/hets/hets-lib/Calculi/Time/IntervalAlgebraLin.dol 0644 bin bin 24223 54221 1664444124
1 f none lib/hets/hets-lib/Calculi/Time/LinearFlowOfTime.casl 0644 bin bin 7761 11611 1664444124
1 f none lib/hets/hets-lib/Calculi/Time/LinearFlowOfTime.hpf 0644 bin bin 1211 25518 1664444124
1 f none lib/hets/hets-lib/Calculi/Time/Makefile 0644 bin bin 1088 11209 1664444124
1 f none lib/hets/hets-lib/Calculi/Time/PointAlgebraLin.dol 0644 bin bin 6338 44621 1664444124
1 f none lib/hets/hets-lib/Calculi/Time/Tree.casl 0644 bin bin 11177 38372 1664444124
1 f none lib/hets/hets-lib/Calculi/Time/Tree.hpf 0644 bin bin 5010 36362 1664444124
1 d none lib/hets/hets-lib/CaseStudies 0755 bin bin
1 f none lib/hets/hets-lib/CaseStudies/Interpreter.casl 0644 bin bin 5703 3259 1664444124
1 f none lib/hets/hets-lib/CaseStudies/Invoice.casl 0644 bin bin 7237 25768 1664444124
1 f none lib/hets/hets-lib/CaseStudies/Invoice_corrected.casl 0644 bin bin 10119 60478 1664444124
1 d none lib/hets/hets-lib/CaseStudies/Misc 0755 bin bin
1 f none lib/hets/hets-lib/CaseStudies/Misc/Haskell.casl 0644 bin bin 248 20738 1664444124
1 f none lib/hets/hets-lib/CaseStudies/Misc/Misc.casl 0644 bin bin 1031 9348 1664444124
1 f none lib/hets/hets-lib/CaseStudies/Misc/Prerequisites.casl 0644 bin bin 871 1122 1664444124
1 f none lib/hets/hets-lib/CaseStudies/Misc/Protocol.casl 0644 bin bin 21292 58343 1664444124
1 f none lib/hets/hets-lib/CaseStudies/Misc/Stateful.casl 0644 bin bin 189 16373 1664444124
1 f none lib/hets/hets-lib/CaseStudies/Misc/StatefulProtocol.casl 0644 bin bin 11961 41530 1664444124
1 d none lib/hets/hets-lib/CaseStudies/PuCache 0755 bin bin
1 f none lib/hets/hets-lib/CaseStudies/PuCache/PFS_Protocol.casl 0644 bin bin 2022 22362 1664444124
1 f none lib/hets/hets-lib/CaseStudies/PuCache/PuCacheAccess.casl 0644 bin bin 2571 7047 1664444124
1 f none lib/hets/hets-lib/CaseStudies/PuCache/PuCacheData.casl 0644 bin bin 3268 35988 1664444124
1 f none lib/hets/hets-lib/CaseStudies/PuCache/PuCacheFile.casl 0644 bin bin 1372 47167 1664444124
1 f none lib/hets/hets-lib/CaseStudies/PuCache/PuCacheInterface.casl 0644 bin bin 2354 339 1664444124
1 f none lib/hets/hets-lib/CaseStudies/PuCache/PuCacheUtil.casl 0644 bin bin 2496 13949 1664444124
1 f none lib/hets/hets-lib/CaseStudies/PuCache/PuDatatypes.casl 0644 bin bin 336 27859 1664444124
1 f none lib/hets/hets-lib/CaseStudies/PuCache/PuInterface.casl 0644 bin bin 803 1802 1664444124
1 f none lib/hets/hets-lib/CaseStudies/PuCache/PuMain.casl 0644 bin bin 4593 44487 1664444124
1 f none lib/hets/hets-lib/CaseStudies/PuCache/PuReqRead.casl 0644 bin bin 3707 6255 1664444124
1 f none lib/hets/hets-lib/CaseStudies/PuCache/PuServer.casl 0644 bin bin 519 45331 1664444124
1 f none lib/hets/hets-lib/CaseStudies/PuCache/PuUtil.casl 0644 bin bin 481 42208 1664444124
1 f none lib/hets/hets-lib/CaseStudies/Unification.casl 0644 bin bin 3448 18540 1664444124
1 d none lib/hets/hets-lib/CoCASL 0755 bin bin
1 f none lib/hets/hets-lib/CoCASL/AmbientCalculus.dol 0644 bin bin 8023 62325 1664444124
1 f none lib/hets/hets-lib/CoCASL/CCS.dol 0644 bin bin 6892 27692 1664444124
1 f none lib/hets/hets-lib/CoCASL/CCS_Automaton.dol 0644 bin bin 6006 16885 1664444124
1 f none lib/hets/hets-lib/CoCASL/CCS_Buffer.dol 0644 bin bin 1219 17766 1664444124
1 f none lib/hets/hets-lib/CoCASL/Examples.dol 0644 bin bin 2952 31035 1664444124
1 f none lib/hets/hets-lib/CoCASL/Examples_3.thy 0644 bin bin 2622 14788 1664444124
1 d none lib/hets/hets-lib/CoCASL/Proof-Support-Examples 0755 bin bin
1 f none lib/hets/hets-lib/CoCASL/Proof-Support-Examples/BinTree.thy 0644 bin bin 2698 17938 1664444124
1 f none lib/hets/hets-lib/CoCASL/Proof-Support-Examples/BitStream.thy 0644 bin bin 3144 54430 1664444124
1 f none lib/hets/hets-lib/CoCASL/Proof-Support-Examples/NatStream.thy 0644 bin bin 6054 20817 1664444124
1 f none lib/hets/hets-lib/CoCASL/Proof-Support-Examples/README 0644 bin bin 2493 46187 1664444124
1 f none lib/hets/hets-lib/CoCASL/Proof-Support-Examples/Sequence.thy 0644 bin bin 7030 8823 1664444124
1 f none lib/hets/hets-lib/CoCASL/Proof-Support-Examples/Stream.thy 0644 bin bin 7259 43928 1664444124
1 f none lib/hets/hets-lib/CoCASL/Proof-Support-Examples/TreeStream.thy 0644 bin bin 4378 16302 1664444124
1 f none lib/hets/hets-lib/CoCASL/Proof-Support-Examples/VendingMachine.thy 0644 bin bin 5427 45699 1664444124
1 f none lib/hets/hets-lib/CoCASL/Proof-Support-Examples/tactics.ML 0644 bin bin 10089 13626 1664444124
1 d none lib/hets/hets-lib/CommonLogic 0755 bin bin
1 f none lib/hets/hets-lib/CommonLogic/CommonLogic.casl 0644 bin bin 175 15015 1664444124
1 d none lib/hets/hets-lib/CommonLogic/Examples 0755 bin bin
1 f none lib/hets/hets-lib/CommonLogic/Examples/COLORE-RelativeInterpretation.dol 0644 bin bin 830 64701 1664444124
1 f none lib/hets/hets-lib/CommonLogic/Examples/COLORE2-Relationships.dol 0644 bin bin 3412 29451 1664444124
1 f none lib/hets/hets-lib/CommonLogic/Examples/Cat-AllInOne.clif 0644 bin bin 125 8445 1664444124
1 f none lib/hets/hets-lib/CommonLogic/Examples/Cat.clif 0644 bin bin 75 4783 1664444124
1 f none lib/hets/hets-lib/CommonLogic/Examples/Cat.dol 0644 bin bin 233 16713 1664444124
1 f none lib/hets/hets-lib/CommonLogic/Examples/Partial_Order.clif 0644 bin bin 410 28197 1664444124
1 f none lib/hets/hets-lib/CommonLogic/Examples/Partial_Order_From_Strict_Partial_Order.clif 0644 bin bin 255 19075 1664444124
1 f none lib/hets/hets-lib/CommonLogic/Examples/Partial_Orders.dol 0644 bin bin 900 60943 1664444124
1 f none lib/hets/hets-lib/CommonLogic/Examples/PetHappy.clif 0644 bin bin 108 8411 1664444124
1 f none lib/hets/hets-lib/CommonLogic/Examples/Pred.clif 0644 bin bin 45 2806 1664444124
1 f none lib/hets/hets-lib/CommonLogic/Examples/Strict_Partial_Order.clif 0644 bin bin 323 21423 1664444124
1 f none lib/hets/hets-lib/CommonLogic/Examples/SymbolMap.dol 0644 bin bin 242 20278 1664444124
1 f none lib/hets/hets-lib/CommonLogic/Examples/colore-meta.pdf 0644 bin bin 58111 43904 1664444124
1 f none lib/hets/hets-lib/CommonLogic/Examples/lower.clif 0644 bin bin 165 12254 1664444124
1 f none lib/hets/hets-lib/CommonLogic/Examples/upper.clif 0644 bin bin 165 12193 1664444124
1 d none lib/hets/hets-lib/CommonLogic/PSL 0755 bin bin
1 f none lib/hets/hets-lib/CommonLogic/PSL/psl_all.clf 0644 bin bin 101297 44736 1664444124
1 f none lib/hets/hets-lib/CommonLogic/PSL/psl_all.dol 0644 bin bin 187997 12836 1664444124
1 f none lib/hets/hets-lib/CommonLogic/PSL/psl_all_d.clf 0644 bin bin 363376 37632 1664444124
1 d none lib/hets/hets-lib/CommonLogic/PaulTyson 0755 bin bin
1 f none lib/hets/hets-lib/CommonLogic/PaulTyson/cl-example-pht20130718-xcl1.xcl 0644 bin bin 11694 7687 1664444124
1 f none lib/hets/hets-lib/CommonLogic/PaulTyson/cl-example-pht20130718-xcl2.xcl 0644 bin bin 19264 37759 1664444124
1 f none lib/hets/hets-lib/CommonLogic/PaulTyson/cl-example-pht20130718.clif 0644 bin bin 4329 65164 1664444124
1 f none lib/hets/hets-lib/CommonLogic/PaulTyson/cl-example-pht20130718.html 0644 bin bin 55551 29071 1664444124
1 f none lib/hets/hets-lib/CommonLogic/arity.dol 0644 bin bin 185 13022 1664444124
1 f none lib/hets/hets-lib/CommonLogic/colore-check.mk 0644 bin bin 1043 21270 1664444124
1 f none lib/hets/hets-lib/CommonLogic/fUML.clif 0644 bin bin 100692 19204 1664444124
1 f none lib/hets/hets-lib/CommonLogic/sumo-cl.clif 0644 bin bin 519311 45897 1664444124
1 f none lib/hets/hets-lib/CommonLogic/test.dol 0644 bin bin 839 62095 1664444124
1 d none lib/hets/hets-lib/Conservativity 0755 bin bin
1 f none lib/hets/hets-lib/Conservativity/example-short.dol 0644 bin bin 704 49651 1664444124
1 f none lib/hets/hets-lib/Conservativity/examples.dol 0644 bin bin 3120 32015 1664444124
1 f none lib/hets/hets-lib/Conservativity/examples.hpf 0644 bin bin 59 5819 1664444124
1 d none lib/hets/hets-lib/ConstraintCASL 0755 bin bin
1 f none lib/hets/hets-lib/ConstraintCASL/ConstraintCASL.proposal 0644 bin bin 7690 45289 1664444124
1 f none lib/hets/hets-lib/ConstraintCASL/RCC8.dol 0644 bin bin 5764 59880 1664444124
1 f none lib/hets/hets-lib/ConstraintCASL/RCC8.lisp 0644 bin bin 5757 32650 1664444124
1 d none lib/hets/hets-lib/CspCASL 0755 bin bin
1 f none lib/hets/hets-lib/CspCASL/Buffer.dol 0644 bin bin 839 62820 1664444124
1 f none lib/hets/hets-lib/CspCASL/Complex.dol 0644 bin bin 762 56238 1664444124
1 f none lib/hets/hets-lib/CspCASL/DiningPhilosophers.dol 0644 bin bin 4429 34740 1664444124
1 f none lib/hets/hets-lib/CspCASL/FileAttributes.dol 0644 bin bin 530 41834 1664444124
1 d none lib/hets/hets-lib/CspCASL/Shop 0755 bin bin
1 f none lib/hets/hets-lib/CspCASL/Shop/Arch_Components.dol 0644 bin bin 3833 46912 1664444124
1 d none lib/hets/hets-lib/CspCASL/Shop/ReadMe 0755 bin bin
1 f none lib/hets/hets-lib/CspCASL/Shop/ReadMe/Hets.png 0644 bin bin 17995 54177 1664444124
1 f none lib/hets/hets-lib/CspCASL/Shop/ReadMe/ReadMe.tex 0644 bin bin 6708 24847 1664444124
1 f none lib/hets/hets-lib/CspCASL/Shop/Shop.dol 0644 bin bin 879 56665 1664444124
1 f none lib/hets/hets-lib/CspCASL/Shop/Shop.tex 0644 bin bin 299 28960 1664444124
1 d none lib/hets/hets-lib/DOL 0755 bin bin
1 f none lib/hets/hets-lib/DOL/Alignment.dol 0644 bin bin 865 7390 1664444124
1 f none lib/hets/hets-lib/DOL/CompetencyQuestion.hpf 0644 bin bin 157 14245 1664444124
1 f none lib/hets/hets-lib/DOL/align.dol 0644 bin bin 650 52544 1664444124
1 f none lib/hets/hets-lib/DOL/align2.dol 0644 bin bin 323 27200 1664444124
1 f none lib/hets/hets-lib/DOL/mereology.dol 0644 bin bin 3273 45470 1664444124
1 f none lib/hets/hets-lib/DOL/minimize.dol 0644 bin bin 1065 18381 1664444124
1 f none lib/hets/hets-lib/DOL/minimize_CL.dol 0644 bin bin 797 58952 1664444124
1 f none lib/hets/hets-lib/DOL/test.dol 0644 bin bin 617 49065 1664444124
1 f none lib/hets/hets-lib/Datatypes.casl 0644 bin bin 1694 59212 1664444124
1 f none lib/hets/hets-lib/Datatypes.hpf 0644 bin bin 596 46883 1664444124
1 d none lib/hets/hets-lib/EnCL 0755 bin bin
1 f none lib/hets/hets-lib/EnCL/EN1591.dol 0644 bin bin 13377 36343 1664444124
1 f none lib/hets/hets-lib/EnCL/EN1591Repeat.dol 0644 bin bin 1383 27446 1664444124
1 f none lib/hets/hets-lib/EnCL/EN1591S.dol 0644 bin bin 13467 30603 1664444124
1 f none lib/hets/hets-lib/EnCL/ExtParamExamples.dol 0644 bin bin 7466 51367 1664444124
1 f none lib/hets/hets-lib/EnCL/README 0644 bin bin 580 51139 1664444124
1 f none lib/hets/hets-lib/EnCL/Semantics.thy 0644 bin bin 16739 29865 1664444124
1 f none lib/hets/hets-lib/EnCL/SemanticsTests.thy 0644 bin bin 10295 21070 1664444124
1 f none lib/hets/hets-lib/EnCL/Tests.dol 0644 bin bin 8486 23111 1664444124
1 f none lib/hets/hets-lib/EnCL/flange.dol 0644 bin bin 2388 25668 1664444124
1 f none lib/hets/hets-lib/EnCL/flange1.dol 0644 bin bin 561 34103 1664444124
1 f none lib/hets/hets-lib/EnCL/flangeDefault.dol 0644 bin bin 3773 564 1664444124
1 f none lib/hets/hets-lib/EnCL/flangeExported.dol 0644 bin bin 410 29991 1664444124
1 f none lib/hets/hets-lib/EnCL/flangeS.dol 0644 bin bin 4500 46200 1664444124
1 d none lib/hets/hets-lib/Examples 0755 bin bin
1 f none lib/hets/hets-lib/Examples/Architectural.casl 0644 bin bin 1561 49437 1664444124
1 f none lib/hets/hets-lib/Examples/BinInt.casl 0644 bin bin 1176 24463 1664444124
1 d none lib/hets/hets-lib/Examples/CrashCourse 0755 bin bin
1 f none lib/hets/hets-lib/Examples/CrashCourse/FamilyBaseOWL.dol 0644 bin bin 1575 1463 1664444124
1 f none lib/hets/hets-lib/Examples/CrashCourse/Function.dol 0644 bin bin 529 41199 1664444124
1 f none lib/hets/hets-lib/Examples/Generic.casl 0644 bin bin 4275 4972 1664444124
1 f none lib/hets/hets-lib/Examples/Groups.casl 0644 bin bin 191 13945 1664444124
1 f none lib/hets/hets-lib/Examples/List.casl 0644 bin bin 991 6875 1664444124
1 f none lib/hets/hets-lib/Examples/MeasureUnits.casl 0644 bin bin 1649 56739 1664444124
1 f none lib/hets/hets-lib/Examples/NFS.casl 0644 bin bin 14575 61449 1664444124
1 f none lib/hets/hets-lib/Examples/Nat.casl 0644 bin bin 288 18115 1664444124
1 f none lib/hets/hets-lib/Examples/Order.casl 0644 bin bin 268 20338 1664444124
1 f none lib/hets/hets-lib/Examples/POINT.casl 0644 bin bin 2940 18849 1664444124
1 f none lib/hets/hets-lib/Examples/Reichel.casl 0644 bin bin 2970 45951 1664444124
1 f none lib/hets/hets-lib/Examples/Reverse.casl 0644 bin bin 1522 60064 1664444124
1 f none lib/hets/hets-lib/Examples/Signature.casl 0644 bin bin 1428 42087 1664444124
1 f none lib/hets/hets-lib/Examples/Simple.casl 0644 bin bin 1111 8647 1664444124
1 f none lib/hets/hets-lib/Examples/Sorting.casl 0644 bin bin 1691 2979 1664444124
1 f none lib/hets/hets-lib/Examples/SortingWithOutHiding.casl 0644 bin bin 1665 620 1664444124
1 f none lib/hets/hets-lib/Examples/TestImplies.casl 0644 bin bin 72 6222 1664444124
1 f none lib/hets/hets-lib/Examples/cons_test.casl 0644 bin bin 1281 33002 1664444124
1 f none lib/hets/hets-lib/Examples/dodatek.casl 0644 bin bin 7057 46422 1664444124
1 f none lib/hets/hets-lib/Examples/lambda.dol 0644 bin bin 469 30393 1664444124
1 f none lib/hets/hets-lib/Examples/view-test1.casl 0644 bin bin 160 13351 1664444124
1 f none lib/hets/hets-lib/Examples/view-test2.casl 0644 bin bin 221 18698 1664444124
1 f none lib/hets/hets-lib/Examples/view-test3.casl 0644 bin bin 210 16509 1664444124
1 f none lib/hets/hets-lib/Examples/view-test4.casl 0644 bin bin 278 22300 1664444124
1 f none lib/hets/hets-lib/Examples/view-test5.casl 0644 bin bin 231 18498 1664444124
1 d none lib/hets/hets-lib/HasCASL 0755 bin bin
1 f none lib/hets/hets-lib/HasCASL/AffineGeometry.dol 0644 bin bin 1737 57324 1664444124
1 f none lib/hets/hets-lib/HasCASL/AffineGeometry_ExtAffineSpace_E1.thy 0644 bin bin 6860 9857 1664444124
1 f none lib/hets/hets-lib/HasCASL/Algebra.dol 0644 bin bin 1954 9909 1664444124
1 f none lib/hets/hets-lib/HasCASL/Algebra_Group_E1.thy 0644 bin bin 1792 8727 1664444124
1 f none lib/hets/hets-lib/HasCASL/Algebra_Ring_E1.thy 0644 bin bin 3453 62692 1664444124
1 f none lib/hets/hets-lib/HasCASL/Categories.dol 0644 bin bin 3888 36006 1664444124
1 f none lib/hets/hets-lib/HasCASL/Complex.dol 0644 bin bin 1234 32565 1664444124
1 f none lib/hets/hets-lib/HasCASL/EuclideanSpaces.dol 0644 bin bin 5410 24104 1664444124
1 f none lib/hets/hets-lib/HasCASL/ExtNumbers.dol 0644 bin bin 7550 18306 1664444124
1 f none lib/hets/hets-lib/HasCASL/Foldl.dol 0644 bin bin 877 2207 1664444124
1 f none lib/hets/hets-lib/HasCASL/Foldl2.dol 0644 bin bin 750 57722 1664444124
1 f none lib/hets/hets-lib/HasCASL/Foldl3.dol 0644 bin bin 897 4009 1664444124
1 f none lib/hets/hets-lib/HasCASL/Foldl3_FoldlImpl_Proofs.thy 0644 bin bin 2382 56778 1664444124
1 f none lib/hets/hets-lib/HasCASL/Foldl3_FoldlImpl_Proofs2.thy 0644 bin bin 3793 49035 1664444124
1 f none lib/hets/hets-lib/HasCASL/Foldl4.dol 0644 bin bin 796 60820 1664444124
1 f none lib/hets/hets-lib/HasCASL/Functions.dol 0644 bin bin 1144 64434 1664444124
1 f none lib/hets/hets-lib/HasCASL/Functions_1.thy 0644 bin bin 1534 53424 1664444124
1 f none lib/hets/hets-lib/HasCASL/Functions_2.thy 0644 bin bin 1201 26155 1664444124
1 f none lib/hets/hets-lib/HasCASL/Functions_FiniteSeq_E1.monadic.thy 0644 bin bin 5890 6144 1664444124
1 f none lib/hets/hets-lib/HasCASL/Functions_MainHC.thy 0644 bin bin 4566 50983 1664444124
1 f none lib/hets/hets-lib/HasCASL/Functions_MainHC2.thy 0644 bin bin 6123 48222 1664444124
1 f none lib/hets/hets-lib/HasCASL/Functions_MainHC3.thy 0644 bin bin 2912 39827 1664444124
1 f none lib/hets/hets-lib/HasCASL/Functions_option.thy 0644 bin bin 1995 29279 1664444124
1 f none lib/hets/hets-lib/HasCASL/Functions_option_manual.thy 0644 bin bin 4230 29444 1664444124
1 f none lib/hets/hets-lib/HasCASL/Functions_pair.thy 0644 bin bin 2230 48483 1664444124
1 f none lib/hets/hets-lib/HasCASL/Graphs.dol 0644 bin bin 9703 54110 1664444124
1 f none lib/hets/hets-lib/HasCASL/HLR.dol 0644 bin bin 984 6755 1664444124
1 f none lib/hets/hets-lib/HasCASL/HaskellLibs_1.thy 0644 bin bin 8623 53149 1664444124
1 f none lib/hets/hets-lib/HasCASL/HaskellLibs_LK.thy 0644 bin bin 5011 31567 1664444124
1 f none lib/hets/hets-lib/HasCASL/Iteration.dol 0644 bin bin 1078 19607 1664444124
1 f none lib/hets/hets-lib/HasCASL/LinearAlgebra.dol 0644 bin bin 4174 54357 1664444124
1 f none lib/hets/hets-lib/HasCASL/LinearAlgebra_EuclideanSpaceIsNormedSpace_T.thy 0644 bin bin 17562 7067 1664444124
1 f none lib/hets/hets-lib/HasCASL/LinearAlgebra_EuclideanVectorSpace_E1.thy 0644 bin bin 12572 54853 1664444124
1 f none lib/hets/hets-lib/HasCASL/LinearAlgebra_ExtEuclideanVectorSpace_E1.thy 0644 bin bin 16511 52708 1664444124
1 f none lib/hets/hets-lib/HasCASL/LinearAlgebra_VectorSpace_E1.thy 0644 bin bin 6189 15469 1664444124
1 f none lib/hets/hets-lib/HasCASL/List.dol 0644 bin bin 3571 23285 1664444124
1 f none lib/hets/hets-lib/HasCASL/Map.dol 0644 bin bin 1242 19163 1664444124
1 d none lib/hets/hets-lib/HasCASL/Metatheory 0755 bin bin
1 f none lib/hets/hets-lib/HasCASL/Metatheory/Coproduct.dol 0644 bin bin 1176 19296 1664444124
1 f none lib/hets/hets-lib/HasCASL/Metatheory/Functor.dol 0644 bin bin 2285 40368 1664444124
1 f none lib/hets/hets-lib/HasCASL/Metatheory/HasCASL-Metatheory-Libraries.tex 0644 bin bin 687 64670 1664444124
1 f none lib/hets/hets-lib/HasCASL/Metatheory/Hoare.dol 0644 bin bin 1767 988 1664444124
1 f none lib/hets/hets-lib/HasCASL/Metatheory/Interpreter.dol 0644 bin bin 605 44375 1664444124
1 f none lib/hets/hets-lib/HasCASL/Metatheory/Iteration.dol 0644 bin bin 594 41597 1664444124
1 f none lib/hets/hets-lib/HasCASL/Metatheory/Monad.dol 0644 bin bin 1511 42604 1664444124
1 f none lib/hets/hets-lib/HasCASL/Metatheory/Ord.dol 0644 bin bin 449 31639 1664444124
1 f none lib/hets/hets-lib/HasCASL/Metatheory/Recursion.dol 0644 bin bin 1593 50999 1664444124
1 f none lib/hets/hets-lib/HasCASL/Metric.dol 0644 bin bin 2764 24091 1664444124
1 f none lib/hets/hets-lib/HasCASL/MetricSpaces.dol 0644 bin bin 1389 43564 1664444124
1 f none lib/hets/hets-lib/HasCASL/MetricSpaces2.dol 0644 bin bin 2297 33513 1664444124
1 f none lib/hets/hets-lib/HasCASL/MultiSet.dol 0644 bin bin 2368 37861 1664444124
1 f none lib/hets/hets-lib/HasCASL/MyLogic.hs 0644 bin bin 1096 16133 1664444124
1 f none lib/hets/hets-lib/HasCASL/Natpartial.dol 0644 bin bin 388 26897 1664444124
1 f none lib/hets/hets-lib/HasCASL/Natpartial_Nat.thy 0644 bin bin 31470 47076 1664444124
1 f none lib/hets/hets-lib/HasCASL/PartialityTest.hets 0644 bin bin 266 19403 1664444124
1 f none lib/hets/hets-lib/HasCASL/PartialityTest_Test_E1.manual.thy 0644 bin bin 4249 20236 1664444124
1 f none lib/hets/hets-lib/HasCASL/Petri.dol 0644 bin bin 2988 23065 1664444124
1 f none lib/hets/hets-lib/HasCASL/PetriSystem.dol 0644 bin bin 4061 45000 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real.dol 0644 bin bin 5225 25187 1664444124
1 d none lib/hets/hets-lib/HasCASL/Real3D 0755 bin bin
1 f none lib/hets/hets-lib/HasCASL/Real3D/Basics.dol 0644 bin bin 6815 55886 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/Basics_AffineRealSpace3D_aux.thy 0644 bin bin 23711 62959 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/Basics_SetsWithComprehension_E1.thy 0644 bin bin 3238 61201 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/Basics_Vectors3DSpace_E1.thy 0644 bin bin 22004 61709 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/Basics_Vectors3DSpace_E1A.thy 0644 bin bin 19351 61972 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/Basics_Vectors3D_E1.thy 0644 bin bin 15727 21952 1664444124
1 d none lib/hets/hets-lib/HasCASL/Real3D/CSL 0755 bin bin
1 f none lib/hets/hets-lib/HasCASL/Real3D/CSL/Language.dol 0644 bin bin 1713 62734 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/Geometry.dol 0644 bin bin 1644 53456 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/Geometry_Plane.thy 0644 bin bin 28118 26852 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/RigidBodyMechanics.dol 0644 bin bin 2480 55365 1664444124
1 d none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks 0755 bin bin
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/ComputeParams.dol 0644 bin bin 1110 21771 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/CylinderView.thy 0644 bin bin 70515 51580 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/DesignPatternLib.dol 0644 bin bin 1698 46093 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/EN1591.dol 0644 bin bin 4547 4191 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/FlangePattern.dol 0644 bin bin 2606 12477 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/HammerPrinciple.dol 0644 bin bin 3576 63712 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/Matchtest.dol 0644 bin bin 3245 42198 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/Principles.dol 0644 bin bin 3107 43726 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/SW.dol 0644 bin bin 1676 54591 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/SWCommonPatterns.dol 0644 bin bin 1585 51590 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/SWCommonPatternsNoView.dol 0644 bin bin 1975 19062 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/SWCommonPatterns_SWCylByAE_IsCylinder_T.thy 0644 bin bin 70548 62504 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/SWCommonPatterns_SolidWorksCylByArcExtrusion_is_AbstractCylinder.thy 0644 bin bin 39017 64349 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/SWCommonPatterns_SolidWorksCylByArcExtrusion_is_AffineCylinder.thy 0644 bin bin 57316 54176 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/SWExt.dol 0644 bin bin 623 38459 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/SolidWorks.dol 0644 bin bin 8260 41690 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/Teil1.dol 0644 bin bin 1890 15828 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/flange.dol 0644 bin bin 1751 64099 1664444124
1 f none lib/hets/hets-lib/HasCASL/Real3D/SolidWorks/match.log 0644 bin bin 11393 9877 1664444124
1 f none lib/hets/hets-lib/HasCASL/RealDef.dol 0644 bin bin 4837 42422 1664444124
1 f none lib/hets/hets-lib/HasCASL/RealDefCantor.dol 0644 bin bin 7205 26789 1664444124
1 f none lib/hets/hets-lib/HasCASL/RealDefDedekind.dol 0644 bin bin 3265 43970 1664444124
1 f none lib/hets/hets-lib/HasCASL/RealDefDedekindIsa.dol 0644 bin bin 1885 13738 1664444124
1 f none lib/hets/hets-lib/HasCASL/RealDefNAdd.dol 0644 bin bin 4234 48567 1664444124
1 f none lib/hets/hets-lib/HasCASL/Reals.dol 0644 bin bin 4252 54770 1664444124
1 f none lib/hets/hets-lib/HasCASL/Recursion.dol 0644 bin bin 547 43962 1664444124
1 f none lib/hets/hets-lib/HasCASL/Secd.dol 0644 bin bin 6175 18448 1664444124
1 f none lib/hets/hets-lib/HasCASL/Set.dol 0644 bin bin 9809 31635 1664444124
1 f none lib/hets/hets-lib/HasCASL/SinCos.dol 0644 bin bin 5836 52549 1664444124
1 f none lib/hets/hets-lib/HasCASL/SinCos_FieldWithSinCos_E1.thy 0644 bin bin 5867 40781 1664444124
1 f none lib/hets/hets-lib/HasCASL/State.dol 0644 bin bin 914 53554 1664444124
1 f none lib/hets/hets-lib/HasCASL/State_1.thy 0644 bin bin 1878 17487 1664444124
1 f none lib/hets/hets-lib/HasCASL/StructuredDatatypes.dol 0644 bin bin 1133 19205 1664444124
1 f none lib/hets/hets-lib/HasCASL/TopologicalSpaces.dol 0644 bin bin 4893 51442 1664444124
1 f none lib/hets/hets-lib/HasCASL/cantorbernstein.dol 0644 bin bin 6146 29369 1664444124
1 f none lib/hets/hets-lib/HasCASL/checktheories 0644 bin bin 125 9994 1664444124
1 f none lib/hets/hets-lib/HasCASL/finiteseq.dol 0644 bin bin 1731 56134 1664444124
1 f none lib/hets/hets-lib/HasCASL/finiteseq_option.thy 0644 bin bin 6721 12381 1664444124
1 f none lib/hets/hets-lib/HasCASL/finiteseq_option2.thy 0644 bin bin 9189 5812 1664444124
1 f none lib/hets/hets-lib/HasCASL/nsmap.thy 0644 bin bin 4386 31757 1664444124
1 d none lib/hets/hets-lib/HasCASL/partiality-translations 0755 bin bin
1 f none lib/hets/hets-lib/HasCASL/partiality-translations/Map.dol 0644 bin bin 685 50514 1664444124
1 f none lib/hets/hets-lib/HasCASL/partiality-translations/Map_Monadic.thy 0644 bin bin 1727 62604 1664444124
1 f none lib/hets/hets-lib/HasCASL/partiality-translations/Map_Normalizing.thy 0644 bin bin 2308 41560 1664444124
1 s none lib/hets/hets-lib/HasCASL/partiality-translations/Nat_monadic.thy=../../Isabelle/ISO/Nat_monadic.thy
1 s none lib/hets/hets-lib/HasCASL/partiality-translations/Nat_normalising.thy=../../Isabelle/ISO/Nat_normalising.thy
1 f none lib/hets/hets-lib/HasCASL/partiality-translations/PartMinus.dol 0644 bin bin 855 57475 1664444124
1 f none lib/hets/hets-lib/HasCASL/partiality-translations/PartMinus_Monadic.thy 0644 bin bin 2154 30310 1664444124
1 f none lib/hets/hets-lib/HasCASL/partiality-translations/PartMinus_Normalizing.thy 0644 bin bin 4487 7319 1664444124
1 f none lib/hets/hets-lib/HasCASL/partiality-translations/PartialityTest.dol 0644 bin bin 266 19403 1664444124
1 f none lib/hets/hets-lib/HasCASL/partiality-translations/PartialityTest_Monadic.thy 0644 bin bin 1170 21295 1664444124
1 f none lib/hets/hets-lib/HasCASL/partiality-translations/PartialityTest_Normalizing.thy 0644 bin bin 1393 37031 1664444124
1 d none lib/hets/hets-lib/HelloWorldExamples 0755 bin bin
1 f none lib/hets/hets-lib/HelloWorldExamples/Function.dol 0644 bin bin 366 27407 1664444124
1 f none lib/hets/hets-lib/HelloWorldExamples/Het-CL.dol 0644 bin bin 79 6296 1664444124
1 f none lib/hets/hets-lib/HelloWorldExamples/Het-OWL.dol 0644 bin bin 1480 59349 1664444124
1 f none lib/hets/hets-lib/HelloWorldExamples/Het-Union.dol 0644 bin bin 107 9027 1664444124
1 f none lib/hets/hets-lib/HelloWorldExamples/ToProve.clif 0644 bin bin 118 8683 1664444124
1 f none lib/hets/hets-lib/HelloWorldExamples/ToProve.dol 0644 bin bin 163 12947 1664444124
1 d none lib/hets/hets-lib/HetCASL 0755 bin bin
1 f none lib/hets/hets-lib/HetCASL/Filter.dol 0644 bin bin 1365 40476 1664444124
1 f none lib/hets/hets-lib/HetCASL/Graphics.dol 0644 bin bin 215 17609 1664444124
1 f none lib/hets/hets-lib/HetCASL/Syntax.txt 0644 bin bin 8016 4924 1664444124
1 f none lib/hets/hets-lib/HetCASL/haskell-test.dol 0644 bin bin 241 18291 1664444124
1 f none lib/hets/hets-lib/HidingOWL.dol 0644 bin bin 1088 25289 1664444124
1 d none lib/hets/hets-lib/HolLight 0755 bin bin
1 f none lib/hets/hets-lib/HolLight/example_binom.hol 0644 bin bin 793 56471 1664444124
1 f none lib/hets/hets-lib/Hugo.casl 0644 bin bin 379 27964 1664444124
1 d none lib/hets/hets-lib/Hybrid 0755 bin bin
1 d none lib/hets/hets-lib/Hybrid/HetsVsDedProvers 0755 bin bin
1 f none lib/hets/hets-lib/Hybrid/HetsVsDedProvers/hard.dol 0644 bin bin 709 44026 1664444124
1 f none lib/hets/hets-lib/Hybrid/HetsVsDedProvers/hard2.dol 0644 bin bin 396 30144 1664444124
1 d none lib/hets/hets-lib/Hybrid/ReconfCalc 0755 bin bin
1 f none lib/hets/hets-lib/Hybrid/ReconfCalc/calc.dol 0644 bin bin 3975 53632 1664444124
1 f none lib/hets/hets-lib/Hybrid/geo.dol 0644 bin bin 487 34841 1664444124
1 f none lib/hets/hets-lib/Hybrid/simpleSentences.dol 0644 bin bin 606 41800 1664444124
1 d none lib/hets/hets-lib/Isabelle 0755 bin bin
1 d none lib/hets/hets-lib/Isabelle/2008 0755 bin bin
1 f none lib/hets/hets-lib/Isabelle/2008/MainHC.thy 0644 bin bin 6472 45779 1664444124
1 f none lib/hets/hets-lib/Isabelle/2008/prelude.ML 0644 bin bin 1512 46044 1664444124
1 d none lib/hets/hets-lib/Isabelle/2011 0755 bin bin
1 f none lib/hets/hets-lib/Isabelle/2011/HsHOL.thy 0644 bin bin 739 56367 1664444124
1 f none lib/hets/hets-lib/Isabelle/2011/HsHOLCF.thy 0644 bin bin 15165 10349 1664444124
1 f none lib/hets/hets-lib/Isabelle/2011/MainHC.thy 0644 bin bin 6498 48897 1664444124
1 f none lib/hets/hets-lib/Isabelle/2011/prelude.ML 0644 bin bin 1167 24444 1664444124
1 f none lib/hets/hets-lib/Isabelle/Ext_Nat.thy 0644 bin bin 897 1270 1664444124
1 f none lib/hets/hets-lib/Isabelle/HCTactic.ML 0644 bin bin 2313 43156 1664444124
1 f none lib/hets/hets-lib/Isabelle/HsHOL.thy 0644 bin bin 739 56367 1664444124
1 f none lib/hets/hets-lib/Isabelle/HsHOLCF.thy 0644 bin bin 15169 10850 1664444124
1 d none lib/hets/hets-lib/Isabelle/ISO 0755 bin bin
1 f none lib/hets/hets-lib/Isabelle/ISO/Nat_monadic.thy 0644 bin bin 25938 35 1664444124
1 f none lib/hets/hets-lib/Isabelle/ISO/Nat_normalising.thy 0644 bin bin 25841 56730 1664444124
1 f none lib/hets/hets-lib/Isabelle/Int_Iso_mkpartial.thy 0644 bin bin 101953 63284 1664444124
1 f none lib/hets/hets-lib/Isabelle/MHsHOL.thy 0644 bin bin 192 15753 1664444124
1 f none lib/hets/hets-lib/Isabelle/MHsHOLCF.thy 0644 bin bin 89 7002 1664444124
1 f none lib/hets/hets-lib/Isabelle/MainHC.thy 0644 bin bin 6498 48897 1664444124
1 f none lib/hets/hets-lib/Isabelle/MainHCPairs.thy 0644 bin bin 6711 50851 1664444124
1 f none lib/hets/hets-lib/Isabelle/MainHCPlus.ML 0644 bin bin 111 9018 1664444124
1 f none lib/hets/hets-lib/Isabelle/MainHCPlus.thy 0644 bin bin 3493 54857 1664444124
1 f none lib/hets/hets-lib/Isabelle/MainHCPlusPreList.thy 0644 bin bin 3985 29168 1664444124
1 f none lib/hets/hets-lib/Isabelle/MainHC_Complex.thy 0644 bin bin 4290 45467 1664444124
1 f none lib/hets/hets-lib/Isabelle/Nat_Iso.thy 0644 bin bin 37687 20642 1664444124
1 f none lib/hets/hets-lib/Isabelle/RestrictOpProps.thy 0644 bin bin 2776 40247 1664444124
1 f none lib/hets/hets-lib/Isabelle/Seq.thy 0644 bin bin 3242 9376 1664444124
1 f none lib/hets/hets-lib/Isabelle/Subtypes.thy 0644 bin bin 5520 39260 1664444124
1 f none lib/hets/hets-lib/Isabelle/batch.sml 0644 bin bin 518 43449 1664444124
1 f none lib/hets/hets-lib/Isabelle/prelude.ML 0644 bin bin 1203 27461 1664444124
1 f none lib/hets/hets-lib/Isabelle/prelude2011.ML 0644 bin bin 1167 24444 1664444124
1 d none lib/hets/hets-lib/MMT 0755 bin bin
1 d none lib/hets/hets-lib/MMT/META-INF 0755 bin bin
1 f none lib/hets/hets-lib/MMT/META-INF/MANIFEST.MF 0644 bin bin 141 12514 1664444124
1 f none lib/hets/hets-lib/MMT/clean.msl 0644 bin bin 546 45061 1664444124
1 d none lib/hets/hets-lib/MMT/source 0755 bin bin
1 f none lib/hets/hets-lib/MMT/source/PLpatt.mmt 0644 bin bin 584 47864 1664444124
1 f none lib/hets/hets-lib/MMT/source/PLtest.mmt 0644 bin bin 585 47859 1664444124
1 f none lib/hets/hets-lib/MMT/source/lf.mmt 0644 bin bin 421 29782 1664444124
1 f none lib/hets/hets-lib/MMT/source/meta.mmt 0644 bin bin 187 13807 1664444124
1 f none lib/hets/hets-lib/MMT/source/module-expressions.mmt 0644 bin bin 239 17327 1664444124
1 f none lib/hets/hets-lib/MMT/source/spec-PLpatt.dol 0644 bin bin 180 13947 1664444124
1 f none lib/hets/hets-lib/MMT/source/testpat.mmt 0644 bin bin 99 8236 1664444124
1 d none lib/hets/hets-lib/MMT/xml 0755 bin bin
1 f none lib/hets/hets-lib/MMT/xml/PLpattspec.xml 0644 bin bin 236 17200 1664444124
1 d none lib/hets/hets-lib/MOF 0755 bin bin
1 f none lib/hets/hets-lib/MOF/MetamodelWModel.xmi 0644 bin bin 2765 25045 1664444124
1 f none lib/hets/hets-lib/MOF/MetamodelWMult.xmi 0644 bin bin 2711 21051 1664444124
1 f none lib/hets/hets-lib/MOF/classExampleCSMOF.xmi 0644 bin bin 3382 14335 1664444124
1 f none lib/hets/hets-lib/MOF/classExampleCSMOF2.xmi 0644 bin bin 3382 14335 1664444124
1 f none lib/hets/hets-lib/MOF/classExampleCSMOF_EXIT.xmi 0644 bin bin 20131 30972 1664444124
1 f none lib/hets/hets-lib/MOF/test.dol 0644 bin bin 123 10233 1664444124
1 f none lib/hets/hets-lib/MOF/testConformance.dol 0644 bin bin 188 16725 1664444124
1 f none lib/hets/hets-lib/MOF/testConformanceExtended.dol 0644 bin bin 353 29901 1664444124
1 d none lib/hets/hets-lib/Maude 0755 bin bin
1 f none lib/hets/hets-lib/Maude/MaudeNumbers.casl 0644 bin bin 12135 35496 1664444124
1 f none lib/hets/hets-lib/Maude/reverse.dol 0644 bin bin 345 26117 1664444124
1 d none lib/hets/hets-lib/Modal 0755 bin bin
1 f none lib/hets/hets-lib/Modal/ABLP.dol 0644 bin bin 636 46514 1664444124
1 f none lib/hets/hets-lib/Modal/BasicSystems.dol 0644 bin bin 365 26681 1664444124
1 f none lib/hets/hets-lib/Modal/CTL.dol 0644 bin bin 560 32957 1664444124
1 f none lib/hets/hets-lib/Modal/Dynamic.dol 0644 bin bin 586 45234 1664444124
1 f none lib/hets/hets-lib/Modal/KT4BDL.3W.dol 0644 bin bin 460 30837 1664444124
1 f none lib/hets/hets-lib/Modal/LTL.dol 0644 bin bin 280 17668 1664444124
1 f none lib/hets/hets-lib/Modal/Lin.dol 0644 bin bin 347 21392 1664444124
1 f none lib/hets/hets-lib/Modal/TemporalLogic.dol 0644 bin bin 282 18389 1664444124
1 d none lib/hets/hets-lib/NeSy 0755 bin bin
1 f none lib/hets/hets-lib/NeSy/basic_patterns.dol 0644 bin bin 1762 18712 1664444124
1 d none lib/hets/hets-lib/Ontology 0755 bin bin
1 d none lib/hets/hets-lib/Ontology/Alignment 0755 bin bin
1 f none lib/hets/hets-lib/Ontology/Alignment/Simple_V_Alignment_Test.dol 0644 bin bin 413 29963 1664444124
1 f none lib/hets/hets-lib/Ontology/Alignment/V_Alignment.casl 0644 bin bin 490 40237 1664444124
1 f none lib/hets/hets-lib/Ontology/Alignment/V_Alignment_owl-incons.dol 0644 bin bin 636 54059 1664444124
1 f none lib/hets/hets-lib/Ontology/Alignment/V_Alignment_owl.dol 0644 bin bin 486 41337 1664444124
1 f none lib/hets/hets-lib/Ontology/Alignment/V_Alignment_owl_multi.dol 0644 bin bin 633 53894 1664444124
1 f none lib/hets/hets-lib/Ontology/Alignment/V_Alignment_owl_multi_compo.dol 0644 bin bin 1312 46322 1664444124
1 f none lib/hets/hets-lib/Ontology/Alignment/W_Alignment.casl 0644 bin bin 428 35607 1664444124
1 f none lib/hets/hets-lib/Ontology/Alignment/W_Alignment_owl.dol 0644 bin bin 533 44364 1664444124
1 f none lib/hets/hets-lib/Ontology/Alignment/minimal_inconsistent_colimit.dol 0644 bin bin 512 43147 1664444124
1 d none lib/hets/hets-lib/Ontology/Blending 0755 bin bin
1 f none lib/hets/hets-lib/Ontology/Blending/BoatHouse.dol 0644 bin bin 904 8990 1664444124
1 f none lib/hets/hets-lib/Ontology/Blending/BoatHouse_new.casl 0644 bin bin 924 9896 1664444124
1 f none lib/hets/hets-lib/Ontology/Blending/HouseBoat.casl 0644 bin bin 2513 9544 1664444124
1 f none lib/hets/hets-lib/Ontology/Blending/HouseBoatClasses.dol 0644 bin bin 3105 2494 1664444124
1 f none lib/hets/hets-lib/Ontology/Blending/HouseBoat_new.casl 0644 bin bin 1056 19747 1664444124
1 f none lib/hets/hets-lib/Ontology/Blending/SignForest.dol 0644 bin bin 3560 50257 1664444124
1 d none lib/hets/hets-lib/Ontology/Dolce 0755 bin bin
1 f none lib/hets/hets-lib/Ontology/Dolce/CEPSet.dol 0644 bin bin 2165 31364 1664444124
1 d none lib/hets/hets-lib/Ontology/Dolce/DolceCons 0755 bin bin
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons.dol 0644 bin bin 23189 31506 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_101.dol 0644 bin bin 12146 30118 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_112.dol 0644 bin bin 14769 59545 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_119.dol 0644 bin bin 13531 44920 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_129.dol 0644 bin bin 16377 30650 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_13.dol 0644 bin bin 3055 5361 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_139.dol 0644 bin bin 15152 15087 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_150.dol 0644 bin bin 25989 13606 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_161.dol 0644 bin bin 3641 19847 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_172.dol 0644 bin bin 3585 22203 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_185.dol 0644 bin bin 34728 53069 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_189.dol 0644 bin bin 36107 11941 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_193.dol 0644 bin bin 38371 7269 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_200.dol 0644 bin bin 40206 63350 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_207.dol 0644 bin bin 39474 15845 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_219.dol 0644 bin bin 40573 21812 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_227.dol 0644 bin bin 40672 19045 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_234.dol 0644 bin bin 39449 14580 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_245.dol 0644 bin bin 43217 36275 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_25.dol 0644 bin bin 5128 62306 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_252.dol 0644 bin bin 42061 28586 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_261.dol 0644 bin bin 44228 43039 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_269.dol 0644 bin bin 43730 64933 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_281.dol 0644 bin bin 46080 16663 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_290.dol 0644 bin bin 46391 37035 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_298.dol 0644 bin bin 46254 24094 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_306.dol 0644 bin bin 46243 24109 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_316.dol 0644 bin bin 46155 15780 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_323.dol 0644 bin bin 41780 9120 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_330.dol 0644 bin bin 42001 23775 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_340.dol 0644 bin bin 47450 25200 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_355.dol 0644 bin bin 47600 31680 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_37.dol 0644 bin bin 5212 3160 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_44.dol 0644 bin bin 2999 1260 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_56.dol 0644 bin bin 5027 56499 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_6.dol 0644 bin bin 3111 12128 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_67.dol 0644 bin bin 5945 50567 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_79.dol 0644 bin bin 7500 10816 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/ConsIncl_90.dol 0644 bin bin 9366 61742 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/DolceConsParts.dol 0644 bin bin 5331 19550 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceCons/df 0644 bin bin 648 53520 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceModel.dol 0644 bin bin 8855 46820 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceModel.pp.tex 0644 bin bin 15851 8159 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceModelStruct.dol 0644 bin bin 13399 9244 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceModelStruct2.dol 0644 bin bin 7401 60313 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceSimpl.dol 0644 bin bin 19223 61615 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/DolceSimpl_Esort.dol 0644 bin bin 19192 42442 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/Dolce_Dummy.dol 0644 bin bin 3577 2508 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/Dolce_Partial_Models.dol 0644 bin bin 6354 5605 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/dolce.hpf 0644 bin bin 184 16353 1664444124
1 f none lib/hets/hets-lib/Ontology/Dolce/dolce1.hpf 0644 bin bin 158 14490 1664444124
1 d none lib/hets/hets-lib/Ontology/Examples 0755 bin bin
1 f none lib/hets/hets-lib/Ontology/Examples/AAL.dol 0644 bin bin 5045 20054 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/Biblio.dol 0644 bin bin 2720 6299 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/Biblio2.dol 0644 bin bin 1660 10048 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/BiblioR.dol 0644 bin bin 5498 1304 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/BiblioV.dol 0644 bin bin 1869 18654 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/Biblio_Colim.dol 0644 bin bin 1924 32747 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/Biblio_Naked.dol 0644 bin bin 1030 25664 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/Cats.dol 0644 bin bin 1151 22392 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/Family.dol 0644 bin bin 1887 25607 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/FamilyOWLCL.dol 0644 bin bin 2440 62764 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/FreeCofree.dol 0644 bin bin 744 489 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/Hiding.dol 0644 bin bin 388 32675 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/MoreCats.dol 0644 bin bin 1134 19902 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/OWLTBoxRDFABox.dol 0644 bin bin 739 61725 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/OWL_CL.dol 0644 bin bin 1297 19348 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/OWL_CL2.dol 0644 bin bin 687 45375 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/OpenAALOntology.owl 0644 bin bin 36113 30168 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/OpenAALOntologyManchesterFromHets.dol 0644 bin bin 53618 47803 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/OpenAALOntologyManchesterFromProtege.dol 0644 bin bin 17455 50340 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/Parameterisation.dol 0644 bin bin 224 19127 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/PizzaSmall.dol 0644 bin bin 593 55435 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/RDF.ttl 0644 bin bin 133 10573 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/RDF2.rdf 0644 bin bin 133 10573 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/RDFTurtle.dol 0644 bin bin 168 13227 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/SymbolTermMapping.dol 0644 bin bin 1565 5267 1664444124
1 f none lib/hets/hets-lib/Ontology/Examples/TimeInOWLandCL.dol 0644 bin bin 875 868 1664444124
1 d none lib/hets/hets-lib/Ontology/GUM 0755 bin bin
1 f none lib/hets/hets-lib/Ontology/GUM/GUM.casl 0644 bin bin 75926 35945 1664444124
1 f none lib/hets/hets-lib/Ontology/GUM/GUM_OntoClean.casl 0644 bin bin 41437 31015 1664444124
1 f none lib/hets/hets-lib/Ontology/GUM/OrientationCalculi.dol 0644 bin bin 10203 50737 1664444124
1 d none lib/hets/hets-lib/Ontology/GUM/test 0755 bin bin
1 f none lib/hets/hets-lib/Ontology/GUM/test/GUMFullwithDCC.casl 0644 bin bin 4822 16228 1664444124
1 f none lib/hets/hets-lib/Ontology/GUM/test/GUMwithDCC.casl 0644 bin bin 955 15318 1664444124
1 f none lib/hets/hets-lib/Ontology/GUM/test/OrientationCalculi.dol 0644 bin bin 2194 41129 1664444124
1 f none lib/hets/hets-lib/Ontology/GUM/test/minimalBeispiel.casl 0644 bin bin 1082 21541 1664444124
1 d none lib/hets/hets-lib/Ontology/SUMO 0755 bin bin
1 f none lib/hets/hets-lib/Ontology/SUMO/CCTrep.casl 0644 bin bin 4112 29197 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/Communications.casl 0644 bin bin 11774 44272 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/CountriesAndRegions.casl 0644 bin bin 196125 49621 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/Economy.casl 0644 bin bin 167717 3573 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/FinancialOntology.casl 0644 bin bin 143762 32727 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/Geography.casl 0644 bin bin 256334 19241 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/Government.casl 0644 bin bin 337481 54519 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/Merge.casl 0644 bin bin 487248 21678 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/Mid-level-ontology.casl 0644 bin bin 415925 44549 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/Military.casl 0644 bin bin 38765 63166 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/People.casl 0644 bin bin 919040 58108 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/QoSontology.casl 0644 bin bin 85334 46068 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/SUMO_173.kif 0644 bin bin 488286 34862 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/TransnationalIssues.casl 0644 bin bin 3184 23787 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/Transportation.casl 0644 bin bin 101121 42814 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/VirusProtein&CellPart.casl 0644 bin bin 22607 64858 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/VirusProteinAndCellPart.casl 0644 bin bin 22607 64858 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/WorldAirports.casl 0644 bin bin 1765510 15380 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/WorldAirportsA-K.casl 0644 bin bin 776899 22223 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/WorldAirportsL-Z.casl 0644 bin bin 987374 5412 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/elements.casl 0644 bin bin 98682 12472 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/engineering.casl 0644 bin bin 70545 34133 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/english_format.casl 0644 bin bin 154925 23110 1664444124
1 f none lib/hets/hets-lib/Ontology/SUMO/naics.casl 0644 bin bin 628812 9439 1664444124
1 d none lib/hets/hets-lib/Propositional 0755 bin bin
1 f none lib/hets/hets-lib/Propositional/Birds.dol 0644 bin bin 609 49529 1664444124
1 f none lib/hets/hets-lib/Propositional/Free.dol 0644 bin bin 1216 24667 1664444124
1 f none lib/hets/hets-lib/Propositional/Logelei.casl 0644 bin bin 811 44213 1664444124
1 d none lib/hets/hets-lib/Propositional/Satlib 0755 bin bin
1 d none lib/hets/hets-lib/Propositional/Satlib/Blocksworld 0755 bin bin
1 f none lib/hets/hets-lib/Propositional/Satlib/Blocksworld/Anomaly.dol 0644 bin bin 7567 29685 1664444124
1 f none lib/hets/hets-lib/Propositional/knights-and-knaves.casl 0644 bin bin 926 9223 1664444124
1 d none lib/hets/hets-lib/QVTR 0755 bin bin
1 f none lib/hets/hets-lib/QVTR/RDBMS.xmi 0644 bin bin 3852 46717 1664444124
1 f none lib/hets/hets-lib/QVTR/RDBMS_WMult.xmi 0644 bin bin 3705 35706 1664444124
1 f none lib/hets/hets-lib/QVTR/UML.xmi 0644 bin bin 3733 37265 1664444124
1 f none lib/hets/hets-lib/QVTR/UML_WMult.xmi 0644 bin bin 3628 29400 1664444124
1 f none lib/hets/hets-lib/QVTR/testQVT.dol 0644 bin bin 606 50700 1664444124
1 f none lib/hets/hets-lib/QVTR/uml2rdbms.qvt 0644 bin bin 2379 33839 1664444124
1 f none lib/hets/hets-lib/RCCVerification.hpf 0644 bin bin 110 10180 1664444124
1 f none lib/hets/hets-lib/RCCVerification_RCC_FO_in_MetricSpace__T.thy 0644 bin bin 14933 20178 1664444124
1 f none lib/hets/hets-lib/README.md 0644 bin bin 85 7512 1664444124
1 d none lib/hets/hets-lib/Refinement 0755 bin bin
1 f none lib/hets/hets-lib/Refinement/Printer.casl 0644 bin bin 1238 38522 1664444124
1 f none lib/hets/hets-lib/Refinement/RefinementExamples.casl 0644 bin bin 2314 35930 1664444124
1 f none lib/hets/hets-lib/Refinement/SetAsSortedList.casl 0644 bin bin 4409 16710 1664444124
1 f none lib/hets/hets-lib/Refinement/calc.dol 0644 bin bin 251 19782 1664444124
1 f none lib/hets/hets-lib/Refinement/natbin_refine.dol 0644 bin bin 3651 49728 1664444124
1 d none lib/hets/hets-lib/SampleProofs 0755 bin bin
1 f none lib/hets/hets-lib/SampleProofs/Family.dol 0644 bin bin 732 61071 1664444124
1 f none lib/hets/hets-lib/SampleProofs/Orders.dol 0644 bin bin 896 1791 1664444124
1 f none lib/hets/hets-lib/SampleProofs/SPASS.hpf 0644 bin bin 197 17162 1664444124
1 f none lib/hets/hets-lib/SampleProofs/family_Fact.hpf 0644 bin bin 89 7611 1664444124
1 f none lib/hets/hets-lib/SampleProofs/orders_Darwin.hpf 0644 bin bin 97 8460 1664444124
1 f none lib/hets/hets-lib/SampleProofs/orders_EProver.hpf 0644 bin bin 98 8554 1664444124
1 f none lib/hets/hets-lib/SampleProofs/orders_Leo-II.hpf 0644 bin bin 97 8326 1664444124
1 f none lib/hets/hets-lib/SampleProofs/orders_SPASS.hpf 0644 bin bin 96 8241 1664444124
1 f none lib/hets/hets-lib/SampleProofs/orders_Vampire.hpf 0644 bin bin 98 8571 1664444124
1 f none lib/hets/hets-lib/SampleProofs/orders_darwin-non-fd.hpf 0644 bin bin 104 9115 1664444124
1 f none lib/hets/hets-lib/SampleProofs/orders_darwin.hpf 0644 bin bin 97 8492 1664444124
1 f none lib/hets/hets-lib/SampleProofs/orders_eprover.hpf 0644 bin bin 98 8618 1664444124
1 f none lib/hets/hets-lib/SampleProofs/orders_leo.hpf 0644 bin bin 94 8167 1664444124
1 f none lib/hets/hets-lib/SampleProofs/rain.dol 0644 bin bin 536 40338 1664444124
1 f none lib/hets/hets-lib/SampleProofs/rain_Darwin.hpf 0644 bin bin 199 17600 1664444124
1 f none lib/hets/hets-lib/SampleProofs/rain_EProver.hpf 0644 bin bin 201 17788 1664444124
1 f none lib/hets/hets-lib/SampleProofs/rain_Fact.hpf 0644 bin bin 87 7572 1664444124
1 f none lib/hets/hets-lib/SampleProofs/rain_Leo-II.hpf 0644 bin bin 199 17332 1664444124
1 f none lib/hets/hets-lib/SampleProofs/rain_SPASS.hpf 0644 bin bin 197 17162 1664444124
1 f none lib/hets/hets-lib/SampleProofs/rain_Vampire.hpf 0644 bin bin 201 17822 1664444124
1 f none lib/hets/hets-lib/SampleProofs/rain_darwin-non-fd.hpf 0644 bin bin 213 18910 1664444124
1 f none lib/hets/hets-lib/SampleProofs/rain_darwin.hpf 0644 bin bin 199 17664 1664444124
1 f none lib/hets/hets-lib/SampleProofs/rain_eprover.hpf 0644 bin bin 201 17916 1664444124
1 f none lib/hets/hets-lib/SampleProofs/rain_leo.hpf 0644 bin bin 193 17014 1664444124
1 f none lib/hets/hets-lib/SampleProofs/rain_minisat.hpf 0644 bin bin 93 8322 1664444124
1 d none lib/hets/hets-lib/THF 0755 bin bin
1 f none lib/hets/hets-lib/THF/test.dol 0644 bin bin 4543 56502 1664444124
1 d none lib/hets/hets-lib/Temporal 0755 bin bin
1 f none lib/hets/hets-lib/Temporal/BasicSystems.dol 0644 bin bin 365 26681 1664444124
1 f none lib/hets/hets-lib/Test.casl 0644 bin bin 695 53940 1664444124
1 d none lib/hets/hets-lib/TestSuite 0755 bin bin
1 d none lib/hets/hets-lib/TestSuite/Conservative 0755 bin bin
1 f none lib/hets/hets-lib/TestSuite/Conservative/Nat.casl 0644 bin bin 325 23786 1664444124
1 d none lib/hets/hets-lib/TestSuite/Correct 0755 bin bin
1 f none lib/hets/hets-lib/TestSuite/Correct/SpecialSymbols.casl 0644 bin bin 350 27478 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/TestArch.casl 0644 bin bin 582 40910 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/TestBasic.casl 0644 bin bin 4860 35874 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/TestStruct.casl 0644 bin bin 2965 33922 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/TestSubsorts.casl 0644 bin bin 758 57929 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/arch1.casl 0644 bin bin 139 10109 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/arch2.casl 0644 bin bin 1689 55652 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/arch3.casl 0644 bin bin 851 6707 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/donald.casl 0644 bin bin 535 43212 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/fred1.casl 0644 bin bin 139 10680 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/frederic.casl 0644 bin bin 2998 15287 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/import_test.casl 0644 bin bin 227 18795 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/min_test.casl 0644 bin bin 160 11704 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/omdoc_output_test.casl 0644 bin bin 4610 53533 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/omdoc_output_test2.casl 0644 bin bin 1372 36144 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/piotr.casl 0644 bin bin 7180 54394 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/piotr_short.casl 0644 bin bin 4047 40021 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/pushouts.casl 0644 bin bin 978 13515 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/serge.casl 0644 bin bin 1414 38990 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/subsorts.casl 0644 bin bin 451 33078 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/union_test.casl 0644 bin bin 457 35245 1664444124
1 f none lib/hets/hets-lib/TestSuite/Correct/view-test.casl 0644 bin bin 318 24502 1664444124
1 d none lib/hets/hets-lib/TestSuite/Incorrect 0755 bin bin
1 f none lib/hets/hets-lib/TestSuite/Incorrect/TestBasic.casl 0644 bin bin 486 37463 1664444124
1 f none lib/hets/hets-lib/TestSuite/Incorrect/silvia.casl 0644 bin bin 1714 55768 1664444124
1 f none lib/hets/hets-lib/TestSuite/Incorrect/test1.casl 0644 bin bin 151 11370 1664444124
1 d none lib/hets/hets-lib/UML 0755 bin bin
1 f none lib/hets/hets-lib/UML/Papers-Researchers.xmi 0644 bin bin 13470 32399 1664444124
1 f none lib/hets/hets-lib/UML/atm.xmi 0644 bin bin 23756 56363 1664444124
1 f none lib/hets/hets-lib/UML/review.xmi 0644 bin bin 6716 30565 1664444124
1 f none lib/hets/hets-lib/UML/simplelibrary.xmi 0644 bin bin 10394 11183 1664444124
1 f none lib/hets/hets-lib/UML/test.xmi 0644 bin bin 10394 11183 1664444124
1 f none lib/hets/hets-lib/UML/test2.xmi 0644 bin bin 10388 10733 1664444124
1 d none lib/hets/hets-lib/UserManual 0755 bin bin
1 f none lib/hets/hets-lib/UserManual/Chapter3.casl 0644 bin bin 8142 11950 1664444124
1 f none lib/hets/hets-lib/UserManual/Chapter4.casl 0644 bin bin 3027 38076 1664444124
1 f none lib/hets/hets-lib/UserManual/Chapter5.casl 0644 bin bin 2881 19314 1664444124
1 f none lib/hets/hets-lib/UserManual/Chapter6.casl 0644 bin bin 3736 44432 1664444124
1 f none lib/hets/hets-lib/UserManual/Chapter7.casl 0644 bin bin 5713 16025 1664444124
1 f none lib/hets/hets-lib/UserManual/Chapter8.casl 0644 bin bin 6339 35713 1664444124
1 f none lib/hets/hets-lib/UserManual/Sbcs.casl 0644 bin bin 20984 47256 1664444124
1 f none lib/hets/hets-lib/check-files 0644 bin bin 72 5667 1664444124
1 f none lib/hets/hets-lib/hets-mmt.msl 0644 bin bin 604 53293 1664444124
1 f none lib/hets/hets-lib/testFree2.casl 0644 bin bin 150 12260 1664444124
1 f none lib/hets/hets-lib/testHeterogeneity.casl 0644 bin bin 324 25432 1664444124
1 f none lib/hets/hets-lib/testHiding.casl 0644 bin bin 107 8404 1664444124
1 f none lib/hets/hets-lib/testNF.casl 0644 bin bin 242 20323 1664444124
1 f none lib/hets/hets-lib/testTranslation.casl 0644 bin bin 109 8791 1664444124
1 f none lib/hets/hets-lib/testUnion.casl 0644 bin bin 151 10592 1664444124
1 f none lib/hets/hets-lib/test_HideTheoremShift.casl 0644 bin bin 415 32591 1664444124
1 f none lib/hets/hets-lib/test_TheoremHideShift.casl 0644 bin bin 197 15293 1664444124
1 f none lib/hets/hets-lib/test_hide.casl 0644 bin bin 145 11225 1664444124
1 f none lib/hets/hets-lib/test_implies.casl 0644 bin bin 235 17877 1664444124
1 f none lib/hets/hets-lib/testfiles 0644 bin bin 7639 55668 1664444124
1 f none lib/hets/hets-lib/view-test8.casl 0644 bin bin 345 25802 1664444124
1 i pkginfo 807 5478 1665290891