History log of /hets/HasCASL/ClassAna.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 /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/Keywords.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/CompositionTable/ModelFormula.hs /hets/CASL/CompositionTable/ModelTable.hs /hets/CASL/CompositionTable/ParseSparQ.hs /hets/CASL/CompositionTable/ParseTable2.hs /hets/CASL/CompositionTable/Pretty2.hs /hets/CASL/CompositionTable/ToXml.hs /hets/CASL/Cycle.hs /hets/CASL/Disambiguate.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Freeness.hs /hets/CASL/Induction.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Monoton.hs /hets/CASL/Morphism.hs /hets/CASL/OMDoc.hs /hets/CASL/OMDocExport.hs /hets/CASL/OMDocImport.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Qualify.hs /hets/CASL/Quantification.hs /hets/CASL/QuickCheck.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/ToItem.hs /hets/CASL/ToSExpr.hs /hets/CASL/Utils.hs /hets/CASL/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 As.hs AsToLe.hs AsUtils.hs Builtin.hs ClassAna.hs Constrain.hs ConvertTypePattern.hs DataAna.hs FoldTerm.hs FoldType.hs HToken.hs InteractiveTests.hs Le.hs Logic_HasCASL.hs MapTerm.hs MatchCAD.hs MatchingWithDefinitions.hs Merge.hs MinType.hs MixAna.hs Morphism.hs OpDecl.hs ParseItem.hs ParseTerm.hs PrintAs.hs PrintLe.hs PrintSubst.hs ProgEq.hs RawSym.hs RunMixfixParser.hs RunStaticAna.hs SimplifyTerm.hs Sublogic.hs Subst.hs SubtypeDecl.hs SymbItem.hs Symbol.hs SymbolMapAnalysis.hs ToItem.hs TypeAna.hs TypeCheck.hs TypeDecl.hs TypeMixAna.hs TypeRel.hs Unify.hs 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
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 /hets/CASL/Amalgamability.hs /hets/CASL/ColimSign.hs /hets/CASL/Induction.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Morphism.hs /hets/CASL/OMDocImport.hs /hets/CASL/Overload.hs /hets/CASL/QuickCheck.hs /hets/CASL/Sign.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolParser.hs /hets/CASL/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 As.hs AsToLe.hs ClassAna.hs Constrain.hs ConvertTypePattern.hs DataAna.hs FoldTerm.hs FoldType.hs InteractiveTests.hs MatchCAD.hs MatchingWithDefinitions.hs MinType.hs Morphism.hs OpDecl.hs ParseTerm.hs PrintAs.hs PrintLe.hs PrintSubst.hs ProgEq.hs Sublogic.hs Subst.hs SubtypeDecl.hs SymbItem.hs TypeAna.hs TypeCheck.hs TypeMixAna.hs Unify.hs VarDecl.hs test/Graphs.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
d4146229cf85928342dfd25ec8b579a7feb0d381 03-Jun-2011 Christian Maeder <Christian.Maeder@dfki.de>

refactored symbol stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15058 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 /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/CompositionTable/ParseSparQ.hs /hets/CASL/CompositionTable/ToXml.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Freeness.hs /hets/CASL/Induction.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Monoton.hs /hets/CASL/Morphism.hs /hets/CASL/OMDoc.hs /hets/CASL/OMDocExport.hs /hets/CASL/OMDocImport.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Qualify.hs /hets/CASL/Quantification.hs /hets/CASL/QuickCheck.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/ToItem.hs /hets/CASL/ToSExpr.hs /hets/CASL/Utils.hs /hets/CASL/capa.hs /hets/CASL/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 As.hs AsToLe.hs AsUtils.hs Builtin.hs ClassAna.hs Constrain.hs ConvertTypePattern.hs DataAna.hs FoldTerm.hs FoldType.hs HToken.hs Le.hs Logic_HasCASL.hs MapTerm.hs MatchingWithDefinitions.hs Merge.hs MinType.hs MixAna.hs Morphism.hs OpDecl.hs ParseItem.hs ParseTerm.hs PrintAs.hs PrintLe.hs PrintSubst.hs ProgEq.hs RawSym.hs RunMixfixParser.hs RunStaticAna.hs SimplifyTerm.hs Sublogic.hs Subst.hs SubtypeDecl.hs SymbItem.hs Symbol.hs SymbolMapAnalysis.hs ToItem.hs TypeAna.hs TypeCheck.hs TypeDecl.hs TypeMixAna.hs TypeRel.hs Unify.hs VarDecl.hs 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 /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/CompositionTable/ParseSparQ.hs /hets/CASL/CompositionTable/ToXml.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Freeness.hs /hets/CASL/Induction.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Monoton.hs /hets/CASL/Morphism.hs /hets/CASL/OMDoc.hs /hets/CASL/OMDocExport.hs /hets/CASL/OMDocImport.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Qualify.hs /hets/CASL/Quantification.hs /hets/CASL/QuickCheck.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/ToItem.hs /hets/CASL/ToSExpr.hs /hets/CASL/Utils.hs /hets/CASL/capa.hs /hets/CASL/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 As.hs AsToLe.hs AsUtils.hs Builtin.hs ClassAna.hs Constrain.hs ConvertTypePattern.hs DataAna.hs FoldTerm.hs FoldType.hs HToken.hs Le.hs Logic_HasCASL.hs MapTerm.hs MatchingWithDefinitions.hs Merge.hs MinType.hs MixAna.hs Morphism.hs OpDecl.hs ParseItem.hs ParseTerm.hs PrintAs.hs PrintSubst.hs ProgEq.hs RawSym.hs RunMixfixParser.hs RunStaticAna.hs SimplifyTerm.hs Sublogic.hs Subst.hs SubtypeDecl.hs SymbItem.hs Symbol.hs SymbolMapAnalysis.hs ToItem.hs TypeAna.hs TypeCheck.hs TypeDecl.hs TypeMixAna.hs TypeRel.hs Unify.hs VarDecl.hs 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
f42bcc750a9a02cb4f753b70679f9aacf1b338d7 06-Aug-2008 Christian Maeder <Christian.Maeder@dfki.de>

added Cpo class only git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10469 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

/hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/Morphism.hs /hets/CASL/Overload.hs /hets/CASL/Sign.hs /hets/CASL/SimplifySen.hs /hets/CASL/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 As.hs ClassAna.hs Constrain.hs Merge.hs RawSym.hs Symbol.hs 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
034f5450bcde2bfe9c94fa52f03c9592f872af5a 21-Nov-2007 Christian Maeder <Christian.Maeder@dfki.de>

compute minimal variances git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9230 cec4b9c1-7d33-0410-9eda-942365e851bb
4aad9879e208b4ebc32b47b551a94a5e13e4f716 20-Nov-2007 Christian Maeder <Christian.Maeder@dfki.de>

added invariance git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9219 cec4b9c1-7d33-0410-9eda-942365e851bb
6b1153c560b677f9f5da2a60ee8a10de75ff90c5 20-Nov-2007 Christian Maeder <Christian.Maeder@dfki.de>

corrected InVar to NonVar git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9214 cec4b9c1-7d33-0410-9eda-942365e851bb
d976ba42e9d48c289f9c73147669c7e57b7aa98e 01-Nov-2007 Christian Maeder <Christian.Maeder@dfki.de>

collect symbols git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9117 cec4b9c1-7d33-0410-9eda-942365e851bb
32a7cc7177ecf70e35ec831ff86887b9acc40dca 31-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

keep (and allow more) minimal raw kinds git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8764 cec4b9c1-7d33-0410-9eda-942365e851bb
d5b008ac61f0f3d99f41ad3476f945e2b65bd3c0 31-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

* added lesserRawKind and minRawKind * refactored keepMinKinds and cyclicClassId (only ClassAna) * minRawKind still needs to be considered in Merge and VarDecl.addTypeKind * used foldType for rawKindOfType and monotonic * removed unused argument for monotonic and monoSubst * removed stripType git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8761 cec4b9c1-7d33-0410-9eda-942365e851bb
f26a1fc3851297e6483cf3fb56e9c0967b8f8b13 25-Jul-2007 Christian Maeder <Christian.Maeder@dfki.de>

changed kind lists to kind sets git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8481 cec4b9c1-7d33-0410-9eda-942365e851bb
7de39d39bc1700cc8a9bb9df90b920aad9e18d4a 16-Jul-2007 Christian Maeder <Christian.Maeder@dfki.de>

removed unused instantiation lists git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8386 cec4b9c1-7d33-0410-9eda-942365e851bb
2dc26996d32244796c48c71fe44413c8ebf8bbc9 06-Jul-2007 Christian Maeder <Christian.Maeder@dfki.de>

moved keepMins to Common.Utils git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8275 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 /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Quantification.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/ToDoc.hs /hets/CASL/capa.hs /hets/CASL/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 As.hs AsToLe.hs AsUtils.hs Builtin.hs ClassAna.hs Constrain.hs ConvertTypePattern.hs DataAna.hs FoldTerm.hs HToken.hs Le.hs Logic_HasCASL.hs MapTerm.hs Merge.hs MinType.hs MixAna.hs Morphism.hs OpDecl.hs ParseItem.hs ParseTerm.hs PrintAs.hs PrintLe.hs ProgEq.hs RawSym.hs RunMixfixParser.hs RunStaticAna.hs SimplifyTerm.hs Sublogic.hs SubtypeDecl.hs SymbItem.hs Symbol.hs SymbolMapAnalysis.hs TypeAna.hs TypeCheck.hs TypeDecl.hs TypeMixAna.hs Unify.hs VarDecl.hs 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
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 /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/SignFuns.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/Kif2CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/Overload.hs /hets/CASL/Quantification.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/Sign.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/Taxonomy.hs /hets/CASL/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 AsToLe.hs AsUtils.hs Builtin.hs ClassAna.hs Constrain.hs DataAna.hs Le.hs Merge.hs MixAna.hs Morphism.hs PrintLe.hs ProgEq.hs RawSym.hs RunMixfixParser.hs SimplifyTerm.hs Sublogic.hs SubtypeDecl.hs Symbol.hs SymbolMapAnalysis.hs TypeAna.hs TypeCheck.hs TypeDecl.hs Unify.hs 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
f557d0188dd45f46be8c5ea94d206a882da66eaf 15-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

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

changed RawKind to Kind for pretty printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7447 cec4b9c1-7d33-0410-9eda-942365e851bb
4ef2a978e66e2246ff0b7f00c77deb7aabb28b8e 06-Jul-2006 Christian Maeder <Christian.Maeder@dfki.de>

replaced showPretty with showDoc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6620 cec4b9c1-7d33-0410-9eda-942365e851bb
23a00c966f2aa8da525d7a7c51933c99964426c0 30-Jun-2006 Christian Maeder <Christian.Maeder@dfki.de>

moved class Pretty from Doc to DocUtils git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6555 cec4b9c1-7d33-0410-9eda-942365e851bb
5a13581acc5a76d392c1dec01657bb3efd4dcf2d 07-Apr-2006 Christian Maeder <Christian.Maeder@dfki.de>

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

/hets/Comorphisms/HasCASL2IsabelleHOL.hs As.der.hs AsUtils.hs ClassAna.hs Constrain.hs Logic_HasCASL.hs Merge.hs MixAna.hs MixPrint.hs Morphism.hs PrintAs.hs PrintLe.hs RawSym.hs RunMixfixParser.hs SymbolMapAnalysis.hs TypeAna.hs TypeCheck.hs TypeMixAna.hs Unify.hs VarDecl.hs test/Alias.hascasl.output test/AsPattern.hascasl.output test/BasicSpec.casl.output test/BasicSpec.hascasl.output test/BasicSpec.hascasl.parser.output test/CMonad.hascasl.output test/Constrain.hascasl.output test/Double.hascasl.output test/Expr.hascasl.output test/Foldl.hascasl.output test/Graphs.hascasl.output test/ListEx.hascasl.output test/MixfixFormula.casl.output test/MixfixTerms.casl.output test/MixfixTerms.hascasl.output test/Num.hascasl.output test/OpDecls.hascasl.output test/OpWithInst.hascasl.output test/Pair.hascasl.output test/PatternEq.hascasl.output test/PetriSystemCategory.hascasl.output test/Prelude.hascasl.output test/Terms.hascasl.output test/WrongMixfixTerms.hascasl.output test/XInternal.hascasl.output test/XUnion.hascasl.output test/YCombinator.hascasl.output test/ZMapArgs.hascasl.output
d48085f765fca838c1d972d2123601997174583d 23-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

removed FunType, ProductType and LazyType in favour of TypeAppls git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4967 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs As.der.hs AsUtils.hs Builtin.hs ClassAna.hs Constrain.hs DataAna.hs LaTeX_HasCASL.hs Le.hs MinType.hs MixAna.hs Morphism.hs OpDecl.hs ParseItem.hs ParseTerm.hs PrintAs.hs RawSym.hs RunMixfixParser.hs Sublogic.hs SubtypeDecl.hs SymbItem.hs Symbol.hs TypeAna.hs TypeCheck.hs TypeMixAna.hs Unify.hs VarDecl.hs doc/Todo test/Alias.hascasl.output test/AsPattern.hascasl.output test/B1.hascasl.output test/BasicSpec.hascasl.output test/CMonad.hascasl.output test/CastFun.hascasl.output test/Constrain.hascasl.output test/ContraVariance.hascasl.output test/Double.hascasl.output test/EmptyLambda.hascasl.output test/Expr.hascasl.output test/Foldl.hascasl.output test/Graphs.hascasl test/Graphs.hascasl.output test/Items.hascasl.output test/Lazy.hascasl.output test/ListEx.hascasl.output test/MixfixFormula.casl.output test/MixfixTerms.casl.output test/Num.hascasl.output test/OpDecls.hascasl.output test/OpWithInst.hascasl.output test/Pair.hascasl.output test/PatternEq.hascasl.output test/PetriSystemCategory.hascasl.output test/PlainTypes.hascasl.output test/Prelude.hascasl.output test/SuperClassErrors.hascasl.output test/Terms.hascasl.output test/WrongMixfixTerms.hascasl.output test/XInternal.hascasl.output test/XUnion.hascasl.output test/YCombinator.hascasl.output test/ZMapArgs.hascasl.output
81946e2b3f6dde6167f48769bd02c7a634736856 28-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

separated variance, kinds and raw kinds git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4810 cec4b9c1-7d33-0410-9eda-942365e851bb
abae801b829b32e32fff31d106245cf3b8c0a21f 26-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

cleaned up git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4784 cec4b9c1-7d33-0410-9eda-942365e851bb
afa6848d579d235c9677e1ab477916df8e5ae11a 25-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

moved code and fixed generalized variable in equations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4765 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 /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Inject.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Quantification.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/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 As.der.hs AsUtils.hs Builtin.hs ClassAna.hs Constrain.hs DataAna.hs HToken.hs LaTeX_HasCASL.hs Merge.hs MinType.hs MixAna.hs Morphism.hs OpDecl.hs ParseItem.hs ParseTerm.hs PrintAs.hs ProgEq.hs RawSym.hs SymbItem.hs Symbol.hs SymbolMapAnalysis.hs TypeCheck.hs TypeDecl.hs TypeMixAna.hs Unify.hs 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
35597678f1c9da703de8d0b6b66ea63247ebe884 12-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

changed getKindAppl, cleaned up TypeAna git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4634 cec4b9c1-7d33-0410-9eda-942365e851bb
94ceeb2edbd25b4697ddd9f63c94377924352cf4 12-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

commented git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4631 cec4b9c1-7d33-0410-9eda-942365e851bb
36c6cc568751e4235502cfee00ba7b597dae78dc 07-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

major HasCASL redesign (many bugs left) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4571 cec4b9c1-7d33-0410-9eda-942365e851bb
4d5d65e4f55ba8eaa02a4dab14348abeda75cf6b 30-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

added hint for failed conversion of type to kind git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4546 cec4b9c1-7d33-0410-9eda-942365e851bb
f3a94a197960e548ecd6520bb768cb0d547457bb 15-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

aligned module description for haddock-0.7 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Set.hs /hets/ATC/Sml_cats.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/SignFuns.hs /hets/CASL/Formula.hs /hets/CASL/Inject.hs /hets/CASL/LaTeX_AS_Basic.hs /hets/CASL/LaTeX_CASL.hs /hets/CASL/LiteralFuns.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Quantification.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/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/AS_Annotation.der.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/Anno_Parser.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/DynamicUtils.hs /hets/Common/Earley.hs /hets/Common/GlobalAnnotations.hs /hets/Common/Id.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_utils.hs /hets/Common/Lexer.hs /hets/Common/Lib/Map.hs /hets/Common/Lib/Pretty.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/Set.hs /hets/Common/PPUtils.hs /hets/Common/PrettyPrint.hs /hets/Common/PrintLaTeX.hs /hets/Common/Result.hs /hets/Common/RunParsers.hs /hets/Common/SimpPretty.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/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/Utils.hs /hets/GUI/hetdg.hs As.der.hs AsToIds.hs AsToLe.hs AsUtils.hs Builtin.hs ClassAna.hs ClassDecl.hs DataAna.hs HToken.hs LaTeX_HasCASL.hs Le.hs Logic_HasCASL.hs MapTerm.hs Merge.hs Morphism.hs OpDecl.hs ParseItem.hs ParseTerm.hs PrintAs.hs ProgEq.hs RawSym.hs RunStaticAna.hs Sublogic.hs SymbItem.hs Symbol.hs SymbolMapAnalysis.hs TypeAna.hs TypeDecl.hs Unify.hs UniqueId.hs VarDecl.hs hacapa.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Hatchet/ExtHaskellCvrt.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/OWL_DL/AS.hs /hets/OWL_DL/Parser.hs /hets/OWL_DL/ReadWrite.hs /hets/OWL_DL/Sign.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/Proofs.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/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/ToHaskell/h2h.hs /hets/ToHaskell/h2hf.hs /hets/hets.hs /hets/utils/appendHaskellPreludeString.hs
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 /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/SignFuns.hs /hets/CASL/Formula.hs /hets/CASL/Inject.hs /hets/CASL/LaTeX_AS_Basic.hs /hets/CASL/LaTeX_CASL.hs /hets/CASL/LiteralFuns.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Quantification.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/Utils.hs /hets/CASL/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 As.der.hs AsToIds.hs AsToLe.hs AsUtils.hs Builtin.hs ClassAna.hs ClassDecl.hs Constrain.hs DataAna.hs HToken.hs LaTeX_HasCASL.hs Le.hs Logic_HasCASL.hs MapTerm.hs Merge.hs MinType.hs MixAna.hs Morphism.hs OpDecl.hs ParseItem.hs ParseTerm.hs PrintAs.hs ProgEq.hs RawSym.hs RunMixfixParser.hs RunStaticAna.hs Sublogic.hs SymbItem.hs Symbol.hs SymbolMapAnalysis.hs TypeAna.hs TypeCheck.hs TypeDecl.hs Unify.hs UniqueId.hs VarDecl.hs 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 /hets/CASL/Amalgamability.hs /hets/CASL/Formula.hs /hets/CASL/Inject.hs /hets/CASL/LaTeX_AS_Basic.hs /hets/CASL/LaTeX_CASL.hs /hets/CASL/LiteralFuns.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Quantification.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/Utils.hs /hets/CASL/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 As.der.hs AsToIds.hs AsUtils.hs Builtin.hs ClassAna.hs ClassDecl.hs DataAna.hs HToken.hs Merge.hs ParseItem.hs PrintAs.hs RawSym.hs RunMixfixParser.hs RunStaticAna.hs Sublogic.hs SymbItem.hs Symbol.hs TypeAna.hs TypeDecl.hs 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
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

/hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/SignFuns.hs /hets/CASL/LaTeX_CASL.hs /hets/CASL/Morphism.hs /hets/CASL/Overload.hs /hets/CASL/Quantification.hs /hets/CASL/Sign.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/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 AsToIds.hs AsToLe.hs Builtin.hs ClassAna.hs Constrain.hs DataAna.hs LaTeX_HasCASL.hs Le.hs Morphism.hs PrintLe.hs ProgEq.hs Sublogic.hs Symbol.hs SymbolMapAnalysis.hs TypeCheck.hs 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
15bb922b665fcd44c6230a1202785d0c7890e90c 02-Nov-2004 Christian Maeder <Christian.Maeder@dfki.de>

removed FatalError from DiagKind git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3366 cec4b9c1-7d33-0410-9eda-942365e851bb
05e2a3161e4589a717c6fe5c7306820273a473c5 20-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

removed unused import and untabbified git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3274 cec4b9c1-7d33-0410-9eda-942365e851bb
0f67ca7b0c738a28f6688ba6e96d44d7c14af611 23-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed kinds and alias types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2893 cec4b9c1-7d33-0410-9eda-942365e851bb
c1124c6303c288db3fcb40518d38169cd7baaa4c 19-Apr-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed State Env (Maybe ..) to Env -&gt; Result .. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2415 cec4b9c1-7d33-0410-9eda-942365e851bb
76fa667489c5e0868ac68de9f0253ac10f73d0b5 13-Nov-2003 Christian Maeder <Christian.Maeder@dfki.de>

renamed scanWords and scanSigns to scanHC... git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1838 cec4b9c1-7d33-0410-9eda-942365e851bb
c18e9c3c6d5039618f1f2c05526ece84c7794ea3 25-Sep-2003 Christian Maeder <Christian.Maeder@dfki.de>

merge raw-kinds branch with main trunk git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1727 cec4b9c1-7d33-0410-9eda-942365e851bb
75a6279dbae159d018ef812185416cf6df386c10 22-Aug-2003 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

Updated licence statements git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1673 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/CASL/LiteralFuns.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/Common/AS_Annotation.der.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/Anno_Parser.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/Earley.hs /hets/Common/GlobalAnnotations.hs /hets/Common/Id.hs /hets/Common/Keywords.hs /hets/Common/Lib/Rel.hs /hets/Common/ListBrackets.hs /hets/Common/Named.hs /hets/Common/Precedence.hs /hets/Common/PrettyPrint.hs /hets/Common/RunParsers.hs /hets/CspCASL/AS_CSP_CASL.hs /hets/CspCASL/CCKeywords.hs /hets/CspCASL/CCLexer.hs /hets/CspCASL/CCToken.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Parse_hugo.hs As.hs AsToLe.hs AsUtils.hs ClassAna.hs ClassDecl.hs DataAna.hs Le.hs Logic_HasCASL.hs Merge.hs MixAna.hs Morphism.hs OpDecl.hs PrintAs.hs RunStaticAna.hs Symbol.hs TypeAna.hs TypeCheck.hs TypeDecl.hs Unify.hs VarDecl.hs /hets/Logic/Logic.hs /hets/Static/AnalysisStructured.hs /hets/Syntax/GlobalLibraryAnnotations.hs /hets/Syntax/Print_HetCASL.hs /hets/ToHaskell/TranslateAna.hs /hets/hets.hs
53301de22afd7190981b363b57c48df86fcb50f7 30-Jul-2003 Christian Maeder <Christian.Maeder@dfki.de>

new analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1620 cec4b9c1-7d33-0410-9eda-942365e851bb
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8 19-Jun-2003 Christian Maeder <Christian.Maeder@dfki.de>

only restructured again git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1507 cec4b9c1-7d33-0410-9eda-942365e851bb
7abd0c58a5ce51db13f93de82407b2188d55d298 18-Jun-2003 Christian Maeder <Christian.Maeder@dfki.de>

only used simple state monad git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1505 cec4b9c1-7d33-0410-9eda-942365e851bb
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237f 15-Apr-2003 Christian Maeder <Christian.Maeder@dfki.de>

added data type analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1263 cec4b9c1-7d33-0410-9eda-942365e851bb
afd5e708b7f4dad2b363ad99f5259c9961ea82af 15-Apr-2003 Christian Maeder <Christian.Maeder@dfki.de>

moved code to change dependencies git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1261 cec4b9c1-7d33-0410-9eda-942365e851bb
eee1316a9384b10682c998bd4b62b4a5ca2ce820 14-Apr-2003 Christian Maeder <Christian.Maeder@dfki.de>

used Reader Monad git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1249 cec4b9c1-7d33-0410-9eda-942365e851bb
23f8d286586ff38a9e73052b2c7c04c62c5c638f 11-Apr-2003 Christian Maeder <Christian.Maeder@dfki.de>

restructured with a Reader git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1242 cec4b9c1-7d33-0410-9eda-942365e851bb
da245da15da78363c896e44ea97a14ab1f83eb50 11-Mar-2003 Christian Maeder <Christian.Maeder@dfki.de>

used Set for intersection classes (and PPUtils for printing) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1093 cec4b9c1-7d33-0410-9eda-942365e851bb
04dada28736b4a237745e92063d8bdd49a362deb 10-Mar-2003 Christian Maeder <Christian.Maeder@dfki.de>

extended merging git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1090 cec4b9c1-7d33-0410-9eda-942365e851bb
3b51637ab0b178717ac86e2a1585c54649cb1426 07-Mar-2003 Christian Maeder <Christian.Maeder@dfki.de>

removed unused imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1077 cec4b9c1-7d33-0410-9eda-942365e851bb
462ec4b2fa3e0e788eb60dcb4aebc518298f342c 06-Mar-2003 Christian Maeder <Christian.Maeder@dfki.de>

introduced merging of envs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1072 cec4b9c1-7d33-0410-9eda-942365e851bb
7feac39f792f587cffdc8b63b0e7c5a7d2de292e 03-Mar-2003 Christian Maeder <Christian.Maeder@dfki.de>

__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1038 cec4b9c1-7d33-0410-9eda-942365e851bb
c39be436ee9b0c08f9cb0c08988fcf5a5b147db9 28-Feb-2003 Christian Maeder <Christian.Maeder@dfki.de>

kinded class analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1035 cec4b9c1-7d33-0410-9eda-942365e851bb
5d2f1a7947dde4ff340f8d4908ae0f22c74fdeda 26-Feb-2003 Christian Maeder <Christian.Maeder@dfki.de>

only curried kinds git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1018 cec4b9c1-7d33-0410-9eda-942365e851bb
f71a8dcf94fd9eb3c9800e16dcdc5e5ff74e5c22 25-Feb-2003 Christian Maeder <Christian.Maeder@dfki.de>

replaced FiniteMap with Map git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@997 cec4b9c1-7d33-0410-9eda-942365e851bb
e8ffec0fa3d3061061bdc16e44247b9cf96b050f 24-Feb-2003 Christian Maeder <Christian.Maeder@dfki.de>

qualified module names git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@977 cec4b9c1-7d33-0410-9eda-942365e851bb
30203b61afb4393c8e459470b3a16d1fe26acc7f 21-Feb-2003 Christian Maeder <Christian.Maeder@dfki.de>

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

handled suptype definitions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@819 cec4b9c1-7d33-0410-9eda-942365e851bb
e289294500ad68fa0706b09521af340bbb356a69 29-Jan-2003 Christian Maeder <Christian.Maeder@dfki.de>

included kind analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@799 cec4b9c1-7d33-0410-9eda-942365e851bb
a64a0692ffff29e0846ca325b1811266a9f105e0 29-Jan-2003 Christian Maeder <Christian.Maeder@dfki.de>

changed kind type git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@794 cec4b9c1-7d33-0410-9eda-942365e851bb
08faa81d4dd8409cd923b334064f64f802ecc33d 17-Jan-2003 Christian Maeder <Christian.Maeder@dfki.de>

separated class and type analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@771 cec4b9c1-7d33-0410-9eda-942365e851bb