History log of /hets/CASL/Sign.hs
Revision Date Author Comments Expand
e9458b1a7a19a63aa4c179f9ab20f4d50681c168 25-Mar-2016 Jens Elkner <jel+git@iws.cs.uni-magdeburg.de>

applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename

/hets/ATC/ATCTest.hs /hets/ATC/ATCTest2.hs /hets/ATC/Grothendieck.der.hs /hets/ATC/Sml_cats.hs /hets/Adl/As.hs /hets/Adl/Logic_Adl.hs /hets/Adl/Parse.hs /hets/Adl/Print.hs /hets/Adl/Sign.hs /hets/Adl/StatAna.hs /hets/Adl/adl.hs AS_Basic_CASL.der.hs AlphaConvert.hs Amalgamability.hs CCC/FreeTypes.hs CCC/OnePoint.hs CCC/TermFormula.hs CCC/TerminationProof.hs ColimSign.hs CompositionTable/CompositionTable.hs CompositionTable/ComputeTable.hs CompositionTable/Keywords.hs CompositionTable/ModelChecker.hs CompositionTable/ModelFormula.hs CompositionTable/ModelTable.hs CompositionTable/ParseSparQ.hs CompositionTable/ParseTable2.hs CompositionTable/Pretty2.hs CompositionTable/ToXml.hs Cycle.hs Disambiguate.hs Fold.hs Formula.hs Freeness.hs Induction.hs Inject.hs Kif.hs Kif2CASL.hs Logic_CASL.hs MapSentence.hs MixfixParser.hs Monoton.hs Morphism.hs OMDoc.hs OMDocExport.hs OMDocImport.hs OpItem.hs Overload.hs Parse_AS_Basic.hs Project.hs Qualify.hs Quantification.hs QuickCheck.hs RunMixfixParser.hs RunStaticAna.hs ShowMixfix.hs Sign.hs Simplify.hs SimplifySen.hs SortItem.hs StaticAna.hs Sublogic.hs SymbolMapAnalysis.hs SymbolParser.hs Taxonomy.hs ToDoc.hs ToItem.hs ToSExpr.hs Utils.hs World.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Logic_CASL_DL.hs /hets/CASL_DL/Parse_AS.hs /hets/CASL_DL/Print_AS.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/CASL_DL/Sublogics.hs /hets/CMDL/Commands.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypes.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Interface.hs /hets/CMDL/ParseProofScript.hs /hets/CMDL/ProcessScript.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CSL/ASUtils.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/AnEvenTool.hs /hets/CSL/Analysis.hs /hets/CSL/BoolBasic.hs /hets/CSL/CSL2HasCASL.hs /hets/CSL/DependencyGraph.hs /hets/CSL/EPElimination.hs /hets/CSL/EPRelation.hs /hets/CSL/EvalSpec.hs /hets/CSL/ExtendedParameter.hs /hets/CSL/Fold.hs /hets/CSL/GeneralExtendedParameter.hs /hets/CSL/GenericInterpreter.hs /hets/CSL/GuardedDependencies.hs /hets/CSL/HasCASL2CSL.hs /hets/CSL/InteractiveTests.hs /hets/CSL/Interpreter.hs /hets/CSL/Keywords.hs /hets/CSL/Lemma_Export.hs /hets/CSL/Logic_CSL.hs /hets/CSL/MapleInterpreter.hs /hets/CSL/MathematicaInterpreter.hs /hets/CSL/Morphism.hs /hets/CSL/Parse_AS_Basic.hs /hets/CSL/Parse_Test.hs /hets/CSL/Print_AS.hs /hets/CSL/ReduceInterpreter.hs /hets/CSL/ReduceProve.hs /hets/CSL/Reduce_Interface.hs /hets/CSL/SMTComparison.hs /hets/CSL/Sign.hs /hets/CSL/SimpleExtendedParameter.hs /hets/CSL/Symbol.hs /hets/CSL/Tools.hs /hets/CSL/Transformation.hs /hets/CSL/TreePO.hs /hets/CSL/Verification.hs /hets/CSL/quickchecks.hs /hets/CSMOF/As.hs /hets/CSMOF/Logic_CSMOF.hs /hets/CSMOF/ParseXmiAsLibDefn.hs /hets/CSMOF/Parser.hs /hets/CSMOF/Print.hs /hets/CSMOF/Sign.hs /hets/CSMOF/StatAna.hs /hets/CSMOF/XMLKeywords.hs /hets/CSMOF/tests/Test_As.hs /hets/CSMOF/tests/Test_Logic.hs /hets/CSMOF/tests/Test_Parser.hs /hets/CSMOF/tests/Test_StatAna.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LTS/lts.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/CoCASL/Sublogic.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ATermDiffMain.hs /hets/Common/ATerm/ATermLibTest.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoParser.hs /hets/Common/AnnoState.hs /hets/Common/AutoProofUtils.hs /hets/Common/Consistency.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/Data.hs /hets/Common/DefaultMorphism.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/Earley.hs /hets/Common/ExampleMixIds.hs /hets/Common/ExtSign.hs /hets/Common/FileType.hs /hets/Common/GlobalAnnotations.hs /hets/Common/GraphAlgo.hs /hets/Common/Http.hs /hets/Common/IO.hs /hets/Common/IOS.hs /hets/Common/IRI.hs /hets/Common/Id.hs /hets/Common/InjMap.hs /hets/Common/Item.hs /hets/Common/Json.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lattice.hs /hets/Common/Lexer.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/MapSet.hs /hets/Common/Lib/Maybe.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/SizedList.hs /hets/Common/Lib/State.hs /hets/Common/Lib/Tabular.hs /hets/Common/LibName.hs /hets/Common/LogicT.hs /hets/Common/MathLink.hs /hets/Common/OrderedMap.hs /hets/Common/Parsec.hs /hets/Common/Partial.hs /hets/Common/Percent.hs /hets/Common/Prec.hs /hets/Common/PrintLaTeX.hs /hets/Common/ProofTree.hs /hets/Common/ProofUtils.hs /hets/Common/ProverTools.hs /hets/Common/Result.hs /hets/Common/ResultT.hs /hets/Common/RunParsers.hs /hets/Common/SAX.hs /hets/Common/SExpr.hs /hets/Common/SFKT.hs /hets/Common/SZSOntology.hs /hets/Common/SetColimit.hs /hets/Common/Taxonomy.hs /hets/Common/Timing.hs /hets/Common/ToXml.hs /hets/Common/Token.hs /hets/Common/Unlit.hs /hets/Common/Utils.hs /hets/Common/XPath.hs /hets/Common/XUpdate.hs /hets/Common/XmlDiff.hs /hets/Common/XmlExpat.hs /hets/Common/XmlParser.hs /hets/Common/XmlPickler.hs /hets/Common/testxmldiff.hs /hets/Common/testxpath.hs /hets/Common/testxupdate.hs /hets/CommonLogic/AS_CommonLogic.der.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/CASLSig.hs /hets/CommonLogic/ClTests.hs /hets/CommonLogic/ExpandCurie.hs /hets/CommonLogic/Lexer_CLIF.hs /hets/CommonLogic/Lexer_KIF.hs /hets/CommonLogic/Logic_CommonLogic.hs /hets/CommonLogic/ModuleElimination.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/OMDoc.hs /hets/CommonLogic/OMDocExport.hs /hets/CommonLogic/OMDocImport.hs /hets/CommonLogic/ParseCLAsLibDefn.hs /hets/CommonLogic/Parse_CLIF.hs /hets/CommonLogic/Parse_KIF.hs /hets/CommonLogic/PredefinedCASLAxioms.hs /hets/CommonLogic/Print_KIF.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Sublogic.hs /hets/CommonLogic/Symbol.hs /hets/CommonLogic/Tools.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2ExtModal.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSE.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CSMOF2CASL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CoCFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CommonLogic2IsabelleHOL.hs /hets/Comorphisms/CommonLogicModuleElimination.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/DFOL2CASL.hs /hets/Comorphisms/DynLogicList.hs /hets/Comorphisms/ExtModal2CASL.hs /hets/Comorphisms/ExtModal2ExtModalNoSubsorts.hs /hets/Comorphisms/ExtModal2ExtModalTotal.hs /hets/Comorphisms/ExtModal2HasCASL.hs /hets/Comorphisms/ExtModal2OWL.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/HasCASL2PCoClTyConsHOL.hs /hets/Comorphisms/HasCASL2THFP_P.hs /hets/Comorphisms/Haskell2IsabelleHOLCF.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/HolLight2Isabelle.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/Hybrid2CASL.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.hs /hets/Comorphisms/MonadicHasCASLTranslation.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs /hets/Comorphisms/PPolyTyConsHOL2IsaUtils.hs /hets/Comorphisms/Prop2CASL.hs /hets/Comorphisms/Prop2CommonLogic.hs /hets/Comorphisms/Prop2QBF.hs /hets/Comorphisms/QBF2Prop.hs /hets/Comorphisms/QVTR2CASL.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SoftFOL2CommonLogic.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/Comorphisms/THFP2THF0.hs /hets/Comorphisms/THFP_P2HasCASL.hs /hets/Comorphisms/THFP_P2THFP.hs /hets/Comorphisms/test/showKP.hs /hets/Comorphisms/test/sublogicGraph.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/Print_AS.hs /hets/ConstraintCASL/StaticAna.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Comorphisms.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/SymMapAna.hs /hets/CspCASL/SymbItems.hs /hets/CspCASL/Symbol.hs /hets/CspCASLProver.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs /hets/Driver/AnaLib.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/ReadLibDefn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModal2Ship.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/Keywords.hs /hets/ExtModal/Logic_ExtModal.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Parse_AS.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/Ship.hs /hets/ExtModal/StatAna.hs /hets/ExtModal/Sublogic.hs /hets/Fpl/As.der.hs /hets/Fpl/Logic_Fpl.hs /hets/Fpl/Morphism.hs /hets/Fpl/Sign.hs /hets/Fpl/StatAna.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogicUtils.hs /hets/FreeCAD/As.hs /hets/FreeCAD/HetPrinter.hs /hets/FreeCAD/Logic_FreeCAD.hs /hets/FreeCAD/PrintAs.hs /hets/FreeCAD/Translator.hs /hets/FreeCAD/VecTools.hs /hets/FreeCAD/XMLPrinter.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Cond.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/GenericATP.hs /hets/GUI/GraphAbstraction.hs /hets/GUI/GraphDisplay.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/GUI/GraphTypes.hs /hets/GUI/GtkAddSentence.hs /hets/GUI/GtkAutomaticProofs.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkDisprove.hs /hets/GUI/GtkGenericATP.hs /hets/GUI/GtkLinkTypeChoice.hs /hets/GUI/GtkProverGUI.hs /hets/GUI/GtkUtils.hs /hets/GUI/HTkGenericATP.hs /hets/GUI/HTkProofDetails.hs /hets/GUI/HTkProverGUI.hs /hets/GUI/HTkUtils.hs /hets/GUI/ProverGUI.hs /hets/GUI/ShowGraph.hs /hets/GUI/ShowLibGraph.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/ShowRefTree.hs /hets/GUI/Taxonomy.hs /hets/GUI/UDGUtils.hs /hets/GUI/Utils.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/HToken.hs /hets/HasCASL/InteractiveTests.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MatchCAD.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/ToItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/HolLight/Helper.hs /hets/HolLight/HolLight2DG.hs /hets/HolLight/Logic_HolLight.hs /hets/HolLight/Sentence.hs /hets/HolLight/Sign.hs /hets/HolLight/Term.hs /hets/Hybrid/AS_Hybrid.der.hs /hets/Hybrid/HybridSign.hs /hets/Hybrid/Keywords.hs /hets/Hybrid/Logic_Hybrid.hs /hets/Hybrid/Parse_AS.hs /hets/Hybrid/Print_AS.hs /hets/Hybrid/StatAna.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Interfaces/Process.hs /hets/Interfaces/Utils.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/Isa2DG.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/LF/AS.hs /hets/LF/Analysis.hs /hets/LF/Framework.hs /hets/LF/ImplOL.hs /hets/LF/Logic_LF.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/KnownIris.hs /hets/Logic/LGToJson.hs /hets/Logic/LGToXml.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/MMT/Hets2mmt.hs /hets/MMT/Tools.hs /hets/MMT/XMLtoPT.hs /hets/Maude/AS_Maude.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/Parse.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sentence.hs /hets/Maude/Shellout.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/ModalSystems.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/Import.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/XmlInterface.hs /hets/OWL2/AS.hs /hets/OWL2/CASL2OWL.hs /hets/OWL2/ColimSign.hs /hets/OWL2/ColonKeywords.hs /hets/OWL2/Conservativity.hs /hets/OWL2/CreateOWL.hs /hets/OWL2/DMU2OWL2.hs /hets/OWL2/Extract.hs /hets/OWL2/ExtractModule.hs /hets/OWL2/Function.hs /hets/OWL2/Keywords.hs /hets/OWL2/Logic_OWL2.hs /hets/OWL2/MS.hs /hets/OWL2/MS2Ship.hs /hets/OWL2/ManchesterParser.hs /hets/OWL2/ManchesterPrint.hs /hets/OWL2/Medusa.hs /hets/OWL2/MedusaToJson.hs /hets/OWL2/Morphism.hs /hets/OWL2/OWL22CASL.hs /hets/OWL2/OWL22CommonLogic.hs /hets/OWL2/Parse.hs /hets/OWL2/ParseOWL.hs /hets/OWL2/ParseOWLAsLibDefn.hs /hets/OWL2/Print.hs /hets/OWL2/Profiles.hs /hets/OWL2/ProfilesAndSublogics.hs /hets/OWL2/Propositional2OWL2.hs /hets/OWL2/ProveFact.hs /hets/OWL2/ProvePellet.hs /hets/OWL2/ProverState.hs /hets/OWL2/Rename.hs /hets/OWL2/ShipSyntax.hs /hets/OWL2/Sign.hs /hets/OWL2/StaticAnalysis.hs /hets/OWL2/Sublogic.hs /hets/OWL2/Symbols.hs /hets/OWL2/Taxonomy.hs /hets/OWL2/Theorem.hs /hets/OWL2/Translate.hs /hets/OWL2/XML.hs /hets/OWL2/XMLConversion.hs /hets/OWL2/XMLKeywords.hs /hets/OWL2/scripts/runConv.hs /hets/OWL2/scripts/runManchester.hs /hets/OWL2/scripts/runXML.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs /hets/PGIP/ParseProofScript.hs /hets/PGIP/Query.hs /hets/PGIP/Server.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/TriangleCons.hs /hets/Proofs/VSE.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Conversions.hs /hets/Propositional/Fold.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Analysis.hs /hets/QBF/Logic_QBF.hs /hets/QBF/Morphism.hs /hets/QBF/Parse_AS_Basic.hs /hets/QBF/ProveDepQBF.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QBF/Tools.hs /hets/QVTR/As.hs /hets/QVTR/Logic_QVTR.hs /hets/QVTR/ParseQvtAsLibDefn.hs /hets/QVTR/Parser.hs /hets/QVTR/Print.hs /hets/QVTR/Sign.hs /hets/QVTR/StatAna.hs /hets/RDF/AS.hs /hets/RDF/Function.hs /hets/RDF/Logic_RDF.hs /hets/RDF/Morphism.hs /hets/RDF/Parse.hs /hets/RDF/ParseRDFAsLibDefn.hs /hets/RDF/Print.hs /hets/RDF/Sign.hs /hets/RDF/StaticAnalysis.hs /hets/RDF/Symbols.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/Logic_Rel.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Scratch.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/EProver.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ParseTPTP.hs /hets/SoftFOL/ParseTPTPAsLibDefn.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHyperHyper.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveMetis.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/StatAna.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/ConsInclusions.hs /hets/Static/DGNavigation.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DgUtils.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/FromXmlUtils.hs /hets/Static/GTheory.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/SpecLoader.hs /hets/Static/ToJson.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs /hets/Static/XGraph.hs /hets/Static/XSimplePath.hs /hets/Static/test/TestDGTrans.hs /hets/Syntax.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/Syntax/hetpa.hs /hets/THF/As.der.hs /hets/THF/Cons.hs /hets/THF/HasCASL2THF0Buildins.hs /hets/THF/Logic_THF.hs /hets/THF/ParseTHF.hs /hets/THF/Poly.hs /hets/THF/Print.hs /hets/THF/PrintTHF.hs /hets/THF/ProveIsabelle.hs /hets/THF/ProveLeoII.hs /hets/THF/ProveSatallax.hs /hets/THF/ProverState.hs /hets/THF/SZSProver.hs /hets/THF/Sign.hs /hets/THF/StaticAnalysisTHF.hs /hets/THF/Sublogic.hs /hets/THF/Translate.hs /hets/THF/Utils.hs /hets/Taxonomy/AbstractGraphView.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/TopHybrid/AS_TopHybrid.der.hs /hets/TopHybrid/Logic_TopHybrid.hs /hets/TopHybrid/Parse_AS.hs /hets/TopHybrid/Print_AS.hs /hets/TopHybrid/StatAna.hs /hets/TopHybrid/TopHybridSign.hs /hets/TopHybrid/Utilities.hs /hets/VSE/Ana.hs /hets/VSE/As.hs /hets/VSE/Fold.hs /hets/VSE/Logic_VSE.hs /hets/VSE/Parse.hs /hets/VSE/Prove.hs /hets/VSE/ToSExpr.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Base64.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/utils/itcor/GenItCorrections.hs
2954f6dd519742dd6d6dd8de6f3e5902ed6c07ab 11-Mar-2016 mcodescu <mscodescu@gmail.com>

comorphisms, need more testing
d5a225e7c58f6a8ab7b5acda22841784a19e261f 03-Mar-2016 mcodescu <mscodescu@gmail.com>

cleaning up code
42e78fd3454812d4f98b06154fdabc5ec3488718 29-Feb-2016 mcodescu <mscodescu@gmail.com>

static analysis of intersections
1a38107941725211e7c3f051f7a8f5e12199f03a 08-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

added a bunch of deriving Typeable and Data

/hets/Adl/As.hs /hets/Adl/Sign.hs AS_Basic_CASL.der.hs Morphism.hs Sign.hs Sublogic.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/Sublogics.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/Morphism.hs /hets/CSL/Sign.hs /hets/CSL/Symbol.hs /hets/CSL/TreePO.hs /hets/CSMOF/As.hs /hets/CSMOF/Parser.hs /hets/CSMOF/Print.hs /hets/CSMOF/Sign.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/Consistency.hs /hets/Common/DefaultMorphism.hs /hets/Common/ExtSign.hs /hets/Common/GlobalAnnotations.hs /hets/Common/IRI.hs /hets/Common/Id.hs /hets/Common/Json.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/MapSet.hs /hets/Common/Lib/Rel.hs /hets/Common/LibName.hs /hets/Common/OrderedMap.hs /hets/Common/Prec.hs /hets/Common/ProofTree.hs /hets/Common/Result.hs /hets/CommonLogic/AS_CommonLogic.der.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Sublogic.hs /hets/CommonLogic/Symbol.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SymbItems.hs /hets/CspCASL/Symbol.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Sublogic.hs /hets/Fpl/As.der.hs /hets/Fpl/Sign.hs /hets/Framework/AS.hs /hets/FreeCAD/As.hs /hets/HasCASL/As.hs /hets/HasCASL/Le.hs /hets/HasCASL/Sublogic.hs /hets/HolLight/Helper.hs /hets/HolLight/HolLight2DG.hs /hets/HolLight/Sentence.hs /hets/HolLight/Sign.hs /hets/HolLight/Sublogic.hs /hets/HolLight/Term.hs /hets/Hybrid/AS_Hybrid.der.hs /hets/Hybrid/HybridSign.hs /hets/Isabelle/IsaSign.hs /hets/LF/AS.hs /hets/LF/Morphism.hs /hets/LF/Sign.hs /hets/Logic/Comorphism.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Makefile /hets/Maude/AS_Maude.hs /hets/Maude/Morphism.hs /hets/Maude/Sentence.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/ModalSign.hs /hets/OMDoc/OMDocInterface.hs /hets/OWL2/AS.hs /hets/OWL2/MS.hs /hets/OWL2/Morphism.hs /hets/OWL2/Parse.hs /hets/OWL2/Print.hs /hets/OWL2/Profiles.hs /hets/OWL2/ProfilesAndSublogics.hs /hets/OWL2/Sign.hs /hets/OWL2/Sublogic.hs /hets/OWL2/Symbols.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Morphism.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Morphism.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QVTR/ATC_QVTR.hs /hets/QVTR/As.hs /hets/QVTR/Sign.hs /hets/RDF/AS.hs /hets/RDF/Morphism.hs /hets/RDF/Parse.hs /hets/RDF/Print.hs /hets/RDF/Sign.hs /hets/RDF/StaticAnalysis.hs /hets/RDF/Symbols.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Sign.hs /hets/SoftFOL/Sign.hs /hets/THF/As.der.hs /hets/THF/Cons.hs /hets/THF/Sign.hs /hets/THF/Sublogic.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Morphism.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/TopHybrid/AS_TopHybrid.der.hs /hets/TopHybrid/TopHybridSign.hs /hets/VSE/As.hs /hets/var.mk
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 29-Nov-2013 Jonathan von Schroeder <sternkinder@gmail.com>

removed lots of hlint warnings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb

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

removed dummy functions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17798 cec4b9c1-7d33-0410-9eda-942365e851bb
3e0ed56e973aeef92177e50f7272cafa7eb96fbe 02-Oct-2012 Christian Maeder <Christian.Maeder@dfki.de>

speedup overload resolution during simplification git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17468 cec4b9c1-7d33-0410-9eda-942365e851bb
ab373af0c94a5a73d8c8d5fd580775d79f745a00 18-Sep-2012 Christian Maeder <Christian.Maeder@dfki.de>

excluded flexible constructors git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17352 cec4b9c1-7d33-0410-9eda-942365e851bb
845ccfe51a09dd310631b04ebeaf049c76afbf7e 29-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

improved computation of disjoint sorts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17272 cec4b9c1-7d33-0410-9eda-942365e851bb
4e14c1bc2b97679b84c6ad996fa11c273b74ea02 24-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

added opSorts shortcut and extended CASL2OWL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17241 cec4b9c1-7d33-0410-9eda-942365e851bb
4f03aaa386ce5c7711269711c6d8e74024f7a5df 21-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

consider equal sorts and anonymous individuals for non-empty sorts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17215 cec4b9c1-7d33-0410-9eda-942365e851bb
7fcb2e9d349608760b0c2c16a864c6f39d455383 17-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

extract more concepts and object properties git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17204 cec4b9c1-7d33-0410-9eda-942365e851bb
51659cc7b3c1e644d4969b8c5e987e61626500c0 25-Jun-2012 Christian Maeder <Christian.Maeder@dfki.de>

consider annotations in induced signatures git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16973 cec4b9c1-7d33-0410-9eda-942365e851bb
2997fdeb0e44370350499bd098e4a5969da3ed7d 13-Mar-2012 Christian Maeder <Christian.Maeder@dfki.de>

added range span to symbols git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16722 cec4b9c1-7d33-0410-9eda-942365e851bb
961978c71545e0177683279f8b63358b3e3804b8 12-Mar-2012 Christian Maeder <Christian.Maeder@dfki.de>

#1007 for CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16718 cec4b9c1-7d33-0410-9eda-942365e851bb
b5056cf24da461ee868c4be7b803a76b677fa21d 24-Aug-2011 Christian Maeder <Christian.Maeder@dfki.de>

joined common code for CASL comorphisms to CASL extensions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16008 cec4b9c1-7d33-0410-9eda-942365e851bb
3a2de7e5a3c5da0a96c9563617ab332685a41ced 18-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

introduced term and formula construction shortcuts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15590 cec4b9c1-7d33-0410-9eda-942365e851bb
b2eb5854497af395cbf17a08c7ace5ab73e7eea2 08-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

fixed some failures git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15509 cec4b9c1-7d33-0410-9eda-942365e851bb
993cbe47cbad455281db80ce9194d75ffe3f6feb 08-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

removed reflexivity git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15507 cec4b9c1-7d33-0410-9eda-942365e851bb
e0f1794e365dd347e97b37d7d22b2fce27296fa1 07-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

re-established separate relation type git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15490 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/Adl/StatAna.hs ColimSign.hs Morphism.hs OMDocImport.hs Sign.hs StaticAna.hs Sublogic.hs SymbolMapAnalysis.hs /hets/CASL_DL/PredefinedSign.inline.hs.in /hets/CASL_DL/StatAna.hs /hets/CoCASL/StatAna.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/AnalyseAnnos.hs /hets/Common/Lib/MapSet.hs /hets/Common/Lib/Rel.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/HasCASL2PCoClTyConsHOL.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/OWL2CASL.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/SymMapAna.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/Fpl/Sign.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/VarDecl.hs /hets/Maude/PreComorphism.hs /hets/Maude/Sign.hs /hets/OWL/Morphism.hs /hets/OWL/Taxonomy.hs /hets/OWL2/Morphism.hs /hets/OWL2/Taxonomy.hs /hets/Proofs/EdgeUtils.hs /hets/SoftFOL/Conversions.hs /hets/VSE/Ana.hs /hets/VSE/ToSExpr.hs
dece9056c18ada64bcc8f2fba285270374139ee8 06-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

use a reflexive sort relation and avoid a separate sort set git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15472 cec4b9c1-7d33-0410-9eda-942365e851bb

Amalgamability.hs CCC/FreeTypes.hs CCC/OnePoint.hs ColimSign.hs CompositionTable/ComputeTable.hs Freeness.hs Morphism.hs OMDocImport.hs Sign.hs StaticAna.hs SymbolMapAnalysis.hs test/BasicSpec.analysis.output test/BasicSpec.sentences.output test/BasicSpec.signature.output /hets/CASL_DL/PredefinedCASLAxioms.hs /hets/CASL_DL/PredefinedSign.inline.hs.in /hets/CoCASL/CoCASLSign.hs /hets/Common/Lib/MapSet.hs /hets/Common/Lib/Rel.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/OWL2CASL.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/CspCASL/SymMapAna.hs /hets/CspCASLProver/CspCASLProver.hs /hets/DFOL/Comorphism.hs /hets/Fpl/Sign.hs /hets/Maude/PreComorphism.hs /hets/VSE/Ana.hs /hets/VSE/ToSExpr.hs /hets/utils/InlineAxioms/InlineAxioms.hs
e7ddd5495421698701a2bbc57a5b3390a11d12ca 06-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

added utilities for op types with kinds git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15457 cec4b9c1-7d33-0410-9eda-942365e851bb
2a5b885d9350ec6dd8bc4992ee91d2f68aa592f4 06-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

refactored CASL's op and pred maps git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15456 cec4b9c1-7d33-0410-9eda-942365e851bb

Amalgamability.hs CCC/FreeTypes.hs CCC/OnePoint.hs CCC/TermFormula.hs ColimSign.hs CompositionTable/ComputeTable.hs CompositionTable/ModelChecker.hs Freeness.hs Monoton.hs Morphism.hs Overload.hs Qualify.hs Sign.hs StaticAna.hs Sublogic.hs SymbolMapAnalysis.hs Taxonomy.hs ToSExpr.hs /hets/CASL_DL/PredefinedCASLAxioms.hs /hets/CASL_DL/PredefinedSign.inline.hs.in /hets/CASL_DL/StatAna.hs /hets/CoCASL/CoCASLSign.hs /hets/Common/Lib/MapSet.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/OWL2CASL.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/SymMapAna.hs /hets/CspCASL/Symbol.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/Comorphism.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/StatAna.hs /hets/Fpl/Sign.hs /hets/Fpl/StatAna.hs /hets/Maude/PreComorphism.hs /hets/Modal/ModalSign.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/VSE/Ana.hs /hets/VSE/ToSExpr.hs /hets/utils/InlineAxioms/InlineAxioms.hs
1cd22d63f31382691ba20da90a5dddbc3ee1bbec 27-May-2011 Christian Maeder <Christian.Maeder@dfki.de>

make diff representation smaller git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15037 cec4b9c1-7d33-0410-9eda-942365e851bb
93e39e7c934482489378e1f60337cdc616a1de77 26-May-2011 Christian Maeder <Christian.Maeder@dfki.de>

moved function mapSetToList git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15023 cec4b9c1-7d33-0410-9eda-942365e851bb
e3169ed5885bb0888d8366c0d31ce1682e0fae74 25-May-2011 Christian Maeder <Christian.Maeder@dfki.de>

added symbols for subsorts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15020 cec4b9c1-7d33-0410-9eda-942365e851bb
f2223a1902a30314eabce6f0ea52c4979a23d7a9 25-May-2011 Christian Maeder <Christian.Maeder@dfki.de>

removed symbol type pretty instances git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15019 cec4b9c1-7d33-0410-9eda-942365e851bb
f976535e8804f6a3a35d892d7162e9f393e5e0b3 23-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

refactored addSymbol git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14781 cec4b9c1-7d33-0410-9eda-942365e851bb
fc033b8680245bf692c9c09723fd3046ff38971e 18-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

removed unused stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14752 cec4b9c1-7d33-0410-9eda-942365e851bb
41f19dd5103acd1adf0343bf6f0096a260290117 16-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

removed csp-casl other kind stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14723 cec4b9c1-7d33-0410-9eda-942365e851bb
7aeb33d3af3230641a33c39b7e7ba546bb35b969 25-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

moved FreeVars class into class TermExtension git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14638 cec4b9c1-7d33-0410-9eda-942365e851bb
c8ecc5578d32b222f35b625d4dfe7a3fd8bb4173 25-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

added support for boolean FPL terms as formulas git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14637 cec4b9c1-7d33-0410-9eda-942365e851bb
e00f5b4d89ac027e883461aab6248e33ad10ae8e 18-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

extended sort of term computation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14584 cec4b9c1-7d33-0410-9eda-942365e851bb
dc63a36f922004e91938b262c1efb1c2cd05b6cf 11-Oct-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

added the Logic interface function syntaxTable for CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14131 cec4b9c1-7d33-0410-9eda-942365e851bb
ae9bf26b2e07d468edeb7c3153b07680a9b2f473 21-Sep-2010 Christian Maeder <Christian.Maeder@dfki.de>

make printing of symbols reparsable git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14082 cec4b9c1-7d33-0410-9eda-942365e851bb
98890889ffb2e8f6f722b00e265a211f13b5a861 01-Sep-2010 Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de>

Added see license.txt to license field git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC.hs /hets/ATC/ATCTest.hs /hets/ATC/ATCTest2.hs /hets/ATC/ExtSign.hs /hets/ATC/Grothendieck.der.hs /hets/ATC/Sml_cats.hs /hets/Adl/As.hs /hets/Adl/Logic_Adl.hs /hets/Adl/Parse.hs /hets/Adl/Print.hs /hets/Adl/Sign.hs /hets/Adl/StatAna.hs /hets/Adl/adl.hs /hets/CASL.hs AS_Basic_CASL.der.hs AlphaConvert.hs Amalgamability.hs CCC/FreeTypes.hs CCC/OnePoint.hs CCC/TermFormula.hs CCC/TerminationProof.hs ColimSign.hs CompositionTable/CompositionTable.hs CompositionTable/ComputeTable.hs CompositionTable/ModelChecker.hs CompositionTable/ParseSparQ.hs CompositionTable/ToXml.hs Fold.hs Formula.hs Freeness.hs Induction.hs Inject.hs Kif.hs Kif2CASL.hs Logic_CASL.hs MapSentence.hs MixfixParser.hs Monoton.hs Morphism.hs OMDoc.hs OMDocExport.hs OMDocImport.hs OpItem.hs Overload.hs Parse_AS_Basic.hs Project.hs Qualify.hs Quantification.hs QuickCheck.hs RunMixfixParser.hs RunStaticAna.hs ShowMixfix.hs Sign.hs Simplify.hs SimplifySen.hs SortItem.hs StaticAna.hs Sublogic.hs SymbolMapAnalysis.hs SymbolParser.hs Taxonomy.hs ToDoc.hs ToItem.hs ToSExpr.hs Utils.hs capa.hs fromKif.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Comorphism_specs/makePreludeString.hs /hets/CASL_DL/Logic_CASL_DL.hs /hets/CASL_DL/PredefinedCASLAxioms.hs /hets/CASL_DL/PredefinedGlobalAnnos.hs /hets/CASL_DL/Print_AS.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/CASL_DL/Sublogics.hs /hets/CMDL/Commands.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypes.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Interface.hs /hets/CMDL/ParseProofScript.hs /hets/CMDL/ProcessScript.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/Analysis.hs /hets/CSL/CSL2HasCASL.hs /hets/CSL/HasCASL2CSL.hs /hets/CSL/Interpreter.hs /hets/CSL/Keywords.hs /hets/CSL/Lemma_Export.hs /hets/CSL/Logic_CSL.hs /hets/CSL/MapleInterpreter.hs /hets/CSL/Morphism.hs /hets/CSL/Parse_AS_Basic.hs /hets/CSL/Parse_Test.hs /hets/CSL/ReduceInterpreter.hs /hets/CSL/ReduceProve.hs /hets/CSL/ReduceTest.hs /hets/CSL/Reduce_Interface.hs /hets/CSL/Sign.hs /hets/CSL/Symbol.hs /hets/CSL/Tools.hs /hets/CSL/Transformation.hs /hets/CoCASL.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LTS/lts.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/CoCASL/Sublogic.hs /hets/Common.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ATermDiffMain.hs /hets/Common/ATerm/ATermLibTest.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoParser.hs /hets/Common/AnnoState.hs /hets/Common/Consistency.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/DefaultMorphism.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/Earley.hs /hets/Common/ExampleMixIds.hs /hets/Common/ExtSign.hs /hets/Common/GlobalAnnotations.hs /hets/Common/IO.hs /hets/Common/IOS.hs /hets/Common/Id.hs /hets/Common/InjMap.hs /hets/Common/Item.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lexer.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/Pretty.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/SizedList.hs /hets/Common/Lib/State.hs /hets/Common/LibName.hs /hets/Common/LogicT.hs /hets/Common/OrderedMap.hs /hets/Common/Parsec.hs /hets/Common/Partial.hs /hets/Common/Prec.hs /hets/Common/PrintLaTeX.hs /hets/Common/ProofTree.hs /hets/Common/ProofUtils.hs /hets/Common/ProverTools.hs /hets/Common/Result.hs /hets/Common/ResultT.hs /hets/Common/RunParsers.hs /hets/Common/SExpr.hs /hets/Common/SFKT.hs /hets/Common/SZSOntology.hs /hets/Common/SetColimit.hs /hets/Common/Taxonomy.hs /hets/Common/Timing.hs /hets/Common/ToId.hs /hets/Common/ToXml.hs /hets/Common/Token.hs /hets/Common/UniUtils.hs /hets/Common/Utils.hs /hets/Common/XPath.hs /hets/Common/XUpdate.hs /hets/Common/XmlExpat.hs /hets/Common/XmlParser.hs /hets/Common/annos.hs /hets/Common/testxpath.hs /hets/Common/testxupdate.hs /hets/CommonLogic/AS_CommonLogic.der.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/CASLSig.hs /hets/CommonLogic/ClTests.hs /hets/CommonLogic/Logic_CommonLogic.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/OMDoc.hs /hets/CommonLogic/OMDocExport.hs /hets/CommonLogic/OMDocImport.hs /hets/CommonLogic/Parse_CLIF.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Symbol.hs /hets/Comorphisms.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSE.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CoCFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/DFOL2CASL.hs /hets/Comorphisms/DMU2OWL.hs /hets/Comorphisms/DynLogicList.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/HasCASL2PCoClTyConsHOL.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/MonadicHasCASLTranslation.hs /hets/Comorphisms/OWL2CASL.hs /hets/Comorphisms/OWL2CommonLogic.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs /hets/Comorphisms/PPolyTyConsHOL2IsaUtils.hs /hets/Comorphisms/Prop2CASL.hs /hets/Comorphisms/Prop2QBF.hs /hets/Comorphisms/QBF2Prop.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/Comorphisms/test/showKP.hs /hets/Comorphisms/test/sublogicGraph.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/Print_AS.hs /hets/ConstraintCASL/StaticAna.hs /hets/Constraints/AS_BASIC_Constraints.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Comorphisms.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/CspProver_Consts.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/testwrap.hs /hets/CspCASLProver.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs /hets/Driver/AnaLib.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/ExtModal.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/ExtModalSystems.hs /hets/ExtModal/Keywords.hs /hets/ExtModal/Logic_ExtModal.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/StatAna.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogic.hs /hets/GMP/CompositionalityExperiment.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Con.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/GenericSequent.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GMP/Proof.hs /hets/GMP/SegExamples.hs /hets/GMP/versioning/coloss-0.0.4/Combination.hs /hets/GMP/versioning/coloss-0.0.4/Generic.hs /hets/GMP/versioning/coloss-0.0.4/examples.coalition.hs /hets/GMP/versioning/coloss-0.0.4/examples.gluings.hs /hets/GMP/versioning/coloss-0.0.4/examples.gml.hs /hets/GMP/versioning/coloss-0.0.4/examples.hml.hs /hets/GMP/versioning/coloss-0.0.4/examples.pml.hs /hets/GMP/versioning/coloss-0.0.4/examples.segala.hs /hets/GMP/versioning/coloss-0.0.4/gg.head.hs /hets/GMP/versioning/coloss-0.0.4/gg.tmpl.hs /hets/GMP/versioning/coloss-0.0.4/gg.util.hs /hets/GMP/versioning/gmp-0.0.1/GMP/CoalitionL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPAS.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPSAT.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GenericML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GradedML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Lexer.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Main.hs /hets/GMP/versioning/gmp-0.0.1/GMP/MajorityL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalK.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalKD.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalLogic.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/IneqSolvTester.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/LWBParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/TestGenGML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/ToRacer.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompAS.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompGeneric.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Main.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/C.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/CKCM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Con.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/DisjUnion.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/G.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/HM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/K.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/KD.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Mon.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/P.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/SysS.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Prover.hs /hets/GMP/versioning/gmp-coloss-0.0.3/Main.hs /hets/GUI.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/GenericATP.hs /hets/GUI/Glade/Template.append.hs /hets/GUI/GraphAbstraction.hs /hets/GUI/GraphDisplay.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/GUI/GraphTypes.hs /hets/GUI/GtkAutomaticProofs.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkDisprove.hs /hets/GUI/GtkGenericATP.hs /hets/GUI/GtkLinkTypeChoice.hs /hets/GUI/GtkProverGUI.hs /hets/GUI/GtkUtils.hs /hets/GUI/HTkGenericATP.hs /hets/GUI/HTkProofDetails.hs /hets/GUI/HTkProverGUI.hs /hets/GUI/HTkUtils.hs /hets/GUI/ProverGUI.hs /hets/GUI/ShowGraph.hs /hets/GUI/ShowLibGraph.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/ShowRefTree.hs /hets/GUI/Taxonomy.hs /hets/GUI/UDGUtils.hs /hets/GUI/Utils.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/HasCASL.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/HToken.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/ToItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/h2h.hs /hets/Haskell/h2hf.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Interfaces/Process.hs /hets/Interfaces/Utils.hs /hets/Isabelle.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/Isabelle/isa.hs /hets/LF/AS.hs /hets/LF/Analysis.hs /hets/LF/Framework.hs /hets/LF/Logic_LF.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Lottery/Test.hs /hets/Lottery/Zaehler.hs /hets/Maude/AS_Maude.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/Parse.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sentence.hs /hets/Maude/Shellout.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc.hs /hets/OMDoc/ATerm.hs /hets/OMDoc/Base64.hs /hets/OMDoc/CASLDefs.hs /hets/OMDoc/CASLOutput.hs /hets/OMDoc/Container.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/Import.hs /hets/OMDoc/KeyDebug.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/OMDocOutput.hs /hets/OMDoc/OMDocXml.hs /hets/OMDoc/Sentences.hs /hets/OMDoc/Util.hs /hets/OMDoc/XmlHandling.hs /hets/OMDoc/XmlInterface.hs /hets/OWL/AS.hs /hets/OWL/ColimSign.hs /hets/OWL/ColonKeywords.hs /hets/OWL/Conservativity.hs /hets/OWL/Keywords.hs /hets/OWL/Logic_OWL.hs /hets/OWL/Morphism.hs /hets/OWL/Namespace.hs /hets/OWL/OWLAnalysis.hs /hets/OWL/OWLParser.hs /hets/OWL/Parse.hs /hets/OWL/Print.hs /hets/OWL/ProveFact.hs /hets/OWL/ProvePellet.hs /hets/OWL/ReadWrite.der.hs /hets/OWL/Sign.hs /hets/OWL/StaticAnalysis.hs /hets/OWL/StructureAnalysis.hs /hets/OWL/Sublogic.hs /hets/OWL/Taxonomy.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs /hets/PGIP/ParseProofScript.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/PGIP/tests/Server.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/PathifyNames.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/VSE.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/ChildMessage.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Conversions.hs /hets/Propositional/Fold.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/Prop2CNF.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Analysis.hs /hets/QBF/Logic_QBF.hs /hets/QBF/Morphism.hs /hets/QBF/Parse_AS_Basic.hs /hets/QBF/ProveDepQBF.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QBF/Tools.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/Logic_Rel.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Search/CASL/FormulaWrapper.hs /hets/Search/CASL/NormalizationDB.hs /hets/Search/CASL/Retrieval.hs /hets/Search/Common/ACINormalization.hs /hets/Search/Common/ACStandardization.hs /hets/Search/Common/BooleanRing.hs /hets/Search/Common/CNF.hs /hets/Search/Common/Data.hs /hets/Search/Common/Intersection.hs /hets/Search/Common/Normalization.hs /hets/Search/Common/Select.hs /hets/Search/Config.hs /hets/Search/DB/Connection.hs /hets/Search/DB/DBSpec.hs /hets/Search/DB/Export.hs /hets/Search/DB/FormulaDB.hs /hets/Search/DB/FormulaDB/Inclusion.hs /hets/Search/DB/FormulaDB/Profile.hs /hets/Search/DB/FormulaDB/Statistics.hs /hets/Search/DB/MPTP.hs /hets/Search/DB/MPTP/Inclusion.hs /hets/Search/DB/MPTP/Profile.hs /hets/Search/DB/MPTP/Statistics.hs /hets/Search/SPASS/DB.hs /hets/Search/SPASS/DFGParser.hs /hets/Search/SPASS/FormulaWrapper.hs /hets/Search/SPASS/InterActiveTesting.hs /hets/Search/SPASS/Intersection.hs /hets/Search/SPASS/ReusedTheorems.hs /hets/Search/SPASS/Sign.hs /hets/Search/SPASS/UnWrap.hs /hets/Search/Utils/List.hs /hets/Search/Utils/ListSet.hs /hets/Search/Utils/SetMap.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ParseTPTP.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHyperHyper.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/dfg.hs /hets/SoftFOL/tests/GUI_tests.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/SoftFOL/tptp.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/GTheory.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs /hets/Static/test/TestDGTrans.hs /hets/Syntax/ADoc.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/Syntax/hetpa.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/Test.hs /hets/VSE/Ana.hs /hets/VSE/As.hs /hets/VSE/Fold.hs /hets/VSE/Logic_VSE.hs /hets/VSE/Parse.hs /hets/VSE/Prove.hs /hets/VSE/ToSExpr.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Base64.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/hets.hs /hets/mini/Grothendieck.hs /hets/mini/Logic.hs /hets/mini/Main.hs /hets/mini/Parser.hs /hets/mini/Proof.hs /hets/mini/StaticAnalysis.hs /hets/mini/Structured.hs /hets/test/childProcessTest.hs /hets/utils/DrIFT-src/ChaseImports.hs /hets/utils/DrIFT-src/CommandP.hs /hets/utils/DrIFT-src/DataP.hs /hets/utils/DrIFT-src/ParseLib2.hs /hets/utils/DrIFT-src/RuleUtils.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs /hets/utils/GenerateRules/GenerateRules.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/InlineAxioms/ExtInlineAxioms.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/Setup.hs /hets/utils/appendHaskellPreludeString.hs /hets/utils/createKeywordDecls.hs /hets/utils/itcor/GenItCorrections.hs
b87efd3db0d2dc41615ea28669faf80fc1b48d56 11-Aug-2010 Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de>

Changed haddock headers and inserted empty headers for the ones missing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC.hs /hets/ATC/ATCTest.hs /hets/ATC/ATCTest2.hs /hets/ATC/ExtSign.hs /hets/ATC/Grothendieck.der.hs /hets/ATC/Sml_cats.hs /hets/Adl/As.hs /hets/Adl/Logic_Adl.hs /hets/Adl/Parse.hs /hets/Adl/Print.hs /hets/Adl/Sign.hs /hets/Adl/StatAna.hs /hets/Adl/adl.hs /hets/CASL.hs AS_Basic_CASL.der.hs AlphaConvert.hs Amalgamability.hs CCC/FreeTypes.hs CCC/OnePoint.hs CCC/TermFormula.hs CCC/TerminationProof.hs ColimSign.hs CompositionTable/CompositionTable.hs CompositionTable/ComputeTable.hs CompositionTable/ModelChecker.hs CompositionTable/ParseSparQ.hs CompositionTable/ToXml.hs Fold.hs Formula.hs Freeness.hs Induction.hs Inject.hs Kif.hs Kif2CASL.hs Logic_CASL.hs MapSentence.hs MixfixParser.hs Monoton.hs Morphism.hs OMDoc.hs OMDocExport.hs OMDocImport.hs OpItem.hs Overload.hs Parse_AS_Basic.hs Project.hs Qualify.hs Quantification.hs QuickCheck.hs RunMixfixParser.hs RunStaticAna.hs ShowMixfix.hs Sign.hs Simplify.hs SimplifySen.hs SortItem.hs StaticAna.hs Sublogic.hs SymbolMapAnalysis.hs SymbolParser.hs Taxonomy.hs ToDoc.hs ToItem.hs ToSExpr.hs Utils.hs capa.hs fromKif.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Comorphism_specs/makePreludeString.hs /hets/CASL_DL/Logic_CASL_DL.hs /hets/CASL_DL/Parse_AS.hs /hets/CASL_DL/PredefinedCASLAxioms.hs /hets/CASL_DL/PredefinedGlobalAnnos.hs /hets/CASL_DL/Print_AS.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/CASL_DL/Sublogics.hs /hets/CMDL/Commands.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypes.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Interface.hs /hets/CMDL/ParseProofScript.hs /hets/CMDL/ProcessScript.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/Analysis.hs /hets/CSL/CSL2HasCASL.hs /hets/CSL/HasCASL2CSL.hs /hets/CSL/Keywords.hs /hets/CSL/Lemma_Export.hs /hets/CSL/Logic_CSL.hs /hets/CSL/Morphism.hs /hets/CSL/Parse_AS_Basic.hs /hets/CSL/Parse_Test.hs /hets/CSL/ReduceProve.hs /hets/CSL/Reduce_Interface.hs /hets/CSL/Sign.hs /hets/CSL/Symbol.hs /hets/CSL/Tools.hs /hets/CSL/Transformation.hs /hets/CoCASL.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LTS/lts.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/CoCASL/Sublogic.hs /hets/Common.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ATermDiffMain.hs /hets/Common/ATerm/ATermLibTest.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoParser.hs /hets/Common/AnnoState.hs /hets/Common/Consistency.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/DefaultMorphism.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/Earley.hs /hets/Common/ExampleMixIds.hs /hets/Common/ExtSign.hs /hets/Common/GlobalAnnotations.hs /hets/Common/IO.hs /hets/Common/Id.hs /hets/Common/InjMap.hs /hets/Common/Item.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lexer.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/Pretty.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/SizedList.hs /hets/Common/Lib/State.hs /hets/Common/LibName.hs /hets/Common/LogicT.hs /hets/Common/OrderedMap.hs /hets/Common/Parsec.hs /hets/Common/Partial.hs /hets/Common/Prec.hs /hets/Common/PrintLaTeX.hs /hets/Common/ProofTree.hs /hets/Common/ProofUtils.hs /hets/Common/ProverTools.hs /hets/Common/Result.hs /hets/Common/ResultT.hs /hets/Common/RunParsers.hs /hets/Common/SExpr.hs /hets/Common/SFKT.hs /hets/Common/SZSOntology.hs /hets/Common/SetColimit.hs /hets/Common/Taxonomy.hs /hets/Common/Timing.hs /hets/Common/ToId.hs /hets/Common/ToXml.hs /hets/Common/Token.hs /hets/Common/UniUtils.hs /hets/Common/Utils.hs /hets/Common/XPath.hs /hets/Common/XUpdate.hs /hets/Common/XmlExpat.hs /hets/Common/XmlParser.hs /hets/Common/annos.hs /hets/Common/testxpath.hs /hets/Common/testxupdate.hs /hets/CommonLogic/AS_CommonLogic.der.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/CASLSig.hs /hets/CommonLogic/ClTests.hs /hets/CommonLogic/Logic_CommonLogic.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/OMDoc.hs /hets/CommonLogic/OMDocExport.hs /hets/CommonLogic/OMDocImport.hs /hets/CommonLogic/Parse_CLIF.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Symbol.hs /hets/Comorphisms.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSE.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CoCFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/DFOL2CASL.hs /hets/Comorphisms/DMU2OWL.hs /hets/Comorphisms/DynLogicList.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/HasCASL2PCoClTyConsHOL.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/MonadicHasCASLTranslation.hs /hets/Comorphisms/OWL2CASL.hs /hets/Comorphisms/OWL2CommonLogic.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs /hets/Comorphisms/PPolyTyConsHOL2IsaUtils.hs /hets/Comorphisms/Prop2CASL.hs /hets/Comorphisms/Prop2QBF.hs /hets/Comorphisms/QBF2Prop.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/Comorphisms/test/showKP.hs /hets/Comorphisms/test/sublogicGraph.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/Print_AS.hs /hets/ConstraintCASL/StaticAna.hs /hets/Constraints/AS_BASIC_Constraints.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Comorphisms.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/CspProver_Consts.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/testwrap.hs /hets/CspCASLProver.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs /hets/Driver/AnaLib.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/ExtModal.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/ExtModalSystems.hs /hets/ExtModal/Keywords.hs /hets/ExtModal/Logic_ExtModal.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/StatAna.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogic.hs /hets/GMP/CompositionalityExperiment.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Con.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/GenericSequent.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GMP/Proof.hs /hets/GMP/SegExamples.hs /hets/GMP/versioning/coloss-0.0.4/Combination.hs /hets/GMP/versioning/coloss-0.0.4/Generic.hs /hets/GMP/versioning/coloss-0.0.4/examples.coalition.hs /hets/GMP/versioning/coloss-0.0.4/examples.gluings.hs /hets/GMP/versioning/coloss-0.0.4/examples.gml.hs /hets/GMP/versioning/coloss-0.0.4/examples.hml.hs /hets/GMP/versioning/coloss-0.0.4/examples.pml.hs /hets/GMP/versioning/coloss-0.0.4/examples.segala.hs /hets/GMP/versioning/coloss-0.0.4/gg.head.hs /hets/GMP/versioning/coloss-0.0.4/gg.tmpl.hs /hets/GMP/versioning/coloss-0.0.4/gg.util.hs /hets/GMP/versioning/gmp-0.0.1/GMP/CoalitionL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPAS.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPSAT.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GenericML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GradedML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Lexer.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Main.hs /hets/GMP/versioning/gmp-0.0.1/GMP/MajorityL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalK.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalKD.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalLogic.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/IneqSolvTester.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/LWBParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/TestGenGML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/ToRacer.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompAS.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompGeneric.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Main.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/C.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/CKCM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Con.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/DisjUnion.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/G.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/HM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/K.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/KD.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Mon.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/P.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/SysS.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Prover.hs /hets/GMP/versioning/gmp-coloss-0.0.3/Main.hs /hets/GUI.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/GenericATP.hs /hets/GUI/Glade/Template.append.hs /hets/GUI/GraphAbstraction.hs /hets/GUI/GraphDisplay.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/GUI/GraphTypes.hs /hets/GUI/GtkAutomaticProofs.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkDisprove.hs /hets/GUI/GtkGenericATP.hs /hets/GUI/GtkLinkTypeChoice.hs /hets/GUI/GtkProverGUI.hs /hets/GUI/GtkUtils.hs /hets/GUI/HTkGenericATP.hs /hets/GUI/HTkProofDetails.hs /hets/GUI/HTkProverGUI.hs /hets/GUI/HTkUtils.hs /hets/GUI/ProverGUI.hs /hets/GUI/ShowGraph.hs /hets/GUI/ShowLibGraph.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/ShowRefTree.hs /hets/GUI/Taxonomy.hs /hets/GUI/UDGUtils.hs /hets/GUI/Utils.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/HasCASL.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/HToken.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/ToItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/ProgramaticaPrelude.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/h2h.hs /hets/Haskell/h2hf.hs /hets/Haskell/hana.hs /hets/Haskell/test/HOL/Map2.hs /hets/Haskell/test/HOL/ex_class.hs /hets/Haskell/test/HOL/ex_let.hs /hets/Haskell/test/HOL/ex_list.hs /hets/Haskell/test/HOL/mrec.hs /hets/Haskell/test/HOL/mrec3.hs /hets/Haskell/test/HOL/wcard.hs /hets/Haskell/test/HOLCF/PPrel.hs /hets/Haskell/test/HOLCF/ex_fibon.hs /hets/Haskell/test/HOLCF/ex_mutrec.hs /hets/Haskell/test/HOLCF/incmpl.hs /hets/Haskell/wrap.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Interfaces/Utils.hs /hets/Isabelle.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/Isabelle/isa.hs /hets/LF/AS.hs /hets/LF/Analysis.hs /hets/LF/Framework.hs /hets/LF/Logic_LF.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Lottery/Test.hs /hets/Lottery/Zaehler.hs /hets/Maude/AS_Maude.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/Parse.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sentence.hs /hets/Maude/Shellout.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc.hs /hets/OMDoc/ATerm.hs /hets/OMDoc/Base64.hs /hets/OMDoc/CASLDefs.hs /hets/OMDoc/CASLOutput.hs /hets/OMDoc/Container.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/Import.hs /hets/OMDoc/KeyDebug.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/OMDocOutput.hs /hets/OMDoc/OMDocXml.hs /hets/OMDoc/Sentences.hs /hets/OMDoc/Util.hs /hets/OMDoc/XmlHandling.hs /hets/OMDoc/XmlInterface.hs /hets/OWL/AS.hs /hets/OWL/ColimSign.hs /hets/OWL/ColonKeywords.hs /hets/OWL/Conservativity.hs /hets/OWL/Keywords.hs /hets/OWL/Logic_OWL.hs /hets/OWL/Morphism.hs /hets/OWL/Namespace.hs /hets/OWL/OWLAnalysis.hs /hets/OWL/OWLParser.hs /hets/OWL/Parse.hs /hets/OWL/Print.hs /hets/OWL/ProveFact.hs /hets/OWL/ProvePellet.hs /hets/OWL/ReadWrite.der.hs /hets/OWL/Sign.hs /hets/OWL/StaticAnalysis.hs /hets/OWL/StructureAnalysis.hs /hets/OWL/Sublogic.hs /hets/OWL/Taxonomy.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs /hets/PGIP/ParseProofScript.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/PGIP/tests/Server.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/PathifyNames.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/VSE.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/ChildMessage.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Conversions.hs /hets/Propositional/Fold.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/Prop2CNF.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Analysis.hs /hets/QBF/Logic_QBF.hs /hets/QBF/Morphism.hs /hets/QBF/Parse_AS_Basic.hs /hets/QBF/ProveDepQBF.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QBF/Tools.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/Logic_Rel.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Search/CASL/FormulaWrapper.hs /hets/Search/CASL/NormalizationDB.hs /hets/Search/CASL/Retrieval.hs /hets/Search/Common/ACINormalization.hs /hets/Search/Common/ACStandardization.hs /hets/Search/Common/BooleanRing.hs /hets/Search/Common/CNF.hs /hets/Search/Common/Data.hs /hets/Search/Common/Intersection.hs /hets/Search/Common/Normalization.hs /hets/Search/Common/Select.hs /hets/Search/Config.hs /hets/Search/DB/Connection.hs /hets/Search/DB/DBSpec.hs /hets/Search/DB/Export.hs /hets/Search/DB/FormulaDB.hs /hets/Search/DB/FormulaDB/Inclusion.hs /hets/Search/DB/FormulaDB/Profile.hs /hets/Search/DB/FormulaDB/Statistics.hs /hets/Search/DB/MPTP.hs /hets/Search/DB/MPTP/Inclusion.hs /hets/Search/DB/MPTP/Profile.hs /hets/Search/DB/MPTP/Statistics.hs /hets/Search/SPASS/DB.hs /hets/Search/SPASS/DFGParser.hs /hets/Search/SPASS/FormulaWrapper.hs /hets/Search/SPASS/InterActiveTesting.hs /hets/Search/SPASS/Intersection.hs /hets/Search/SPASS/ReusedTheorems.hs /hets/Search/SPASS/Sign.hs /hets/Search/SPASS/UnWrap.hs /hets/Search/Utils/List.hs /hets/Search/Utils/ListSet.hs /hets/Search/Utils/SetMap.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ParseTPTP.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHyperHyper.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/dfg.hs /hets/SoftFOL/tests/GUI_tests.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/SoftFOL/tptp.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/GTheory.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs /hets/Static/test/TestDGTrans.hs /hets/Syntax/ADoc.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/Syntax/hetpa.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/Test.hs /hets/ToHaskell/test/BoolEx.hascasl.hs /hets/ToHaskell/test/Builtin.hascasl.hs /hets/ToHaskell/test/Expr.hascasl.hs /hets/ToHaskell/test/FiniteSet.hascasl.hs /hets/ToHaskell/test/Foldl.hascasl.hs /hets/ToHaskell/test/ListEx.hascasl.hs /hets/ToHaskell/test/NatEx.hascasl.hs /hets/ToHaskell/test/OpDecls.hascasl.hs /hets/ToHaskell/test/Pair.hascasl.hs /hets/ToHaskell/test/PatternEq.hascasl.hs /hets/ToHaskell/test/Sorting.hascasl.hs /hets/ToHaskell/test/Test.hascasl.hs /hets/VSE/Ana.hs /hets/VSE/As.hs /hets/VSE/Fold.hs /hets/VSE/Logic_VSE.hs /hets/VSE/Parse.hs /hets/VSE/Prove.hs /hets/VSE/ToSExpr.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Base64.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/hets.hs /hets/mini/Grothendieck.hs /hets/mini/Logic.hs /hets/mini/Main.hs /hets/mini/Parser.hs /hets/mini/Proof.hs /hets/mini/StaticAnalysis.hs /hets/mini/Structured.hs /hets/test/Map.hs /hets/test/childProcessTest.hs /hets/utils/DrIFT-src/ChaseImports.hs /hets/utils/DrIFT-src/CommandP.hs /hets/utils/DrIFT-src/DataP.hs /hets/utils/DrIFT-src/ParseLib2.hs /hets/utils/DrIFT-src/RuleUtils.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs /hets/utils/GenerateRules/GenerateRules.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/InlineAxioms/ExtInlineAxioms.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/Setup.hs /hets/utils/appendHaskellPreludeString.hs /hets/utils/createKeywordDecls.hs /hets/utils/itcor/GenItCorrections.hs
cd6d19f1203be3a3d7df749eea05299308ae0921 30-Jul-2010 Christian Maeder <Christian.Maeder@dfki.de>

removed unused isEmptySig git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13791 cec4b9c1-7d33-0410-9eda-942365e851bb
5911fa79b516fd56ce381de00cb2b0a5bb6d175f 09-Apr-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

outsourced the ga_generated name construction to Sign git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13310 cec4b9c1-7d33-0410-9eda-942365e851bb
1a5414972199f27756b513d5cf515e4c0d688c08 29-Mar-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

added the omdoc import interface functions for Logic CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13280 cec4b9c1-7d33-0410-9eda-942365e851bb
ace03c3051e5c5144e43ae78cae73f6a29dde6d5 18-Mar-2010 Christian Maeder <Christian.Maeder@dfki.de>

corrected printing of CspCASL inclusion morphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13244 cec4b9c1-7d33-0410-9eda-942365e851bb
45aaa7a259465da54f71852ac0c6c39cd987730d 03-Mar-2010 Christian Maeder <Christian.Maeder@dfki.de>

added documentation to CASL signatures git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13149 cec4b9c1-7d33-0410-9eda-942365e851bb
997f1e9333eddf6cdb3d1ec1a2f9cd1189784262 16-Feb-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

removed useless signature git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13085 cec4b9c1-7d33-0410-9eda-942365e851bb
10b1417752a7cd79344892ad4dbb14831851c638 01-Feb-2010 Ewaryst Schulz <Ewaryst.Schulz@dfki.de>

added new logic dependent structure G_symbolplmap and finished pathlist generation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13018 cec4b9c1-7d33-0410-9eda-942365e851bb
0c8f5d7a1c7ee9cde6a1396715588691843499d2 07-Nov-2009 Christian Maeder <Christian.Maeder@dfki.de>

added blank before . git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12796 cec4b9c1-7d33-0410-9eda-942365e851bb
a0d4bdc81a1e0d1963d68fc6d5e4258cbdc6bd78 30-Oct-2009 Liam O'Reilly <csliam@swansea.ac.uk>

Created functions to generate axiom names Used these functions in CspCASLProver git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12762 cec4b9c1-7d33-0410-9eda-942365e851bb
2b33802ca26124644f4311db4319376ecffdc8d2 30-Oct-2009 Christian Maeder <Christian.Maeder@dfki.de>

removed inline axioms and created axioms directly git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12760 cec4b9c1-7d33-0410-9eda-942365e851bb
ead4d317053c9092c59a16de66cac61f619a1293 23-Oct-2009 Christian Maeder <Christian.Maeder@dfki.de>

use curried functions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12699 cec4b9c1-7d33-0410-9eda-942365e851bb
1e56499b4f29cca2c2a8aa47183a4fc248ed29e3 22-Oct-2009 Christian Maeder <Christian.Maeder@dfki.de>

moved shortcuts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12693 cec4b9c1-7d33-0410-9eda-942365e851bb
c6858b2c7db7d4e4b513467f9d22e766b62cfd95 22-Oct-2009 Liam O'Reilly <csliam@swansea.ac.uk>

Made improvements to first stage of removing inline axioms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12691 cec4b9c1-7d33-0410-9eda-942365e851bb
ec8b6f87e1339991278eb703f63dd10760293a63 22-Oct-2009 Liam O'Reilly <csliam@swansea.ac.uk>

Started an attaempt at removing the inline axiom system git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12690 cec4b9c1-7d33-0410-9eda-942365e851bb
16e124196c6b204769042028c74f533509c9b5d3 26-Feb-2009 Christian Maeder <Christian.Maeder@dfki.de>

require Ord instances also for signatures and morphism for efficiency reasons git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11438 cec4b9c1-7d33-0410-9eda-942365e851bb
51ec4ad71e32aaf3dfe9252794bebd55323f2a01 02-Feb-2009 Christian Maeder <Christian.Maeder@dfki.de>

print isomorphic sorts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11350 cec4b9c1-7d33-0410-9eda-942365e851bb
15cc01a96f1b07fc55501c1e26105d7ba49d5568 02-Feb-2009 Christian Maeder <Christian.Maeder@dfki.de>

irreflexivity not necessary after intransitive kernel git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11345 cec4b9c1-7d33-0410-9eda-942365e851bb
cab0c181bba08ed235c387e7b68630ce86a239ce 02-Feb-2009 Christian Maeder <Christian.Maeder@dfki.de>

corrected spechub/Hets@0785865e5f18aa28bd560ca5d7ea9981c537f5f9 wrt printing minimal subsort relation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11343 cec4b9c1-7d33-0410-9eda-942365e851bb
0785865e5f18aa28bd560ca5d7ea9981c537f5f9 02-Feb-2009 Christian Maeder <Christian.Maeder@dfki.de>

only print direct subsorts i.e. the reduced subsort relation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11341 cec4b9c1-7d33-0410-9eda-942365e851bb
be98c516a8ff1d496fcdeb9b8be8c5f4b908ab95 28-Jan-2009 Christian Maeder <Christian.Maeder@dfki.de>

refactored git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11332 cec4b9c1-7d33-0410-9eda-942365e851bb
5824312cc0cfccce61f195fbe92307a21a467049 28-Jan-2009 Christian Maeder <Christian.Maeder@dfki.de>

removed unused arguments git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11331 cec4b9c1-7d33-0410-9eda-942365e851bb
81101b83a042f5a1bdeeef93b1b49aff05817e44 12-Jan-2009 Christian Maeder <Christian.Maeder@dfki.de>

moved plain classes for CASL extensions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11249 cec4b9c1-7d33-0410-9eda-942365e851bb
fa167e362877db231378e17ba49c66fbb84862fc 06-Jan-2009 Christian Maeder <Christian.Maeder@dfki.de>

match total and partial ops explicitly git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11222 cec4b9c1-7d33-0410-9eda-942365e851bb
6a22b2854c3bc9cb4877cb7d29049d6559238639 06-Jan-2009 Christian Maeder <Christian.Maeder@dfki.de>

adapted to generalized item type git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11218 cec4b9c1-7d33-0410-9eda-942365e851bb
765e55b764e0fd32c09d33709d6e2770c4766799 06-Jan-2009 Christian Maeder <Christian.Maeder@dfki.de>

extended symbol kinds i.e. for CspCASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11216 cec4b9c1-7d33-0410-9eda-942365e851bb
806a572a6b39297e26af6b94e227b70ab295adac 03-Jan-2009 Christian Maeder <Christian.Maeder@dfki.de>

followed hlint hints git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11204 cec4b9c1-7d33-0410-9eda-942365e851bb
22eea35d0effc6582b2951a28b5240fa7a82f3df 03-Jan-2009 Christian Maeder <Christian.Maeder@dfki.de>

removed duplicate code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11203 cec4b9c1-7d33-0410-9eda-942365e851bb
9ecf13b5fd914bc7272f1fc17348d7f4a8c77061 03-Jan-2009 Christian Maeder <Christian.Maeder@dfki.de>

renamed funs in CASL to ops git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11201 cec4b9c1-7d33-0410-9eda-942365e851bb

AS_Basic_CASL.der.hs Amalgamability.hs CCC/OnePoint.hs CCC/SignFuns.hs ColimSign.hs Inject.hs MapSentence.hs Morphism.hs Project.hs Qualify.hs Sign.hs Sublogic.hs SymbolMapAnalysis.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/Sublogic.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2SubCFOL.inline.hs /hets/Comorphisms/CASL2TopSort.inline.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/OWL2CASL.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/CspCASL/StatAnaCSP.hs /hets/OMDoc/CASLOutput.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/VSE/Ana.hs
a14767aeac3e78ed100f5b75e210ba563ee10dba 24-Oct-2008 Christian Maeder <Christian.Maeder@dfki.de>

reused the same proof tree git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10890 cec4b9c1-7d33-0410-9eda-942365e851bb

Logic_CASL.hs QuickCheck.hs Sign.hs /hets/CASL_DL/Logic_CASL_DL.hs /hets/Common/ProofTree.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.inline.hs /hets/Comorphisms/CASL2SubCFOL.inline.hs /hets/Comorphisms/CASL2TopSort.inline.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/DL2CASL_DL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/OWL2CASL_DL.hs /hets/Comorphisms/OWL2DL.hs /hets/Comorphisms/Prop2CASL.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/Makefile /hets/Modifications/ModalEmbedding.hs /hets/OWL/Logic_OWL11.hs /hets/OWL/ProvePellet.hs /hets/OWL/Sign.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Prove.hs /hets/Propositional/Sign.hs /hets/Search/SPASS/Sign.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/tests/CMDL_tests.hs /hets/SoftFOL/tests/GUI_tests.hs
bcc126ec3126d2c3a499029dc24ecb7060dbf35a 19-Sep-2008 Christian Maeder <Christian.Maeder@dfki.de>

moved code for better dependencies git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10699 cec4b9c1-7d33-0410-9eda-942365e851bb
2171c56565d5f6955f1f391eb7f0f38171982cde 01-Sep-2008 Christian Maeder <Christian.Maeder@dfki.de>

made diffOpMapSet the inverse of addOpMapSet wrt partial and total ops git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10608 cec4b9c1-7d33-0410-9eda-942365e851bb
4ab71c23ba3909f064fafd53a7f4fe8f4dce39cd 29-Aug-2008 Christian Maeder <Christian.Maeder@dfki.de>

fixed #576 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10606 cec4b9c1-7d33-0410-9eda-942365e851bb
a0ac3ce207826aaccfdd220ac72cd49924660038 24-Jul-2008 Christian Maeder <Christian.Maeder@dfki.de>

changed final union implementation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10387 cec4b9c1-7d33-0410-9eda-942365e851bb
a480b70e29a3ed7e77b89e410fd7bbab3e5a7e67 14-Jul-2008 Christian Maeder <Christian.Maeder@dfki.de>

shortened too long lines git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10313 cec4b9c1-7d33-0410-9eda-942365e851bb
90c174bac60a72ffd81bc3bf5ae2dd9a61943b8b 10-Jul-2008 Christian Maeder <Christian.Maeder@dfki.de>

globally replaced PosItem and UpPos with GetRange git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10298 cec4b9c1-7d33-0410-9eda-942365e851bb

AS_Basic_CASL.der.hs CCC/TermFormula.hs Morphism.hs Overload.hs Sign.hs SimplifySen.hs StaticAna.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/COL/AS_COL.der.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/Common/AS_Annotation.der.hs /hets/Common/Id.hs /hets/Common/Result.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/DL/AS.der.hs /hets/HasCASL/As.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/Merge.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/VarDecl.hs /hets/Isabelle/IsaParse.hs /hets/Modal/AS_Modal.der.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/RelationalScheme/AS.der.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/VSE/Ana.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs
4aa35aadcb28f8a962096efc70d3bdb58ab7d9fa 25-Jun-2008 Christian Maeder <Christian.Maeder@dfki.de>

added intersection and refactored union of signatures git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10202 cec4b9c1-7d33-0410-9eda-942365e851bb
bc587e949508a201ea6073f845ab513a912cabf4 25-Jun-2008 Christian Maeder <Christian.Maeder@dfki.de>

considered total and partial ops in union and intersection of signatures git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10199 cec4b9c1-7d33-0410-9eda-942365e851bb
2fcae3e3d61ea194a6ce5f0bd4afc1b6ed4b2fae 23-Jun-2008 Christian Maeder <Christian.Maeder@dfki.de>

added intersection git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10177 cec4b9c1-7d33-0410-9eda-942365e851bb
6a50fa6b0d93a521d8e52c61a3ceb71d9f878ceb 13-Dec-2007 Christian Maeder <Christian.Maeder@dfki.de>

replaced term_sort with sortOfTerm git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9359 cec4b9c1-7d33-0410-9eda-942365e851bb
6f485a7c411a3a411673a43aadd6293975f1b029 12-Dec-2007 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

added exploitation of overloading axioms to QuickCheck git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9358 cec4b9c1-7d33-0410-9eda-942365e851bb
664fc73ec4b43228708f822a5480237f0387b0d0 07-Dec-2007 Christian Maeder <Christian.Maeder@dfki.de>

make sort relation also irreflexive in diffSig git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9341 cec4b9c1-7d33-0410-9eda-942365e851bb
74838da98c47726de11ba59d6490d7b9317e1738 07-Dec-2007 Christian Maeder <Christian.Maeder@dfki.de>

make sort relation irreflexive git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9340 cec4b9c1-7d33-0410-9eda-942365e851bb
986d3f255182539098a97ac86da9eeee5b7a72e3 05-Dec-2007 Christian Maeder <Christian.Maeder@dfki.de>

moved type synonyms and some other CASL code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9316 cec4b9c1-7d33-0410-9eda-942365e851bb
4d4ec273e5cb1f17985c6edcf90a295a8b612cef 04-Dec-2007 Christian Maeder <Christian.Maeder@dfki.de>

added esort to CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9288 cec4b9c1-7d33-0410-9eda-942365e851bb
22a60a3381d3d70bc5e8264b7db2ae4edf5291c5 04-Dec-2007 Christian Maeder <Christian.Maeder@dfki.de>

replaced addOpMapSet with addMapSet git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9283 cec4b9c1-7d33-0410-9eda-942365e851bb
bb9c344bcfdca677181baeab9548208ed59072af 04-Dec-2007 Christian Maeder <Christian.Maeder@dfki.de>

removed special treatment for total and partial functions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9281 cec4b9c1-7d33-0410-9eda-942365e851bb
56c56b2181e76c239929ddade2925ba5c3f3fffd 26-Nov-2007 Christian Maeder <Christian.Maeder@dfki.de>

removed trailing spaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9243 cec4b9c1-7d33-0410-9eda-942365e851bb
7fd4c34af8415eb699517b1b238a24c02a9a2e9b 21-Nov-2007 Dominik Luecke <luecke@informatik.uni-bremen.de>

added darwin as model finder git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9224 cec4b9c1-7d33-0410-9eda-942365e851bb
95930e7e3689b644fcccb27cc0a26a1b5ed9d0b1 30-Oct-2007 Christian Maeder <Christian.Maeder@dfki.de>

also collect declared Symbols git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9104 cec4b9c1-7d33-0410-9eda-942365e851bb
03136b84a0c70d877e227444f0875e209506b9e4 29-Oct-2007 Christian Maeder <Christian.Maeder@dfki.de>

added symbol set to signatures, simplified morphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9100 cec4b9c1-7d33-0410-9eda-942365e851bb
bf52f113af1263696a1115e46097d787c9323754 09-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

refined warnings of overlapping vars, ops and preds git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8571 cec4b9c1-7d33-0410-9eda-942365e851bb
8adae8b1eb0dd8562f0d1541b9ecb2fd80bda7e7 09-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

refined CASL pretty printing of conditionals git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8564 cec4b9c1-7d33-0410-9eda-942365e851bb
8e773e35983a65a66007d3d6f9174c0e64a09856 08-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

moved generated Ids to Common.Id, cleaned up CASL2TopSort git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8561 cec4b9c1-7d33-0410-9eda-942365e851bb
7594b215a69a720304fc8a00236e24ed80fee0b0 26-Jul-2007 Christian Maeder <Christian.Maeder@dfki.de>

moved printSetMap to DocUtils git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8485 cec4b9c1-7d33-0410-9eda-942365e851bb
3f69b6948966979163bdfe8331c38833d5d90ecd 05-Jul-2007 Christian Maeder <Christian.Maeder@dfki.de>

changed my maintainer email git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/DevGraph.der.hs /hets/ATC/Grothendieck.hs AS_Basic_CASL.der.hs AlphaConvert.hs Fold.hs Formula.hs Inject.hs Kif.hs Kif2CASL.hs MapSentence.hs MixfixParser.hs Morphism.hs OpItem.hs Overload.hs Parse_AS_Basic.hs Project.hs Quantification.hs RunMixfixParser.hs RunStaticAna.hs ShowMixfix.hs Sign.hs Simplify.hs SimplifySen.hs SortItem.hs StaticAna.hs Sublogic.hs SymbolMapAnalysis.hs SymbolParser.hs ToDoc.hs capa.hs fromKif.hs /hets/CoCASL.hs /hets/CoCASL/Sublogic.hs /hets/Common.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/AbstractSyntax.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/ATerm/Conversion.hs /hets/Common/ATerm/Lib.hs /hets/Common/ATerm/ReadWrite.hs /hets/Common/ATerm/Unshared.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/Anno_Parser.hs /hets/Common/CaslLanguage.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/DefaultMorphism.hs /hets/Common/Doc.hs /hets/Common/Earley.hs /hets/Common/GlobalAnnotations.hs /hets/Common/Id.hs /hets/Common/InjMap.hs /hets/Common/Keywords.hs /hets/Common/Lexer.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/State.hs /hets/Common/Partial.hs /hets/Common/Prec.hs /hets/Common/Result.hs /hets/Common/ResultT.hs /hets/Common/RunParsers.hs /hets/Common/SimpPretty.hs /hets/Common/ToId.hs /hets/Common/Token.hs /hets/Common/Trace.hs /hets/Common/annos.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2PCFOL.inline.hs /hets/Comorphisms/CASL2SubCFOL.inline.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/OWL_DL2CASL.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/ConstraintCASL/Parse_AS_Basic.hs /hets/Driver/Options.hs /hets/Driver/WriteFn.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/ShowGraph.hs /hets/GUI/Utils.hs /hets/HasCASL.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/HToken.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Hatchet/Docs.hs /hets/Haskell/Hatchet/FiniteMaps.hs /hets/Haskell/Hatchet/TIHetsModule.hs /hets/Haskell/Hatchet/TIPhase.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/h2h.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/Translate.hs /hets/Isabelle/isa.hs /hets/Modal.hs /hets/OWL_DL/ReadWrite.der.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/ADoc.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/hets.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs /hets/utils/GenerateRules/GenerateRules.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/appendHaskellPreludeString.hs
ef4c93b57e45b47bb36a65f9caeab7e6937ffde1 20-Mar-2007 Christian Maeder <Christian.Maeder@dfki.de>

better print empty signatures git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7717 cec4b9c1-7d33-0410-9eda-942365e851bb
ad270004874ce1d0697fb30d7309f180553bb315 21-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

switched to Data.Set, Data.Map and Data.Dynamic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7491 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/ATCTest2.hs /hets/ATC/DevGraph.der.hs /hets/ATC/Grothendieck.hs /hets/ATC/Set.hs /hets/ATC/Sml_cats.hs AlphaConvert.hs Amalgamability.hs CCC/FreeTypes.hs CCC/OnePoint.hs CCC/SignFuns.hs CCC/TermFormula.hs CompositionTable/ComputeTable.hs Kif2CASL.hs MapSentence.hs MixfixParser.hs Morphism.hs Overload.hs Quantification.hs RunMixfixParser.hs Sign.hs StaticAna.hs Sublogic.hs SymbolMapAnalysis.hs Taxonomy.hs Utils.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/COL/COLSign.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/StatAna.hs /hets/Common.hs /hets/Common/ATerm/AbstractSyntax.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/ATerm/Conversion.hs /hets/Common/ATerm/ReadWrite.hs /hets/Common/AnalyseAnnos.hs /hets/Common/Anno_Parser.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/DynamicUtils.hs /hets/Common/Earley.hs /hets/Common/GlobalAnnotations.hs /hets/Common/InjMap.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/LaTeX_maps.svmono.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/Map.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/Set.hs /hets/Common/OrderedMap.hs /hets/Common/Prec.hs /hets/Common/ProofUtils.hs /hets/Common/ToId.hs /hets/Common/Utils.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.inline.hs /hets/Comorphisms/CASL2SPASS.hs /hets/Comorphisms/CASL2SubCFOL.inline.hs /hets/Comorphisms/CASL2TopSort.inline.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CspCASL2IsabelleHOL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/ConstraintCASL/StaticAna.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/StatAnaCSP.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/GUI/DGTranslation.hs /hets/GUI/GenericATP.hs /hets/GUI/GenericATPState.hs /hets/GUI/PrintUtils.hs /hets/GUI/ProofManagement.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/Le.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/Haskell/BaseATC.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Translate.hs /hets/Isabelle/isa.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Makefile /hets/Modal/ModalSign.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/OMDoc/Container.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/HetsInterface.hs /hets/OMDoc/Integrate.hs /hets/OMDoc/KeyDebug.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocOutput.hs /hets/OWL_DL/AS.hs /hets/OWL_DL/Namespace.hs /hets/OWL_DL/OWLAnalysis.hs /hets/OWL_DL/Print.hs /hets/OWL_DL/ReadWrite.der.hs /hets/OWL_DL/Sign.hs /hets/OWL_DL/StaticAna.hs /hets/OWL_DL/StructureAna.hs /hets/OWL_DL/ToHaskellAS.hs /hets/PGIP/Common.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/GUIState.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Propositional/Morphism.hs /hets/SPASS/Conversions.hs /hets/SPASS/Sign.hs /hets/SPASS/Translate.hs /hets/SPASS/tests/CMDL_tests.hs /hets/SPASS/tests/GUI_tests.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/PrintDevGraph.hs /hets/Static/test/Main.hs /hets/Static/test/TestDGTrans.hs /hets/Taxonomy/AbstractGraphView.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Test.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/Omdoc/HetsDataTypes.hs /hets/utils/Omdoc/HetsInterface.hs /hets/utils/Omdoc/Integrate.hs /hets/utils/itcor/GenItCorrections.hs
e6d40133bc9f858308654afb1262b8b483ec5922 01-Jan-2007 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

added Description header git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7287 cec4b9c1-7d33-0410-9eda-942365e851bb

AS_Basic_CASL.der.hs AlphaConvert.hs Amalgamability.hs CCC/FreeTypes.hs CCC/OnePoint.hs CCC/SignFuns.hs CCC/TermFormula.hs CCC/TerminationProof.hs CompositionTable/CompositionTable.hs CompositionTable/ComputeTable.hs Fold.hs Formula.hs Inject.hs Kif.hs Kif2CASL.hs Logic_CASL.hs MapSentence.hs MixfixParser.hs Morphism.hs OpItem.hs Overload.hs Parse_AS_Basic.hs Project.hs Quantification.hs RunMixfixParser.hs RunStaticAna.hs ShowMixfix.hs Sign.hs Simplify.hs SimplifySen.hs SortItem.hs StaticAna.hs Sublogic.hs SymbolMapAnalysis.hs SymbolParser.hs Taxonomy.hs ToDoc.hs Utils.hs /hets/Common/AS_Annotation.der.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/Anno_Parser.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/DefaultMorphism.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/DynamicUtils.hs /hets/Common/Earley.hs /hets/Common/GlobalAnnotations.hs /hets/Common/Id.hs /hets/Common/InjMap.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lexer.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/Map.hs /hets/Common/Lib/Pretty.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/Set.hs /hets/Common/Lib/State.hs /hets/Common/OrderedMap.hs /hets/Common/Partial.hs /hets/Common/Prec.hs /hets/Common/PrintLaTeX.hs /hets/Common/ProofUtils.hs /hets/Common/Result.hs /hets/Common/ResultT.hs /hets/Common/RunParsers.hs /hets/Common/SimpPretty.hs /hets/Common/Taxonomy.hs /hets/Common/Token.hs /hets/Common/Trace.hs /hets/Common/Utils.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/PGIP/Command_Parser.hs /hets/PGIP/Commands.hs /hets/PGIP/Common.hs /hets/PGIP/Utils.hs /hets/Proofs/Automatic.hs /hets/Proofs/Composition.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs
0095c7efbddd0ffeed6aaf8ec015346be161d819 01-Jan-2007 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

added Description header git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7284 cec4b9c1-7d33-0410-9eda-942365e851bb

AS_Basic_CASL.der.hs AlphaConvert.hs Amalgamability.hs CCC/FreeTypes.hs CCC/OnePoint.hs CCC/SignFuns.hs CCC/TermFormula.hs CCC/TerminationProof.hs CompositionTable/CompositionTable.hs CompositionTable/ComputeTable.hs Fold.hs Induction.hs Inject.hs Kif.hs Kif2CASL.hs Logic_CASL.hs MapSentence.hs MixfixParser.hs Morphism.hs OpItem.hs Overload.hs Parse_AS_Basic.hs Project.hs Quantification.hs RunMixfixParser.hs ShowMixfix.hs Sign.hs Simplify.hs SimplifySen.hs SortItem.hs StaticAna.hs Sublogic.hs SymbolMapAnalysis.hs SymbolParser.hs Taxonomy.hs ToDoc.hs Utils.hs capa.hs /hets/Logic.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/LogicStructured.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs
8e80792f474d154ff11762fac081a422e34f1acc 10-Nov-2006 Christian Maeder <Christian.Maeder@dfki.de>

propagated annoMap and tested pretty printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7150 cec4b9c1-7d33-0410-9eda-942365e851bb
f39ed99723025fc283f54359ad53b46f2e178f1e 09-Nov-2006 Christian Maeder <Christian.Maeder@dfki.de>

added annotations of sorts to the annoMap git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7146 cec4b9c1-7d33-0410-9eda-942365e851bb
def4be60beab1d7285732ebcebad96fad7484120 09-Nov-2006 Christian Maeder <Christian.Maeder@dfki.de>

extended CASL signature record git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7145 cec4b9c1-7d33-0410-9eda-942365e851bb
26d11a256b1433604a3dbc69913b520fff7586ac 09-Nov-2006 Christian Maeder <Christian.Maeder@dfki.de>

moved type Symbol from CASL.Morphism to CASL.Sign git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7142 cec4b9c1-7d33-0410-9eda-942365e851bb
2abcdc69761b88c4db85b1cdbf55798c8128b356 31-Jul-2006 Christian Maeder <Christian.Maeder@dfki.de>

made generated names legal CASL and added a user warning git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6744 cec4b9c1-7d33-0410-9eda-942365e851bb
eca4db63ed0bdbd93b62678feea6e3eb80aa47bb 20-Jul-2006 Christian Maeder <Christian.Maeder@dfki.de>

changed functions for signature differences git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6695 cec4b9c1-7d33-0410-9eda-942365e851bb
1f434106af12ac35a182c917641a6b760ca0bd2c 11-Jul-2006 Christian Maeder <Christian.Maeder@dfki.de>

printSet was removed git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6653 cec4b9c1-7d33-0410-9eda-942365e851bb
b9450c1858c5d07a0e878bb32a1fa51099256a40 10-Jul-2006 Jian Chun Wang <wjch868@informatik.uni-bremen.de>

removed old PrettyPrint stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6650 cec4b9c1-7d33-0410-9eda-942365e851bb
5a06d13dafa3f6c8470951a4c7cb05891ed12328 07-Jul-2006 Jian Chun Wang <wjch868@informatik.uni-bremen.de>

removed old PrettyPrint stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6640 cec4b9c1-7d33-0410-9eda-942365e851bb
ae8052003e1ec7247597f034069db0939a7387e1 04-Jul-2006 Christian Maeder <Christian.Maeder@dfki.de>

used sepByCommas or ppWithCommas git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6585 cec4b9c1-7d33-0410-9eda-942365e851bb
c438c79d00fc438f99627e612498744bdc0d0c89 22-Jun-2006 Christian Maeder <Christian.Maeder@dfki.de>

switched over to new Doc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6478 cec4b9c1-7d33-0410-9eda-942365e851bb

Inject.hs MixfixParser.hs Morphism.hs Overload.hs Print_AS_Basic.hs Sign.hs SimplifySen.hs StaticAna.hs SymbolMapAnalysis.hs ToDoc.hs /hets/CoCASL/StatAna.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/DefaultMorphism.hs /hets/Common/DocUtils.hs /hets/Common/Result.hs /hets/Comorphisms/CASL2SPASS.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/GUI/ProofManagement.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/Haskell/Logic_Haskell.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Logic/Grothendieck.hs /hets/Logic/LaTeX_Grothendieck.hs /hets/Logic/Logic.hs /hets/OWL_DL/Logic_OWL_DL.hs /hets/SPASS/Logic_SPASS.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DevGraph.hs /hets/Syntax/Print_AS_Library.hs
831bfb0c3598d0508b976cd36fa97c65839ed5a3 17-May-2006 Christian Maeder <Christian.Maeder@dfki.de>

moved utilities for printing sets and maps to DocUtils git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6343 cec4b9c1-7d33-0410-9eda-942365e851bb
db453fe9625a9dab5d108f7a5e464598814144b8 26-Apr-2006 Jian Chun Wang <wjch868@informatik.uni-bremen.de>

new Doc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6258 cec4b9c1-7d33-0410-9eda-942365e851bb
bc48a75c0a968be3d6cb31768a4120cafba0d202 15-Mar-2006 Christian Maeder <Christian.Maeder@dfki.de>

changed shadowed warning to a hint git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6019 cec4b9c1-7d33-0410-9eda-942365e851bb
18c1d987ce5818ecf0bfc8af3f43aed2ce86e1ea 11-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

put global annos into CASL signatures git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5376 cec4b9c1-7d33-0410-9eda-942365e851bb
f8c07dc6526e0134d66885d461a30abadc2c6038 26-Oct-2005 Christian Maeder <Christian.Maeder@dfki.de>

qualify State to avoid conflict with Binary.get git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5273 cec4b9c1-7d33-0410-9eda-942365e851bb
68b065341b3426cd3ecbdc31c0186090000ae4b6 19-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

warn on identifier overlap, check variable's sort git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4947 cec4b9c1-7d33-0410-9eda-942365e851bb
b1caf27fb0c879dd39600d09d501074a2dfd865a 28-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

accidentally checked in with strict fields (and unsafe compose) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4814 cec4b9c1-7d33-0410-9eda-942365e851bb
1c1d0abeab7e81019442f67624a1ff954ec909ec 28-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

make unexpanded *.inline.hs file type correct git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4812 cec4b9c1-7d33-0410-9eda-942365e851bb
06455925c22c6409dc3887d200eee0584bf29364 26-Jul-2005 Klaus Luettich <luettich@informatik.uni-bremen.de>

CASL.StaticAna and CASL.Sign: * moved function addOpTo from StaticAna to Sign (for CASL.Inject.insertInjOps) CASL.Inject: * added function insertInjOps: it collects injection opearations from Sort_gen_axs and inserts them into the Sign. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4796 cec4b9c1-7d33-0410-9eda-942365e851bb
cb6ff92fa3173ba175064cf5f8cc1717e99ea9d4 26-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

tried to speed up isSubSig computation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4791 cec4b9c1-7d33-0410-9eda-942365e851bb
fc9e7104df0f73a1b1395f2203101cbc95f07ab3 26-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

only import instances git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4786 cec4b9c1-7d33-0410-9eda-942365e851bb
42c01284bba8d7c8d995c8dfb96ace57d28ed1bc 15-Jul-2005 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

refactoring: [Pos] replaced with Range in order to exclude positions from equality of abstract syntax git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4671 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Sml_cats.hs AS_Basic_CASL.der.hs CCC/FreeTypes.hs Fold.hs Formula.hs Inject.hs Logic_CASL.hs MixfixParser.hs Morphism.hs OpItem.hs Overload.hs Parse_AS_Basic.hs Print_AS_Basic.hs Project.hs Quantification.hs ShowMixfix.hs Sign.hs Simplify.hs SimplifySen.hs SortItem.hs StaticAna.hs Sublogic.hs SymbolMapAnalysis.hs SymbolParser.hs Utils.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/StatAna.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/Anno_Parser.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/Earley.hs /hets/Common/Id.hs /hets/Common/LaTeX_AS_Annotation.hs /hets/Common/Lexer.hs /hets/Common/PrintLaTeX.hs /hets/Common/Print_AS_Annotation.hs /hets/Common/Result.hs /hets/Common/Token.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2PCFOL.inline.hs /hets/Comorphisms/CASL2TopSort.inline.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/PCFOL2FOL.inline.hs /hets/Driver/ReadFn.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/HToken.hs /hets/HasCASL/LaTeX_HasCASL.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/Haskell/HatAna.hs /hets/Isabelle/IsaProve.hs /hets/Logic/Languages.hs /hets/Logic/Logic.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Parse_AS.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/genTransMFormFunc.pl
97018cf5fa25b494adffd7e9b4e87320dae6bf47 15-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

replaced Licence with License for haddock-07 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/BasicProof.hs /hets/ATC/Grothendieck.hs /hets/ATC/Set.hs /hets/ATC/Sml_cats.hs AS_Basic_CASL.der.hs Amalgamability.hs CCC/FreeTypes.hs CCC/OnePoint.hs CCC/SignFuns.hs Formula.hs Inject.hs LaTeX_AS_Basic.hs LaTeX_CASL.hs LiteralFuns.hs Logic_CASL.hs MapSentence.hs MixfixParser.hs Morphism.hs OpItem.hs Overload.hs Parse_AS_Basic.hs Print_AS_Basic.hs Project.hs Quantification.hs RunMixfixParser.hs RunStaticAna.hs ShowMixfix.hs Sign.hs Simplify.hs SimplifySen.hs SortItem.hs StaticAna.hs Sublogic.hs SymbolMapAnalysis.hs SymbolParser.hs Taxonomy.hs Utils.hs capa.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Sign.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/LaTeX_COL.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LaTeX_CoCASL.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/Common.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/AbstractSyntax.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/ATerm/Conversion.hs /hets/Common/ATerm/Diff.hs /hets/Common/ATerm/Lib.hs /hets/Common/ATerm/ReadWrite.hs /hets/Common/ATerm/Unshared.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/Anno_Parser.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/DefaultMorphism.hs /hets/Common/DynamicUtils.hs /hets/Common/Earley.hs /hets/Common/GlobalAnnotations.hs /hets/Common/Id.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_AS_Annotation.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/LaTeX_utils.hs /hets/Common/Lexer.hs /hets/Common/Lib/Pretty.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/State.hs /hets/Common/PPUtils.hs /hets/Common/PrettyPrint.hs /hets/Common/PrintLaTeX.hs /hets/Common/Print_AS_Annotation.hs /hets/Common/Result.hs /hets/Common/RunParsers.hs /hets/Common/SimpPretty.hs /hets/Common/Taxonomy.hs /hets/Common/Token.hs /hets/Common/Utils.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2IsabelleHOL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.inline.hs /hets/Comorphisms/CASL2TopSort.inline.hs /hets/Comorphisms/CoCASL2IsabelleHOL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/Haskell2IsabelleHOLCF.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/PCFOL2FOL.inline.hs /hets/CspCASL/AS_CSP_CASL.hs /hets/CspCASL/CCKeywords.hs /hets/CspCASL/CCLexer.hs /hets/CspCASL/CCToken.hs /hets/CspCASL/LaTeX_AS_CSP_CASL.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Parse_hugo.hs /hets/CspCASL/Print_AS_CSP_CASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/StatAnaCSP.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/GUI/HTkUtils.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/Taxonomy.hs /hets/GUI/Utils.hs /hets/GUI/WebInterface.hs /hets/GUI/hetdg.hs /hets/GUI/hets_cgi.hs /hets/HasCASL.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsToIds.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/ClassDecl.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/HToken.hs /hets/HasCASL/LaTeX_HasCASL.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/Unify.hs /hets/HasCASL/UniqueId.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell.hs /hets/Haskell/BaseATC.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Hatchet/Docs.hs /hets/Haskell/Hatchet/FiniteMaps.hs /hets/Haskell/Hatchet/HsLexer.hs /hets/Haskell/Hatchet/TIHetsModule.hs /hets/Haskell/Hatchet/TIPhase.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Hatchet/ExtHaskellCvrt.hs /hets/Hatchet/HaskellUtils.hs /hets/Hatchet/HatAna.hs /hets/Hatchet/HatParser.hs /hets/Hatchet/Logic_Hatchet.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/CreateThy.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/Translate.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/LaTeX_Grothendieck.hs /hets/Logic/Languages.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/LaTeX_Modal.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/OWL_DL/AS.hs /hets/OWL_DL/Parser.hs /hets/OWL_DL/ReadWrite.hs /hets/OWL_DL/Sign.hs /hets/OWL_DL/ToHaskellAS.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/Proofs.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/SPASS/Conversions.hs /hets/SPASS/Logic_SPASS.hs /hets/SPASS/Print.hs /hets/SPASS/Prove.hs /hets/SPASS/Sign.hs /hets/SPASS/tests/Sokrates.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/LogicStructured.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/GlobalLibraryAnnotations.hs /hets/Syntax/LaTeX_AS_Architecture.hs /hets/Syntax/LaTeX_AS_Library.hs /hets/Syntax/LaTeX_AS_Structured.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/Print_HetCASL.hs /hets/Taxonomy/AbstractGraphView.hs /hets/ToHaskell/h2h.hs /hets/ToHaskell/h2hf.hs /hets/hets.hs /hets/test/childProcessTest.hs /hets/utils/GenerateRules/GenerateRules.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/appendHaskellPreludeString.hs
b4fbc96e05117839ca409f5f20f97b3ac872d1ed 13-Jun-2005 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

added maintainers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Grothendieck.hs /hets/ATC/Sml_cats.hs Amalgamability.hs Formula.hs Inject.hs LaTeX_AS_Basic.hs LaTeX_CASL.hs LiteralFuns.hs Logic_CASL.hs MapSentence.hs MixfixParser.hs Morphism.hs OpItem.hs Overload.hs Parse_AS_Basic.hs Print_AS_Basic.hs Project.hs Quantification.hs RunMixfixParser.hs RunStaticAna.hs ShowMixfix.hs Sign.hs Simplify.hs SimplifySen.hs SortItem.hs StaticAna.hs Sublogic.hs SymbolMapAnalysis.hs SymbolParser.hs Taxonomy.hs Utils.hs capa.hs /hets/CASL_DL/Sign.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LaTeX_CoCASL.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/Common/AS_Annotation.der.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/Anno_Parser.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/DefaultMorphism.hs /hets/Common/DynamicUtils.hs /hets/Common/Earley.hs /hets/Common/GlobalAnnotations.hs /hets/Common/Id.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_AS_Annotation.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/LaTeX_utils.hs /hets/Common/PPUtils.hs /hets/Common/PrettyPrint.hs /hets/Common/PrintLaTeX.hs /hets/Common/Print_AS_Annotation.hs /hets/Common/Result.hs /hets/Common/RunParsers.hs /hets/Common/SimpPretty.hs /hets/Common/Taxonomy.hs /hets/Common/Token.hs /hets/Common/Utils.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2IsabelleHOL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2TopSort.inline.hs /hets/Comorphisms/CoCASL2IsabelleHOL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/Haskell2IsabelleHOLCF.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/CspCASL/AS_CSP_CASL.hs /hets/CspCASL/CCKeywords.hs /hets/CspCASL/CCLexer.hs /hets/CspCASL/CCToken.hs /hets/CspCASL/LaTeX_AS_CSP_CASL.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Parse_hugo.hs /hets/CspCASL/Print_AS_CSP_CASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/StatAnaCSP.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/GUI/HTkUtils.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/Taxonomy.hs /hets/GUI/WebInterface.hs /hets/GUI/hets_cgi.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsToIds.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/ClassDecl.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/HToken.hs /hets/HasCASL/Merge.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell/HatParser.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Hatchet/ExtHaskellCvrt.hs /hets/Hatchet/HatParser.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/CreateThy.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/Translate.hs /hets/Logic/Comorphism.hs /hets/Logic/LaTeX_Grothendieck.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/LaTeX_Modal.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/OWL_DL/AS.hs /hets/OWL_DL/Parser.hs /hets/OWL_DL/ReadWrite.hs /hets/OWL_DL/Sign.hs /hets/OWL_DL/ToHaskellAS.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DevGraph.hs /hets/Static/LogicStructured.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/GlobalLibraryAnnotations.hs /hets/Syntax/LaTeX_AS_Architecture.hs /hets/Syntax/LaTeX_AS_Library.hs /hets/Syntax/LaTeX_AS_Structured.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/Print_HetCASL.hs /hets/Taxonomy/AbstractGraphView.hs /hets/ToHaskell/h2h.hs /hets/ToHaskell/h2hf.hs /hets/utils/appendHaskellPreludeString.hs
752c91d9483d1ecc6dd3f2a56b636bd9bc64cd56 25-May-2005 Christian Maeder <Christian.Maeder@dfki.de>

checked for unintended subsort cycles and isomorphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4325 cec4b9c1-7d33-0410-9eda-942365e851bb
88ece6e49930670e8fd3ee79c89a2e918d2fbd0c 12-May-2005 Christian Maeder <Christian.Maeder@dfki.de>

adapted Common.Lib.Set and Map to ghc-6.4 library version git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4263 cec4b9c1-7d33-0410-9eda-942365e851bb

Amalgamability.hs CCC/FreeTypes.hs CCC/OnePoint.hs CCC/SignFuns.hs LaTeX_CASL.hs Morphism.hs Overload.hs Quantification.hs Sign.hs StaticAna.hs Sublogic.hs SymbolMapAnalysis.hs /hets/COL/Print_AS.hs /hets/CoCASL/CoCASLSign.hs /hets/Common/ATerm/ReadWrite.hs /hets/Common/DFiniteMap.hs /hets/Common/Earley.hs /hets/Common/LaTeX_funs.hs /hets/Common/Lib/Map.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/Set.hs /hets/Common/Lib/SimpleMap.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.inline.hs /hets/Comorphisms/CASL2TopSort.inline.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/PCFOL2FOL.inline.hs /hets/HasCASL/AsToIds.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/LaTeX_HasCASL.hs /hets/HasCASL/Le.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/Unify.hs /hets/Haskell/HatAna.hs /hets/Isabelle/IsaPrint.hs /hets/Logic/Comorphism.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Modal/ModalSign.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Static/AnalysisStructured.hs
c554b3175bf1c2291e4ab2a51a4af3f82a8104d7 27-Apr-2005 Christian Maeder <Christian.Maeder@dfki.de>

printed subsort relation as legal CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4132 cec4b9c1-7d33-0410-9eda-942365e851bb
cfef1cb40723f3d5273e460ec391335220b21324 25-Apr-2005 Christian Maeder <Christian.Maeder@dfki.de>

only get proper sub- and supersorts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4117 cec4b9c1-7d33-0410-9eda-942365e851bb
243a858146e3b302dfb93397f0c9a83c01ee00d4 14-Mar-2005 Christian Maeder <Christian.Maeder@dfki.de>

changed varMap git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3940 cec4b9c1-7d33-0410-9eda-942365e851bb
09060398d269acbb1c715cc7fae0f3274118688c 07-Mar-2005 Christian Maeder <Christian.Maeder@dfki.de>

removed normalize, changed sub- and supersortsOf implementation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3913 cec4b9c1-7d33-0410-9eda-942365e851bb
daa117c5c0fa5638ecc3613d1cd0ef650253fef5 07-Mar-2005 Christian Maeder <Christian.Maeder@dfki.de>

removed unused function git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3911 cec4b9c1-7d33-0410-9eda-942365e851bb
f7d2e793728bbb7fd185e027eb9dfd7b9dd11c21 15-Feb-2005 Christian Maeder <Christian.Maeder@dfki.de>

removed duplicate code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3801 cec4b9c1-7d33-0410-9eda-942365e851bb
e4698ede7498f3019a8b639e5b85578121500c2a 26-Jan-2005 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

fixed bug with map_morphism in CASL2PCFOL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3719 cec4b9c1-7d33-0410-9eda-942365e851bb
2461f4848f65c170ccc15dcec7315b42e448b79c 21-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

do not override checkSorts diags in addSubsort git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3303 cec4b9c1-7d33-0410-9eda-942365e851bb
220de03db5dcb16b0c35bda9ccc073d9e4718512 14-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

corrected reverting business git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3251 cec4b9c1-7d33-0410-9eda-942365e851bb
b40f1fa0643464079b7e590f0e2e970f2cee2348 23-Aug-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

Corrected printing of subsorts in signatures git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3078 cec4b9c1-7d33-0410-9eda-942365e851bb
0e2ae85e2453466d03c1fc5884a3d693235bb9d9 09-Aug-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed static analysis of extensions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3030 cec4b9c1-7d33-0410-9eda-942365e851bb
6703314ebf4218c405db99c640b3b258c58589b4 25-May-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

added isSubsortOf git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2695 cec4b9c1-7d33-0410-9eda-942365e851bb
d3c5f62ed44db5420dc602f07ecf2c853125e1b2 25-May-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

s is a subsort of itself git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2692 cec4b9c1-7d33-0410-9eda-942365e851bb
d183a4514d8a5b6a5d48d15a8dff52d0c96691ea 22-Apr-2004 Christian Maeder <Christian.Maeder@dfki.de>

generalizations for modal logic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2459 cec4b9c1-7d33-0410-9eda-942365e851bb
c9760341e519061ac613e4cb9a713a26866c23a4 13-Apr-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

Typo detected by Mingyi git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2382 cec4b9c1-7d33-0410-9eda-942365e851bb
1f086d5155f47fdad9a0de4e46bbebb2c4b33d30 05-Apr-2004 Christian Maeder <Christian.Maeder@dfki.de>

removed Analyzable git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2356 cec4b9c1-7d33-0410-9eda-942365e851bb
2b4130336e941b7d01c78a6da55449a4c6eca609 23-Mar-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

Refactoring for smooth integration of CASL extensions. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2310 cec4b9c1-7d33-0410-9eda-942365e851bb
fe19deda2fe2570f9d599e58fdbc991248d08325 12-Mar-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

first draft of comorphism CASL-&gt;Isabelle completed; computation of theory of DG node git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2263 cec4b9c1-7d33-0410-9eda-942365e851bb
e07d9f9e0e04995f2c21b6edc74ef48c6dbe62b1 19-Feb-2004 Christian Maeder <Christian.Maeder@dfki.de>

moves Named to AS_Annotation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2195 cec4b9c1-7d33-0410-9eda-942365e851bb
47af295501ed5f407848f61b9943d58ccb43be29 12-Feb-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

Bug fixes for overload resolution Display signatures etc. in Windows; made menus uniform User Guide updated w.r.t menus git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2140 cec4b9c1-7d33-0410-9eda-942365e851bb
f8b715ab2993083761c0aedb78f1819bcf67b6cc 30-Jan-2004 Christian Maeder <Christian.Maeder@dfki.de>

splitted of Sign from StaticAna git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2037 cec4b9c1-7d33-0410-9eda-942365e851bb
9ff493804df9244949246205476d5cfc909f9ad6 20-Jun-2003 Christian Maeder <Christian.Maeder@dfki.de>

removed unused files (replaced by Static.hs and Sublogic.hs) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1518 cec4b9c1-7d33-0410-9eda-942365e851bb
ea872d46fbc4dfb0a5f8e75ceb7673387ce57e76 29-Apr-2003 Christian Maeder <Christian.Maeder@dfki.de>

changed local env git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1293 cec4b9c1-7d33-0410-9eda-942365e851bb
bb9e7f078754bb9ea357c449da35b11a6b744108 15-Apr-2003 Christian Maeder <Christian.Maeder@dfki.de>

started new item analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1259 cec4b9c1-7d33-0410-9eda-942365e851bb
3513f4e241bc3f613607179713c0223da214a26e 15-Apr-2003 Christian Maeder <Christian.Maeder@dfki.de>

moved local env to Sign.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1257 cec4b9c1-7d33-0410-9eda-942365e851bb
bdced0ed975c9eee7f41ab0ca8c21e197962be8a 09-Apr-2003 Christian Maeder <Christian.Maeder@dfki.de>

cleaned up a bit git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1228 cec4b9c1-7d33-0410-9eda-942365e851bb
f97523766972a5b9dfb6e357ba3a9c71aa3afca9 08-Apr-2003 Christian Maeder <Christian.Maeder@dfki.de>

added convertion functions for Rel and qualified imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1216 cec4b9c1-7d33-0410-9eda-942365e851bb
9db318e6d01634c66e10dd0c6eb66c96305cb4f9 07-Apr-2003 Christian Maeder <Christian.Maeder@dfki.de>

indroduced a more adequate relation library for precedence and subsort graphs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1212 cec4b9c1-7d33-0410-9eda-942365e851bb
634b5ff11529e940cf209c42731accaa58d87c1f 01-Apr-2003 Christian Maeder <Christian.Maeder@dfki.de>

different annotations output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1172 cec4b9c1-7d33-0410-9eda-942365e851bb
7e9f1b340f67c0871ce2f654b6579b3b6d3248e7 19-Mar-2003 Christian Maeder <Christian.Maeder@dfki.de>

removed unused import git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1124 cec4b9c1-7d33-0410-9eda-942365e851bb
2f228338523195c3351b835965199a4cc6199266 07-Mar-2003 Christian Maeder <Christian.Maeder@dfki.de>

moved Typeable instances git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1079 cec4b9c1-7d33-0410-9eda-942365e851bb
4c53fae3e5be041e963bbfeef09f917032fedccb 26-Feb-2003 Christian Maeder <Christian.Maeder@dfki.de>

corrections for haddock git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1004 cec4b9c1-7d33-0410-9eda-942365e851bb
d21f1db14625cb0a536fc06b46fcc115d48a25bb 25-Feb-2003 Christian Maeder <Christian.Maeder@dfki.de>

unused package data and FiniteMap git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@990 cec4b9c1-7d33-0410-9eda-942365e851bb
2eb84fc82d3ffa9116bc471fda3742bd9e5a24bb 24-Feb-2003 Christian Maeder <Christian.Maeder@dfki.de>

introduced qualified names git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@972 cec4b9c1-7d33-0410-9eda-942365e851bb

AS_Basic_CASL.der.hs Formula.hs ItemList.hs Latin.hs LiteralFuns.hs Logic_CASL.hs MixfixParser.hs OpItem.hs Parse_AS_Basic.hs Print_AS_Basic.hs RunMixfixParser.hs RunParsers.hs ShowMixfix.hs Sign.hs SortItem.hs Static.hs Sublogics.hs SymbolParser.hs TypeItem.hs /hets/Common/AS_Annotation.der.hs /hets/Common/AnnoState.hs /hets/Common/Anno_Parser.hs /hets/Common/GlobalAnnotations.hs /hets/Common/GlobalAnnotationsFunctions.hs /hets/Common/GraphUtils.hs /hets/Common/Id.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lexer.hs /hets/Common/PPUtils.hs /hets/Common/PrettyPrint.hs /hets/Common/Print_AS_Annotation.hs /hets/Common/Result.hs /hets/Common/Token.hs /hets/Common/Utils.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/LogicRepr.hs /hets/Logic/ParsecInterface.hs /hets/Logic/Prover.hs /hets/Makefile /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/GlobalLibraryAnnotations.hs /hets/Syntax/LogicGraph.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/Print_HetCASL.hs /hets/Syntax/hetpa.hs /hets/hetcats/ATC_sml_cats.hs /hets/hetcats/Options.hs /hets/hetcats/ReadFn.hs /hets/hetcats/WriteFn.hs /hets/hets.hs
409578f7f6dbee1e10dd1c969328bb92dabd087d 21-Feb-2003 Christian Maeder <Christian.Maeder@dfki.de>

use Common.Lib git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@944 cec4b9c1-7d33-0410-9eda-942365e851bb
daf3b6a9ad8839ca019f14f628bbf237805b493e 20-Feb-2003 Christian Maeder <Christian.Maeder@dfki.de>

extended static analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@920 cec4b9c1-7d33-0410-9eda-942365e851bb
aab9c701026f1a0fe31ef4dd374a5dcb17b551a7 18-Feb-2003 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

proof_tree added to type class Logic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@894 cec4b9c1-7d33-0410-9eda-942365e851bb
78cad25e6e6a1535fa740a5c0ce4edeb6fe67618 13-Nov-2002 Pascal Schmidt <pleasure.and.pain@web.de>

Added Ord instance to RawSymbol since it is used in an EndoMap in Logic_CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@625 cec4b9c1-7d33-0410-9eda-942365e851bb
8721a379ab8f2ce9e8df5cc7058fdfa7dd777682 13-Nov-2002 Pascal Schmidt <pleasure.and.pain@web.de>

Added emptySortRels and emptySign functions. Added selectors to Sign datatype. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@617 cec4b9c1-7d33-0410-9eda-942365e851bb
e12c454e880ef5c44bb22b83a74581acda1336d0 16-Oct-2002 Pascal Schmidt <pleasure.and.pain@web.de>

Adapted Eq instances for SortItem/OpItem/PredItem/SigItem git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@535 cec4b9c1-7d33-0410-9eda-942365e851bb
5f048c21a08e5d6945dff4f2caac947f8aac1e2d 08-Oct-2002 Christian Maeder <Christian.Maeder@dfki.de>

SIMPLE_ID for variables git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@492 cec4b9c1-7d33-0410-9eda-942365e851bb
fb0f800a97f0f3e7baf903943c29f9d1de42dfe8 02-Oct-2002 Christian Maeder <Christian.Maeder@dfki.de>

added/changed comments for positions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@483 cec4b9c1-7d33-0410-9eda-942365e851bb
caf9cbd08ac84499a343bbd0eac79e9bb47a40e5 02-Oct-2002 Christian Maeder <Christian.Maeder@dfki.de>

removed local_env and renamed module LocalEnv.hs to Sign.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@472 cec4b9c1-7d33-0410-9eda-942365e851bb