ATC/ATCTest2.hs ATC/Sml_cats.hs Adl/StatAna.hs CASL/Amalgamability.hs CASL/ColimSign.hs CASL/Induction.hs CASL/Kif2CASL.hs CASL/Morphism.hs CASL/OMDocImport.hs CASL/Overload.hs CASL/QuickCheck.hs CASL/Sign.hs CASL/StaticAna.hs CASL/Sublogic.hs CASL/SymbolParser.hs CASL/ToItem.hs CASL_DL/AS_CASL_DL.der.hs CASL_DL/PredefinedCASLAxioms.hs CASL_DL/Sign.hs CASL_DL/StatAna.hs CMDL/Commands.hs CMDL/ConsCommands.hs CMDL/DataTypes.hs CMDL/DgCommands.hs CMDL/Interface.hs CMDL/ProveCommands.hs CMDL/ProveConsistency.hs CMDL/Shell.hs CMDL/UndoRedo.hs CMDL/Utils.hs COL.hs COL/AS_COL.der.hs COL/Parse_AS.hs COL/Print_AS.hs COL/StatAna.hs CSL/ASUtils.hs CSL/AS_BASIC_CSL.hs CSL/AnEvenTool.hs CSL/Analysis.hs CSL/BoolBasic.hs CSL/CSL2HasCASL.hs CSL/DependencyGraph.hs CSL/EPElimination.hs CSL/EPRelation.hs CSL/EvalSpec.hs CSL/Fold.hs CSL/GeneralExtendedParameter.hs CSL/GenericInterpreter.hs CSL/GuardedDependencies.hs CSL/HasCASL2CSL.hs CSL/InteractiveTests.hs CSL/Interpreter.hs CSL/Lemma_Export.hs CSL/Logic_CSL.hs CSL/MapleInterpreter.hs CSL/MathematicaInterpreter.hs CSL/Morphism.hs CSL/Parse_AS_Basic.hs CSL/Parse_Test.hs CSL/Print_AS.hs CSL/ReduceInterpreter.hs CSL/ReduceProve.hs CSL/Reduce_Interface.hs CSL/SMTComparison.hs CSL/Sign.hs CSL/SimpleExtendedParameter.hs CSL/Tools.hs CSL/Transformation.hs CSL/TreePO.hs CSL/Verification.hs CSL/quickchecks.hs CSMOF/As.hs CSMOF/Logic_CSMOF.hs CSMOF/ParseXmiAsLibDefn.hs CSMOF/Parser.hs CSMOF/Print.hs CSMOF/Sign.hs CSMOF/StatAna.hs CSMOF/tests/Test_As.hs CSMOF/tests/Test_Logic.hs CSMOF/tests/Test_Parser.hs CSMOF/tests/Test_StatAna.hs CoCASL/AS_CoCASL.der.hs CoCASL/LTS/lts.hs CoCASL/Logic_CoCASL.hs CoCASL/StatAna.hs CoCASL/Sublogic.hs Common/Amalgamate.hs Common/AnalyseAnnos.hs Common/AutoProofUtils.hs Common/ConvertGlobalAnnos.hs Common/ConvertLiteral.hs Common/ConvertMixfixToken.hs Common/DefaultMorphism.hs Common/ExampleMixIds.hs Common/ExtSign.hs Common/GlobalAnnotations.hs Common/GraphAlgo.hs Common/GtkGoal.hs Common/IOS.hs Common/Id.hs Common/Item.hs Common/Keywords.hs Common/LaTeX_maps.hs Common/Lib/Graph.hs Common/Lib/Pretty.hs Common/Lib/SizedList.hs Common/Lib/Tabular.hs Common/LibName.hs Common/LogicT.hs Common/MathLink.hs Common/Partial.hs Common/Prec.hs Common/ResultT.hs Common/SFKT.hs Common/SetColimit.hs Common/UniUtils.hs Common/XmlExpat.hs CommonLogic/Analysis.hs CommonLogic/CASLSig.hs CommonLogic/ClTests.hs CommonLogic/Lexer_KIF.hs CommonLogic/ModuleElimination.hs CommonLogic/Morphism.hs CommonLogic/OMDocExport.hs CommonLogic/OMDocImport.hs CommonLogic/Parse_CLIF.hs CommonLogic/Parse_KIF.hs CommonLogic/Print_KIF.hs CommonLogic/Sign.hs CommonLogic/Tools.hs Comorphisms/CASL2VSERefine.hs Comorphisms/CSMOF2CASL.hs Comorphisms/CommonLogic2IsabelleHOL.hs Comorphisms/CommonLogicModuleElimination.hs Comorphisms/DFOL2CASL.hs Comorphisms/DynComorphismList.hs Comorphisms/HasCASL2HasCASL.hs Comorphisms/HasCASL2Haskell.hs Comorphisms/HasCASL2IsabelleHOL.hs Comorphisms/HetLogicGraph.hs Comorphisms/HolLight2Isabelle.hs Comorphisms/Hs2HOLCF.hs Comorphisms/Hs2HOLCFaux.hs Comorphisms/KnownProvers.hs Comorphisms/Maude2CASL.hs Comorphisms/MonadicHasCASLTranslation.hs Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs Comorphisms/PPolyTyConsHOL2IsaUtils.hs Comorphisms/Prop2CommonLogic.hs Comorphisms/QVTR2CASL.hs Comorphisms/SoftFOL2CommonLogic.hs Comorphisms/THFP2THF0.hs Comorphisms/THFP_P2HasCASL.hs Comorphisms/THFP_P2THFP.hs ConstraintCASL/AS_ConstraintCASL.hs ConstraintCASL/Formula.hs CspCASL/AS_CspCASL_Process.der.hs CspCASL/Core_CspCASL.hs CspCASL/CspProver_Consts.hs CspCASL/LocalTop.hs CspCASL/Morphism.hs CspCASL/Parse_CspCASL_Process.hs CspCASL/Print_CspCASL.hs CspCASL/SimplifySen.hs CspCASL/StatAnaCSP.hs CspCASL/testwrap.hs CspCASLProver/Consts.hs CspCASLProver/CspCASLProver.hs CspCASLProver/CspProverConsts.hs CspCASLProver/IsabelleUtils.hs CspCASLProver/TransProcesses.hs CspCASLProver/Utils.hs DFOL/AS_DFOL.hs DFOL/Analysis_DFOL.hs DFOL/Logic_DFOL.hs DFOL/Morphism.hs DFOL/Parse_AS_DFOL.hs DFOL/Sign.hs DFOL/Symbol.hs DFOL/Tests/Test_AS_DFOL.hs DFOL/Tests/Test_Analysis_DFOL.hs DFOL/Tests/Test_Parse_AS_DFOL.hs DFOL/Tests/Test_Structuring.hs DFOL/Utils.hs DMU/Logic_DMU.hs Driver/AnaLib.hs Driver/Options.hs Driver/ReadFn.hs Framework/AS.hs Framework/Analysis.hs Framework/Logic_Framework.hs Framework/WriteLogicUtils.hs FreeCAD/As.hs FreeCAD/Brep.hs FreeCAD/HetPrinter.hs FreeCAD/Logic_FreeCAD.hs FreeCAD/PrintAs.hs FreeCAD/Testmain.hs FreeCAD/Translator.hs FreeCAD/VecTools.hs FreeCAD/XMLPrinter.hs GMP/CombLogic.hs GMP/CompositionalityExperiment.hs GMP/GMP-CoLoSS/GMP/Logics/C.hs GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs GMP/GMP-CoLoSS/GMP/Logics/Cond.hs GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs GMP/GMP-CoLoSS/GMP/Logics/G.hs GMP/GMP-CoLoSS/GMP/Logics/Generic.hs GMP/GMP-CoLoSS/GMP/Logics/HM.hs GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs GMP/GMP-CoLoSS/GMP/Logics/K.hs GMP/GMP-CoLoSS/GMP/Logics/KD.hs GMP/GMP-CoLoSS/GMP/Logics/Mon.hs GMP/GMP-CoLoSS/GMP/Logics/P.hs GMP/GMP-CoLoSS/GMP/Logics/SysS.hs GMP/GMP-CoLoSS/GMP/Parser.hs GMP/GMP-CoLoSS/GMP/Prover.hs GMP/GMP-CoLoSS/Main.hs GMP/GenericSequent.hs GMP/Main.hs GMP/ModalLogic.hs GMP/Parser.hs GMP/Proof.hs GUI/ConsoleUtils.hs GUI/GenericATP.hs GUI/GraphLogic.hs GUI/GtkAutomaticProofs.hs GUI/GtkGenericATP.hs GUI/GtkLinkTypeChoice.hs GUI/GtkUtils.hs GUI/HTkGenericATP.hs GUI/HTkProofDetails.hs GUI/HTkProverGUI.hs GUI/HTkUtils.hs GUI/ShowRefTree.hs GUI/UDGUtils.hs GUI/displayDependencyGraph.hs HasCASL/As.hs HasCASL/AsToLe.hs HasCASL/ClassAna.hs HasCASL/Constrain.hs HasCASL/ConvertTypePattern.hs HasCASL/DataAna.hs HasCASL/FoldTerm.hs HasCASL/FoldType.hs HasCASL/InteractiveTests.hs HasCASL/MatchCAD.hs HasCASL/MatchingWithDefinitions.hs HasCASL/MinType.hs HasCASL/Morphism.hs HasCASL/OpDecl.hs HasCASL/ParseTerm.hs HasCASL/PrintAs.hs HasCASL/PrintLe.hs HasCASL/PrintSubst.hs HasCASL/ProgEq.hs HasCASL/Sublogic.hs HasCASL/Subst.hs HasCASL/SubtypeDecl.hs HasCASL/SymbItem.hs HasCASL/TypeAna.hs HasCASL/TypeCheck.hs HasCASL/TypeMixAna.hs HasCASL/Unify.hs HasCASL/VarDecl.hs HasCASL/test/Graphs.hascasl HasCASL/test/Graphs.hascasl.output Haskell/Haskell2DG.hs Haskell/HatAna.hs Haskell/Logic_Haskell.hs Haskell/ProgramaticaPrelude.hs Haskell/TranslateId.hs Haskell/h2h.hs Haskell/h2hf.hs Haskell/hana.hs Haskell/test/HOL/Map2.hs Haskell/test/HOL/ex_class.hs Haskell/test/HOL/ex_let.hs Haskell/test/HOL/ex_list.hs Haskell/test/HOL/mrec.hs Haskell/test/HOL/mrec3.hs Haskell/test/HOL/wcard.hs Haskell/test/HOLCF/PPrel.hs Haskell/test/HOLCF/ex_fibon.hs Haskell/test/HOLCF/ex_mutrec.hs Haskell/test/HOLCF/incmpl.hs HolLight/Helper.hs HolLight/Sentence.hs Hybrid.hs Interfaces/History.hs Interfaces/Process.hs Interfaces/Utils.hs Isabelle/Isa2DG.hs Isabelle/IsaImport.hs Isabelle/IsaPrint.hs Isabelle/IsaProve.hs Isabelle/IsaSign.hs Isabelle/Logic_Isabelle.hs Isabelle/MarkSimp.hs Isabelle/Translate.hs LF/Analysis.hs LF/ComorphFram.hs LF/Framework.hs LF/ImplOL.hs LF/MorphParser.hs LF/Morphism.hs LF/Parse.hs LF/Sign.hs LF/Twelf2GR.hs Logic/Coerce.hs Logic/Comorphism.hs Logic/ExtSign.hs Logic/Grothendieck.hs Logic/KnownIris.hs Logic/Modification.hs Logic/Morphism.hs MMT/Hets2mmt.hs MMT/Tools.hs MMT/XMLtoPT.hs Maude/AS_Maude.hs Maude/Logic_Maude.hs Maude/Maude2DG.hs Maude/Meta.hs Maude/Meta/AsSymbol.hs Maude/Meta/HasLabels.hs Maude/Meta/HasName.hs Maude/Meta/HasOps.hs Maude/Meta/HasSorts.hs Maude/Morphism.hs Maude/PreComorphism.hs Maude/Printing.hs Maude/Sign.hs Maude/Symbol.hs Maude/Util.hs Modal/AS_Modal.der.hs Modal/GeneratePatterns.inline.hs.in Modal/ModalSign.hs OMDoc/DataTypes.hs OMDoc/Export.hs OMDoc/Import.hs OMDoc/Logic_OMDoc.hs OMDoc/OMDocInterface.hs OMDoc/XmlInterface.hs OWL2.hs OWL2/ColimSign.hs OWL2/Morphism.hs OWL2/Parse.hs OWL2/Sign.hs OWL2/scripts/runConv.hs OWL2/scripts/runManchester.hs OWL2/scripts/runXML.hs Omega/DataTypes.hs Omega/Export.hs Omega/Terms.hs Omega/ToLisp.hs PGIP/XMLstate.hs PGIP/tests/Server.hs PGIP/tests/SyslogTypes.hs PLpatt/AS_BASIC_PLpatt.hs PLpatt/GTools.hs PLpatt/Logic_PLpatt.hs PLpatt/Morphism.hs PLpatt/Parse_PLpatt.hs PLpatt/Sign.hs PLpatt/StaticAnaPLpatt.hs PLpatt/Tools.hs Proofs/Automatic.hs Proofs/BatchProcessing.hs Proofs/ComputeColimit.hs Proofs/EdgeUtils.hs Proofs/Freeness.hs Proofs/HideTheoremShift.hs Proofs/InferBasic.hs Proofs/SimpleTheoremHideShift.hs Proofs/TheoremHideShift.hs Propositional/AS_BASIC_Propositional.der.hs Propositional/Conversions.hs Propositional/Logic_Propositional.hs Propositional/Morphism.hs Propositional/Parse_AS_Basic.hs Propositional/ProverState.hs Propositional/Sign.hs Propositional/Sublogic.hs Propositional/Symbol.hs Propositional/TestProp2CNF.hs QBF/AS_BASIC_QBF.der.hs QBF/ProverState.hs QBF/Sublogic.hs QBF/Tools.hs QVTR/As.hs QVTR/Logic_QVTR.hs QVTR/ParseQvtAsLibDefn.hs QVTR/Parser.hs QVTR/Print.hs QVTR/Sign.hs QVTR/StatAna.hs RDF/AS.hs RDF/Function.hs RDF/Logic_RDF.hs RDF/Morphism.hs RDF/Parse.hs RDF/Print.hs RDF/StaticAnalysis.hs RelationalScheme/AS.der.hs RelationalScheme/Keywords.hs RelationalScheme/ParseRS.hs RelationalScheme/StaticAnalysis.hs Scratch.hs SoftFOL/CreateDFGDoc.hs SoftFOL/ProveSPASS.hs SoftFOL/Sign.hs SoftFOL/tests/CMDL_tests.hs SoftFOL/tests/PrintTPTPTests.hs SoftFOL/tests/PrintTests.hs SoftFOL/tests/Sokrates.hs Static/AnalysisArchitecture.hs Static/ApplyChanges.hs Static/ArchDiagram.hs Static/ChangeGraph.hs Static/CheckGlobalContext.hs Static/DGNavigation.hs Static/DevGraph.hs Static/DgUtils.hs Static/PrintDevGraph.hs Static/SpecLoader.hs Static/WACocone.hs Static/test/TestDGTrans.hs Static/testApplyDiff.hs Syntax/AS_Architecture.der.hs Syntax/Parse_AS_Structured.hs THF/Sign.hs THF/StaticAnalysisTHF.hs Taxonomy/AbstractGraphView.hs Taxonomy/MMiSSOntology.hs Taxonomy/MMiSSOntologyGraph.hs Taxonomy/OntoParser.hs Taxonomy/taxonomyTool.hs Temporal/AS_BASIC_Temporal.hs Temporal/Ctl.hs Temporal/Kripke.hs Temporal/Logic_Temporal.hs Temporal/Main.hs Temporal/ModalCasl.hs Temporal/ModalCaslToCtl.hs Temporal/ModalCaslToMu.hs Temporal/ModalCaslToNuSmvLtl.hs Temporal/Morphism.hs Temporal/Mu.hs Temporal/NuSmv.hs Temporal/NuSmvLtl.hs Temporal/Sign.hs Temporal/Symbol.hs ToHaskell/test/BoolEx.hascasl.hs ToHaskell/test/Builtin.hascasl.hs ToHaskell/test/Expr.hascasl.hs ToHaskell/test/FiniteSet.hascasl.hs ToHaskell/test/ListEx.hascasl.hs ToHaskell/test/OpDecls.hascasl.hs ToHaskell/test/PatternEq.hascasl.hs ToHaskell/test/Sorting.hascasl.hs ToHaskell/test/Test.hascasl.hs TopHybrid.hs TopHybrid/Logic_TopHybrid.hs TopHybrid/StatAna.hs VSE/Fold.hs atermlib/src/ATerm/AbstractSyntax.hs atermlib/src/ATerm/Conversion.hs atermlib/src/ATerm/Diff.hs atermlib/src/ATerm/Lib.hs atermlib/src/ATerm/ReadWrite.hs atermlib/src/ATerm/SimpPretty.hs atermlib/src/ATerm/Unshared.hs hets.hs mini/Grothendieck.hs mini/Logic.hs mini/Main.hs mini/Parser.hs mini/Proof.hs mini/StaticAnalysis.hs test/Map.hs utils/DrIFT-src/UserRulesHetCATS.hs utils/DtdToHaskell-src/DtdToHaskell.hs utils/DtdToHaskell-src/current/Convert.hs utils/DtdToHaskell-src/current/Instance.hs utils/DtdToHaskell-src/current/TypeDef.hs utils/DtdToHaskell-src/pre-1.22/Convert.hs utils/DtdToHaskell-src/pre-1.22/Instance.hs utils/DtdToHaskell-src/pre-1.22/TypeDef.hs utils/GenerateRules/ParseFile.hs utils/itcor/GenItCorrections.hs utils/macports/libs.hs utils/quickcheck.lhs

CASL/Logic_CASL.hs CASL/StaticAna.hs CoCASL/Logic_CoCASL.hs CoCASL/Parse_AS.hs CoCASL/StatAna.hs Common/ConvertLiteral.hs Common/Doc.hs Common/Keywords.hs Common/Lib/MapSet.hs Comorphisms/CASL2Hybrid.hs Comorphisms/Hybrid2CASL.hs Comorphisms/KnownProvers.hs Comorphisms/LogicGraph.hs Comorphisms/LogicList.hs ExtModal/Tries/teste.het Hets_input_examples/HetsVsDedProvers/hard.het Hets_input_examples/HetsVsDedProvers/hard2.het Hets_input_examples/ReconfCalc/calc.het Hets_input_examples/geo.het Hets_input_examples/simpleSentences.het Hybrid.hs Hybrid/AS_Hybrid.der.hs Hybrid/AS_Hybrid.hs Hybrid/ATC_Hybrid.der.hs Hybrid/ATC_Hybrid.hs Hybrid/HybridSign.hs Hybrid/Keywords.hs Hybrid/Logic_Hybrid.hs Hybrid/Parse_AS.hs Hybrid/Print_AS.hs Hybrid/StatAna.hs Logic/Logic.hs Makefile Propositional/Analysis.hs Propositional/Logic_Propositional.hs Propositional/Parse_AS_Basic.hs TopHybrid.hs TopHybrid/AS_TopHybrid.der.hs TopHybrid/AS_TopHybrid.hs TopHybrid/ATC_TopHybrid.der.hs TopHybrid/ATC_TopHybrid.hs TopHybrid/Logic_TopHybrid.hs TopHybrid/Parse_AS.hs TopHybrid/Print_AS.hs TopHybrid/StatAna.hs TopHybrid/TopHybridSign.hs TopHybrid/Utilities.hs