Basic/Graphs.casl
Basic/LinearAlgebra_II.casl
Basic/MachineNumbers.casl
Basic/Reals.casl
Calculi/Algebra/ExampleCalculus.het
Calculi/Algebra/FuzzySystems.het
Calculi/Algebra/RelationAlgebraConstr.het
Calculi/Algebra/RelationAlgebraSimple.casl
Calculi/Algebra/RelationAlgebraSymbolicConstr.casl
Calculi/Space/CondensedSemantics.casl
Calculi/Space/DoubleCross.het
Calculi/Space/DRA.casl
Calculi/Space/DRA_FO.casl
Calculi/Space/DRA_HO.het
Calculi/Space/DRA_X.het
Calculi/Space/FlipFlop.casl
Calculi/Space/Intersection.casl
Calculi/Space/Interval.casl
Calculi/Space/LR.het
Calculi/Space/Modal_RCC8.het
Calculi/Space/OrientationCalculi.het
Calculi/Space/PA2.het
Calculi/Space/RCCAlgebra.casl
Calculi/Space/RCCDagstuhl2.het
Calculi/Space/RCCDagstuhl.het
Calculi/Space/RCCVerification.het
Calculi/Space/SimpleRCC.het
Calculi/Space/TopologicalCalculi.het
Calculi/Time/AllenHayes.casl
Calculi/Time/AllenHayesLadkin_TACAS.het
Calculi/Time/PointAlgebraLin.het
Calculi/Time/Tree.casl
CaseStudies/Interpreter.casl
CaseStudies/Invoice.casl
CaseStudies/Invoice_corrected.casl
CaseStudies/Misc/Misc.casl
CaseStudies/Misc/Protocol.casl
CaseStudies/Misc/StatefulProtocol.casl
CaseStudies/PuCache/PuMain.casl
CaseStudies/Unification.casl
CASL/AbstractSyntax.casl
CoCASL/AmbientCalculus.het
CoCASL/CCS_Automaton.het
CommonLogic/arity.het
CommonLogic/CommonLogic.casl
CommonLogic/Examples/Cat-AllInOne.clif
CommonLogic/Examples/Cat.het
CommonLogic/Examples/lower.clif
CommonLogic/Examples/Partial_Order.clif
CommonLogic/Examples/Partial_Order_From_Strict_Partial_Order.clif
CommonLogic/Examples/Pred.clif
CommonLogic/Examples/Strict_Partial_Order.clif
CommonLogic/Examples/upper.clif
CommonLogic/fUML.clif
CommonLogic/PSL/psl_all.het
CommonLogic/test.het
Conservativity/examples.het
Conservativity/example-short.het
ConstraintCASL/RCC8.het
CspCASL/Buffer.het
CspCASL/Complex.het
CspCASL/DiningPhilosophers.het
CspCASL/FileAttributes.het
CspCASL/Shop/Arch_Components.het
CspCASL/Shop/Shop.het
Datatypes.casl
DOL/align2.dol
DOL/align.dol
DOL/Alignment.dol
DOL/mereology.dol
DOL/minimize_CL.dol
DOL/minimize.dol
DOL/test.dol
EnCL/ExtParamExamples.het
EnCL/flange1.het
EnCL/flangeExported.het
EnCL/flangeS.het
EnCL/Tests.het
Examples/Architectural.casl
Examples/BinInt.casl
Examples/cons_test.casl
Examples/CrashCourse/FamilyBaseOWL.het
Examples/dodatek.casl
Examples/Generic.casl
Examples/Groups.casl
Examples/lambda.het
Examples/List.casl
Examples/MeasureUnits.casl
Examples/Nat.casl
Examples/NFS.casl
Examples/POINT.casl
Examples/Reichel.casl
Examples/Reverse.casl
Examples/Signature.casl
Examples/Sorting.casl
Examples/SortingWithOutHiding.casl
Examples/TestImplies.casl
Examples/view-test1.casl
Examples/view-test2.casl
Examples/view-test3.casl
Examples/view-test4.casl
Examples/view-test5.casl
HasCASL/cantorbernstein.het
HasCASL/Complex.het
HasCASL/ExtNumbers.het
HasCASL/finiteseq.het
HasCASL/Foldl2.het
HasCASL/Foldl3.het
HasCASL/Foldl4.het
HasCASL/Foldl.het
HasCASL/Functions.het
HasCASL/Graphs.het
HasCASL/Iteration.het
HasCASL/List.het
HasCASL/Map.het
HasCASL/Metatheory/Functor.het
HasCASL/Metatheory/Hoare.het
HasCASL/Metatheory/Interpreter.het
HasCASL/Metatheory/Iteration.het
HasCASL/Metatheory/Recursion.het
HasCASL/Metric.het
HasCASL/Natpartial.het
HasCASL/partiality-translations/Map.het
HasCASL/partiality-translations/PartialityTest.het
HasCASL/partiality-translations/PartMinus.het
HasCASL/PetriSystem.het
HasCASL/Real3D/SolidWorks/flange.het
HasCASL/Real3D/SolidWorks/Matchtest.het
HasCASL/RealDefCantor.het
HasCASL/RealDefDedekind.het
HasCASL/RealDefDedekindIsa.het
HasCASL/RealDefNAdd.het
HasCASL/Recursion.het
HasCASL/SinCos.het
HasCASL/State.het
HelloWorldExamples/Function.het
HelloWorldExamples/Het-CL.het
HelloWorldExamples/Het-OWL.het
HelloWorldExamples/ToProve.clif
HelloWorldExamples/ToProve.het
HidingOWL.het
Hugo.casl
Hybrid/HetsVsDedProvers/hard2.het
Hybrid/HetsVsDedProvers/hard.het
Hybrid/ReconfCalc/calc.het
Hybrid/simpleSentences.het
Maude/MaudeNumbers.casl
Modal/ABLP.het
Modal/Dynamic.het
Modal/Lin.het
Modal/LTL.het
Modal/TemporalLogic.het
MOF/testConformanceExtended.het
MOF/testConformance.het
Ontology/Alignment/minimal_inconsistent_colimit.het
Ontology/Alignment/Simple_V_Alignment_Test.het
Ontology/Alignment/V_Alignment.casl
Ontology/Alignment/V_Alignment_owl.het
Ontology/Alignment/V_Alignment_owl-incons.het
Ontology/Alignment/V_Alignment_owl_multi_compo.het
Ontology/Alignment/V_Alignment_owl_multi.het
Ontology/Alignment/W_Alignment.casl
Ontology/Alignment/W_Alignment_owl.het
Ontology/Blending/BoatHouse.dol
Ontology/Blending/BoatHouse_new.casl
Ontology/Blending/HouseBoat.casl
Ontology/Blending/HouseBoatClasses.het
Ontology/Blending/SignForest.het
Ontology/Dolce/DolceCons/ConsIncl_161.het
Ontology/Dolce/DolceCons/ConsIncl_172.het
Ontology/Dolce/DolceCons/ConsIncl_185.het
Ontology/Dolce/DolceCons/ConsIncl_193.het
Ontology/Dolce/DolceCons/ConsIncl_207.het
Ontology/Dolce/DolceCons/ConsIncl_219.het
Ontology/Dolce/DolceCons/ConsIncl_227.het
Ontology/Dolce/DolceCons/ConsIncl_234.het
Ontology/Dolce/DolceCons/ConsIncl_245.het
Ontology/Dolce/DolceCons/ConsIncl_261.het
Ontology/Dolce/DolceCons/ConsIncl_269.het
Ontology/Dolce/DolceCons/ConsIncl_281.het
Ontology/Dolce/DolceCons/ConsIncl_290.het
Ontology/Dolce/DolceCons/ConsIncl_298.het
Ontology/Dolce/DolceCons/ConsIncl_306.het
Ontology/Dolce/DolceCons/ConsIncl_316.het
Ontology/Dolce/DolceCons/ConsIncl_323.het
Ontology/Dolce/DolceCons/ConsIncl_330.het
Ontology/Dolce/DolceCons/ConsIncl_340.het
Ontology/Dolce/DolceCons/ConsIncl_355.het
Ontology/Dolce/Dolce_Dummy.het
Ontology/Dolce/DolceModelStruct2.het
Ontology/Dolce/DolceModelStruct.het
Ontology/Dolce/DolceSimpl.het
Ontology/Examples/Biblio2.het
Ontology/Examples/Biblio_Colim.het
Ontology/Examples/Biblio.het
Ontology/Examples/Biblio_Naked.het
Ontology/Examples/BiblioR.het
Ontology/Examples/BiblioV.het
Ontology/Examples/Cats.het
Ontology/Examples/Family.het
Ontology/Examples/FamilyOWLCL.het
Ontology/Examples/FreeCofree.het
Ontology/Examples/Hiding.het
Ontology/Examples/OpenAALOntologyManchesterFromProtege.het
Ontology/Examples/OpenAALOntology.owl
Ontology/Examples/Parameterisation.het
Ontology/Examples/PizzaSmall.het
Ontology/Examples/RDFTurtle.het
Ontology/GUM/GUM_OntoClean.casl
Ontology/GUM/OrientationCalculi.het
Ontology/GUM/test/GUMFullwithDCC.casl
Ontology/GUM/test/minimalBeispiel.casl
Ontology/GUM/test/OrientationCalculi.het
Propositional/Birds.het
Propositional/knights-and-knaves.casl
Propositional/Satlib/Blocksworld/Anomaly.het
QVTR/testQVT.het
QVTR/uml2rdbms.qvt
Refinement/calc.het
Refinement/Printer.casl
Refinement/RefinementExamples.casl
Refinement/SetAsSortedList.casl
Temporal/BasicSystems.het
Test.casl
testFree2.casl
testHeterogeneity.casl
test_hide.casl
test_HideTheoremShift.casl
testHiding.casl
test_implies.casl
testNF.casl
TestSuite/Conservative/Nat.casl
TestSuite/Correct/arch1.casl
TestSuite/Correct/arch2.casl
TestSuite/Correct/arch3.casl
TestSuite/Correct/fred1.casl
TestSuite/Correct/frederic.casl
TestSuite/Correct/import_test.casl
TestSuite/Correct/min_test.casl
TestSuite/Correct/omdoc_output_test2.casl
TestSuite/Correct/omdoc_output_test.casl
TestSuite/Correct/piotr.casl
TestSuite/Correct/pushouts.casl
TestSuite/Correct/serge.casl
TestSuite/Correct/SpecialSymbols.casl
TestSuite/Correct/subsorts.casl
TestSuite/Correct/TestArch.casl
TestSuite/Correct/TestBasic.casl
TestSuite/Correct/TestStruct.casl
TestSuite/Correct/TestSubsorts.casl
TestSuite/Correct/union_test.casl
TestSuite/Correct/view-test.casl
test_TheoremHideShift.casl
testTranslation.casl
testUnion.casl
UserManual/Chapter7.casl
UserManual/Chapter8.casl
UserManual/Sbcs.casl
view-test8.casl