Cross Reference: /hets/CASL/CCC/FreeTypes.hs

History log of /hets/CASL/CCC/FreeTypes.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 FreeTypes.hs OnePoint.hs TermFormula.hs 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 /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/HToken.hs /hets/HasCASL/InteractiveTests.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MatchCAD.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/ToItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/HolLight/Helper.hs /hets/HolLight/HolLight2DG.hs /hets/HolLight/Logic_HolLight.hs /hets/HolLight/Sentence.hs /hets/HolLight/Sign.hs /hets/HolLight/Term.hs /hets/Hybrid/AS_Hybrid.der.hs /hets/Hybrid/HybridSign.hs /hets/Hybrid/Keywords.hs /hets/Hybrid/Logic_Hybrid.hs /hets/Hybrid/Parse_AS.hs /hets/Hybrid/Print_AS.hs /hets/Hybrid/StatAna.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Interfaces/Process.hs /hets/Interfaces/Utils.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/Isa2DG.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/LF/AS.hs /hets/LF/Analysis.hs /hets/LF/Framework.hs /hets/LF/ImplOL.hs /hets/LF/Logic_LF.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/KnownIris.hs /hets/Logic/LGToJson.hs /hets/Logic/LGToXml.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/MMT/Hets2mmt.hs /hets/MMT/Tools.hs /hets/MMT/XMLtoPT.hs /hets/Maude/AS_Maude.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/Parse.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sentence.hs /hets/Maude/Shellout.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/ModalSystems.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/Import.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/XmlInterface.hs /hets/OWL2/AS.hs /hets/OWL2/CASL2OWL.hs /hets/OWL2/ColimSign.hs /hets/OWL2/ColonKeywords.hs /hets/OWL2/Conservativity.hs /hets/OWL2/CreateOWL.hs /hets/OWL2/DMU2OWL2.hs /hets/OWL2/Extract.hs /hets/OWL2/ExtractModule.hs /hets/OWL2/Function.hs /hets/OWL2/Keywords.hs /hets/OWL2/Logic_OWL2.hs /hets/OWL2/MS.hs /hets/OWL2/MS2Ship.hs /hets/OWL2/ManchesterParser.hs /hets/OWL2/ManchesterPrint.hs /hets/OWL2/Medusa.hs /hets/OWL2/MedusaToJson.hs /hets/OWL2/Morphism.hs /hets/OWL2/OWL22CASL.hs /hets/OWL2/OWL22CommonLogic.hs /hets/OWL2/Parse.hs /hets/OWL2/ParseOWL.hs /hets/OWL2/ParseOWLAsLibDefn.hs /hets/OWL2/Print.hs /hets/OWL2/Profiles.hs /hets/OWL2/ProfilesAndSublogics.hs /hets/OWL2/Propositional2OWL2.hs /hets/OWL2/ProveFact.hs /hets/OWL2/ProvePellet.hs /hets/OWL2/ProverState.hs /hets/OWL2/Rename.hs /hets/OWL2/ShipSyntax.hs /hets/OWL2/Sign.hs /hets/OWL2/StaticAnalysis.hs /hets/OWL2/Sublogic.hs /hets/OWL2/Symbols.hs /hets/OWL2/Taxonomy.hs /hets/OWL2/Theorem.hs /hets/OWL2/Translate.hs /hets/OWL2/XML.hs /hets/OWL2/XMLConversion.hs /hets/OWL2/XMLKeywords.hs /hets/OWL2/scripts/runConv.hs /hets/OWL2/scripts/runManchester.hs /hets/OWL2/scripts/runXML.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs /hets/PGIP/ParseProofScript.hs /hets/PGIP/Query.hs /hets/PGIP/Server.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/TriangleCons.hs /hets/Proofs/VSE.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Conversions.hs /hets/Propositional/Fold.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Analysis.hs /hets/QBF/Logic_QBF.hs /hets/QBF/Morphism.hs /hets/QBF/Parse_AS_Basic.hs /hets/QBF/ProveDepQBF.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QBF/Tools.hs /hets/QVTR/As.hs /hets/QVTR/Logic_QVTR.hs /hets/QVTR/ParseQvtAsLibDefn.hs /hets/QVTR/Parser.hs /hets/QVTR/Print.hs /hets/QVTR/Sign.hs /hets/QVTR/StatAna.hs /hets/RDF/AS.hs /hets/RDF/Function.hs /hets/RDF/Logic_RDF.hs /hets/RDF/Morphism.hs /hets/RDF/Parse.hs /hets/RDF/ParseRDFAsLibDefn.hs /hets/RDF/Print.hs /hets/RDF/Sign.hs /hets/RDF/StaticAnalysis.hs /hets/RDF/Symbols.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/Logic_Rel.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Scratch.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/EProver.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ParseTPTP.hs /hets/SoftFOL/ParseTPTPAsLibDefn.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHyperHyper.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveMetis.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/StatAna.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/ConsInclusions.hs /hets/Static/DGNavigation.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DgUtils.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/FromXmlUtils.hs /hets/Static/GTheory.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/SpecLoader.hs /hets/Static/ToJson.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs /hets/Static/XGraph.hs /hets/Static/XSimplePath.hs /hets/Static/test/TestDGTrans.hs /hets/Syntax.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/Syntax/hetpa.hs /hets/THF/As.der.hs /hets/THF/Cons.hs /hets/THF/HasCASL2THF0Buildins.hs /hets/THF/Logic_THF.hs /hets/THF/ParseTHF.hs /hets/THF/Poly.hs /hets/THF/Print.hs /hets/THF/PrintTHF.hs /hets/THF/ProveIsabelle.hs /hets/THF/ProveLeoII.hs /hets/THF/ProveSatallax.hs /hets/THF/ProverState.hs /hets/THF/SZSProver.hs /hets/THF/Sign.hs /hets/THF/StaticAnalysisTHF.hs /hets/THF/Sublogic.hs /hets/THF/Translate.hs /hets/THF/Utils.hs /hets/Taxonomy/AbstractGraphView.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/TopHybrid/AS_TopHybrid.der.hs /hets/TopHybrid/Logic_TopHybrid.hs /hets/TopHybrid/Parse_AS.hs /hets/TopHybrid/Print_AS.hs /hets/TopHybrid/StatAna.hs /hets/TopHybrid/TopHybridSign.hs /hets/TopHybrid/Utilities.hs /hets/VSE/Ana.hs /hets/VSE/As.hs /hets/VSE/Fold.hs /hets/VSE/Logic_VSE.hs /hets/VSE/Parse.hs /hets/VSE/Prove.hs /hets/VSE/ToSExpr.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Base64.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/utils/itcor/GenItCorrections.hs
c127b5cc51ba9dd992c3c3d14444a6ed1ce88c67	14-Oct-2014	cmaeder <cmaeder@users.noreply.github.com>	reuse quantification FreeTypes.hs TermFormula.hs TerminationProof.hs
d91eb35c0f5e9e6a1ebe7b6f51fd00cb529d67ed	18-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	avoid duplicate message via unknown conservativity FreeTypes.hs
c5aff6ab9d6526b78b738296e944919f50654d85	17-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	also complain about a subsort definitions for an old sort FreeTypes.hs
79e2bd148db9f8c20946245d39d9e80008a47ab3	17-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	fixed #1136 and added previously ignored membership obligations FreeTypes.hs TermFormula.hs
1bdf7350800fb56742078052bc53c53460df28b6	16-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	refactored FreeTypes.hs
79720ebb1315d79df06c83b31b6f0158f83679f3	16-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	allow definedness conditions to be ignored in conjunction with domain axioms FreeTypes.hs
fddece8c9a8ccf6113561535d8365989a238fc86	16-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	re-used image of morphism FreeTypes.hs
42c48d599c91a7cdec2bcfb5385684712e627907	15-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	properly rename old names FreeTypes.hs
b17ec5414c4f6181bc150236890a60a178692def	15-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	avoid termination proof without sentences FreeTypes.hs
bf28fda4cb91c15978baf8543314642f46c3476c	15-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	factored out some common code FreeTypes.hs TermFormula.hs
e0734110455924d92f5a31dbedd8f05f64d4b801	12-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	only moved function FreeTypes.hs TermFormula.hs
8b32a507c12da7310d156de55322eb05c9314676	11-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	just renamed a function FreeTypes.hs
e1b840ca6afb607b163ddd963b657d56577dc500	11-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	corrected and refined positive check FreeTypes.hs
97205bcbd26df4fe22d7c46e511872d836ff444b	10-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	shortened termination and add hint to successful termination FreeTypes.hs
164b3358445047834fb8f96bffa6f62f8455429d	10-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	adjusted output format FreeTypes.hs
15ac692bd3e37d6a54e0a0dad8cfc253005a8e48	10-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	refactored only FreeTypes.hs
22b9153fa40713977fa959bd752184204a9c041d	09-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	also collect definedness conditions for casts in substitutions FreeTypes.hs TermFormula.hs TerminationProof.hs
b1b770040e4439e382f9d8765e6205d6a68ec338	09-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	only do the necessary work FreeTypes.hs
b54ac3c3b75e0662d6e4489f7a834d102d616afd	08-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	use sameOpSymbs instead of equality, too FreeTypes.hs
96a3f4b391a98d0e91bc1f608398442f29d4c69e	08-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	moved some code and refactored substitution in termination proof FreeTypes.hs TermFormula.hs TerminationProof.hs
c146183cf1309744164cf1fdbbef4baeddc29a4d	08-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	refactored computing formula parts FreeTypes.hs
516c5b74464919e4c1f26103e41c2bb787475daa	05-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	for #1343 all variables need to be considered to avoid clashes FreeTypes.hs
4977d4472e0cfd02c77421865ab89060da80df77	05-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	also properly group domain defs on op symbols FreeTypes.hs
8daa450800888f07a9a55317c1361cb50ef0e0e7	05-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	refactored sameOpsApp FreeTypes.hs TermFormula.hs
e5bf1cecd6f65e5c36b033d9d3f93938846a9ec9	05-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	minor refactorings /hets/CASL/AlphaConvert.hs FreeTypes.hs TermFormula.hs TerminationProof.hs
b099adb58fe355a6b9fb8941c2fd8d6ddd271992	05-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	do not spoil conservativity by proof obligation for definitionality FreeTypes.hs
273818303761404e8b55ec2749032a3837903043	04-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	output readable diagnostics FreeTypes.hs
6eca9a49786384e7573736cac1a6430afd0e1b3b	04-Sep-2014	cmaeder <cmaeder@users.noreply.github.com>	collect exhaustiveness conditions FreeTypes.hs
c3906f1be59495199f7ab5240779e82981c05633	28-Aug-2014	cmaeder <cmaeder@users.noreply.github.com>	attempt to detect incomplete patterns due to conditions FreeTypes.hs
2c99ff994b966dc293a1592c7c7e3cc09acdaac4	26-Aug-2014	cmaeder <cmaeder@users.noreply.github.com>	avoid variable clashes when computing overlap FreeTypes.hs
f8a1d95ce6a411f66ecb072eb086c2ac104f00cd	11-Aug-2014	cmaeder <cmaeder@users.noreply.github.com>	do not distinguish variables and constants in constructor terms FreeTypes.hs
d26f3e63b722ca694a5e8b1d2a4fe38c68e56880	08-Aug-2014	cmaeder <cmaeder@users.noreply.github.com>	made output more uniform FreeTypes.hs
8dc1d5d2552a181a17770eed0644f28438577dfa	08-Aug-2014	cmaeder <cmaeder@users.noreply.github.com>	reconstruct missing pattern term FreeTypes.hs TermFormula.hs
48011e3e2c896b715dbc8458ad0d257db5446ec4	04-Sep-2013	Christian Maeder <Christian.Maeder@dfki.de>	exclude domain axioms with def formulas on the rhs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18164 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
27a86468d4c49f8560a6ed11c6874a34e627286f	04-Sep-2013	Christian Maeder <Christian.Maeder@dfki.de>	check completeness of domain axiom git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18163 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
7c242198b1d0d2aaab29ca668eac4855a4dcb8d4	04-Sep-2013	Christian Maeder <Christian.Maeder@dfki.de>	check domains of partial function definitions #1188 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18162 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
f0068e6ce2158a3af71535c29cefcdeb114e2adb	05-Jun-2013	Christian Maeder <Christian.Maeder@dfki.de>	improve messages further for #1186 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18009 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/Interfaces/Utils.hs
ba5a40bc85da5d7fbaebd1b5512d828632ddafe0	05-Jun-2013	Christian Maeder <Christian.Maeder@dfki.de>	changed hint message for #1168 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18006 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
decb42153730ad80329099072c7717299da78900	04-Jun-2013	Christian Maeder <Christian.Maeder@dfki.de>	tried to fix #1168 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18000 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
d0642e0d269791a923f2bf86ea249f971f14addb	24-Apr-2013	Christian Maeder <Christian.Maeder@dfki.de>	removed redundant Maybe level #1140 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17908 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/Common/Consistency.hs /hets/Interfaces/Utils.hs /hets/OWL2/Conservativity.hs /hets/Propositional/Conservativity.hs /hets/Propositional/ProveWithTruthTable.hs
0d16dd7780b68c5185dd6169a7cf305a0a541a90	22-Apr-2013	Christian Maeder <Christian.Maeder@dfki.de>	if definitions do not overlap the extension can be def git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17896 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
fabb65de6a1d71c8519bd153fadc83cb935e9311	20-Apr-2013	Christian Maeder <Christian.Maeder@dfki.de>	used arguOfTerm for patternsOfTerm git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17893 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
f49f116ea2426f01592ac6347dee490654c30dab	20-Apr-2013	Christian Maeder <Christian.Maeder@dfki.de>	remove unjustified missing pattern warning and filter out true obligations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17892 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
190b5bda930208158bae5b4d134ab2d02cb67f6b	20-Apr-2013	Christian Maeder <Christian.Maeder@dfki.de>	also show hints of conservativity git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17887 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/Common/Result.hs /hets/Interfaces/Utils.hs
91d34cfd92a1dfd0383ac640cc53e982707a9b0d	19-Apr-2013	Christian Maeder <Christian.Maeder@dfki.de>	improved positiveCheck of #1113 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17885 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
a1051d1110d78ff80bcef4cfeff466a64e4ab818	19-Apr-2013	Christian Maeder <Christian.Maeder@dfki.de>	adding nothing is def git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17884 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
3b5be3b6d6303b4adf366b0538d270e70fec0721	19-Apr-2013	Christian Maeder <Christian.Maeder@dfki.de>	made Nat_Pred and Nat_Diff definitional git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17871 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
a59baad5cc2701cc8f2947b7a61eea117db8e423	18-Apr-2013	Christian Maeder <Christian.Maeder@dfki.de>	made axiom2TRS monadic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17865 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TerminationProof.hs
083544c26698eb0f378de1e27aac3067782052de	18-Apr-2013	Christian Maeder <Christian.Maeder@dfki.de>	added context to extend error message git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17864 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TerminationProof.hs
efc255caef4a92b31b9b1df8d42af42c07e09f16	18-Apr-2013	Christian Maeder <Christian.Maeder@dfki.de>	correctly report definitions without domain axioms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17863 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
0c342d88360ce2e7bfca49c6a0ab11932abb74ed	12-Apr-2013	Christian Maeder <Christian.Maeder@dfki.de>	simplify generated overlap formulas git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17851 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
722e44a0c1d71d272df647065ab5f859cac00023	26-Mar-2013	Christian Maeder <Christian.Maeder@dfki.de>	also consider overload relation in sameOpsApp git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17812 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs TerminationProof.hs
b463427f6976f49999a07231105cc2747a21cd7b	26-Mar-2013	Christian Maeder <Christian.Maeder@dfki.de>	group axioms according to overload relation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17811 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
c698ca3d47b105a82ec1f19e8c6bc29ab1d1b63d	12-Mar-2013	Christian Maeder <Christian.Maeder@dfki.de>	generalized git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17797 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/CASL/SimplifySen.hs
107648b6cbd0d0b14a81964d25f55b31a7f24410	04-Mar-2013	Christian Maeder <Christian.Maeder@dfki.de>	improved output message git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17775 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
7473d203e1c837d6075a9e3eed10e5f737895b0a	27-Feb-2013	Christian Maeder <Christian.Maeder@dfki.de>	check if also imported sentences are positive git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17771 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
f59dac5102c78643e16a3a1047cefab833c80bc7	27-Feb-2013	Christian Maeder <Christian.Maeder@dfki.de>	support overloaded constructors when checking complete patterns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17770 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
a085d7d8618174f8b544e0266951e700c734f655	20-Feb-2013	Christian Maeder <Christian.Maeder@dfki.de>	shared code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17759 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
1feb531ccf43635c5c281471095f3ff788f9ffb9	05-Feb-2013	Christian Maeder <Christian.Maeder@dfki.de>	report the missing pattern git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17744 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
3e9f07bce50e0d38314a84a50268d2401e756a97	23-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	moved code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17734 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
b83da2a26cf8bd31633eb616d31663327acc6450	11-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	refined completeness check git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17730 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
4f81ba7f36814cda63fbd75351abe3f9d88dcb97	11-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	refactored complete Patterns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17729 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
0dbecb34c70c9ade5abc8e41d8a31f03425ee5d2	11-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	removed unused code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17726 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
e5f384d1e47528609bb13b84096d8f95c2e6cfae	10-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	refactored leading term analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17725 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs TerminationProof.hs
b92b1a3de2b4b16887e1d1d0de2abdbf5e8655e8	09-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	report all problems at once git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17723 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
05fbdb0a892388b7bac9bc620017771730f1b00f	09-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	refactored git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17722 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
7e05ce4450198c41d205a3b0cf16f7fc449a15b5	08-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	refactored extracting definitions for old symbols git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17721 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
b2fbd13eaaf562cc95eeb305f80d96cf6ef8b2bb	04-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	refactored overlap obligation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17720 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
19c97fabd26da17b494d68ad39c666569f9abafd	04-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	refactored the constructor check git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17718 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
15fb3ebbbc5e26b5b389ac49a0abdc5f2cc05955	04-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	improved text git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17717 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
0c15b95fcc0b26d66a4358806ad9a81e783e2109	04-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	corrected non-termination git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17716 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
d842eefc8f5b727e9a0129ea883ba12fd9f4dceb	04-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	fixed #897 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17715 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
dbc1dad13708ae8bba42eac4eff53a11346b2391	04-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	cleaned up sort checking git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17714 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
0abb18fa401863f1f738b68e37e2753b334560d4	04-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	properly recover constructors git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17713 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
999434073eb1711d8db3a72a6405d86546553851	04-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	removed duplicate code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17712 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
a7fb0db6ada520d3b792d08a9beebbeaad7faa10	04-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	refactored git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17711 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
a5e1617d14b530f09732afbb3ef71f59ea0d2123	04-Jan-2013	Christian Maeder <Christian.Maeder@dfki.de>	refined selecting user formulas and sort-gen axioms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17710 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
94e112d16f89130a688db8b03ad3224903f5e97e	04-Sep-2012	Christian Maeder <Christian.Maeder@dfki.de>	refactored CASL formulas git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17288 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/Sml_cats.hs /hets/CASL/AS_Basic_CASL.der.hs FreeTypes.hs OnePoint.hs TermFormula.hs TerminationProof.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Freeness.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/MixfixParser.hs /hets/CASL/OMDocExport.hs /hets/CASL/OMDocImport.hs /hets/CASL/Overload.hs /hets/CASL/QuickCheck.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/ToDoc.hs /hets/CASL/ToSExpr.hs /hets/CASL/Utils.hs /hets/CoCASL/StatAna.hs /hets/CommonLogic/PredefinedCASLAxioms.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CommonLogic2CASLCompact.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/Modal2CASL.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/DFOL/Comorphism.hs /hets/Fpl/As.der.hs /hets/Fpl/StatAna.hs /hets/Maude/PreComorphism.hs /hets/Modal/ModalSystems.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/OWL2/OWL22CASL.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/VSE/Ana.hs /hets/VSE/ToSExpr.hs
0df6e825862d5f0c98b52e8c7f7b9d00c0af9d34	03-Aug-2012	Christian Maeder <Christian.Maeder@dfki.de>	remove unused import git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17110 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
602537decb7c714fbf6da6caa024ab3f10805276	03-Aug-2012	Christian Maeder <Christian.Maeder@dfki.de>	always assume that target sentences are axioms and are no source sentences git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17106 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/Interfaces/Utils.hs /hets/OWL2/Conservativity.hs /hets/Propositional/Conservativity.hs /hets/Propositional/ProveWithTruthTable.hs
eeae6373f1e6c76139ae2a19a93dc2bce3a363b1	10-Aug-2011	Christian Maeder <Christian.Maeder@dfki.de>	refactored getting the new sorts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15956 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
dece9056c18ada64bcc8f2fba285270374139ee8	06-Jul-2011	Christian Maeder <Christian.Maeder@dfki.de>	use a reflexive sort relation and avoid a separate sort set git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15472 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/Amalgamability.hs FreeTypes.hs OnePoint.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/Freeness.hs /hets/CASL/Morphism.hs /hets/CASL/OMDocImport.hs /hets/CASL/Sign.hs /hets/CASL/StaticAna.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.sentences.output /hets/CASL/test/BasicSpec.signature.output /hets/CASL_DL/PredefinedCASLAxioms.hs /hets/CASL_DL/PredefinedSign.inline.hs.in /hets/CoCASL/CoCASLSign.hs /hets/Common/Lib/MapSet.hs /hets/Common/Lib/Rel.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/OWL2CASL.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/CspCASL/SymMapAna.hs /hets/CspCASLProver/CspCASLProver.hs /hets/DFOL/Comorphism.hs /hets/Fpl/Sign.hs /hets/Maude/PreComorphism.hs /hets/VSE/Ana.hs /hets/VSE/ToSExpr.hs /hets/utils/InlineAxioms/InlineAxioms.hs
2a5b885d9350ec6dd8bc4992ee91d2f68aa592f4	06-Jul-2011	Christian Maeder <Christian.Maeder@dfki.de>	refactored CASL's op and pred maps git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15456 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/Amalgamability.hs FreeTypes.hs OnePoint.hs TermFormula.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/Freeness.hs /hets/CASL/Monoton.hs /hets/CASL/Morphism.hs /hets/CASL/Overload.hs /hets/CASL/Qualify.hs /hets/CASL/Sign.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToSExpr.hs /hets/CASL_DL/PredefinedCASLAxioms.hs /hets/CASL_DL/PredefinedSign.inline.hs.in /hets/CASL_DL/StatAna.hs /hets/CoCASL/CoCASLSign.hs /hets/Common/Lib/MapSet.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/OWL2CASL.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/SymMapAna.hs /hets/CspCASL/Symbol.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/Comorphism.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/StatAna.hs /hets/Fpl/Sign.hs /hets/Fpl/StatAna.hs /hets/Maude/PreComorphism.hs /hets/Modal/ModalSign.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/VSE/Ana.hs /hets/VSE/ToSExpr.hs /hets/utils/InlineAxioms/InlineAxioms.hs
e00f5b4d89ac027e883461aab6248e33ad10ae8e	18-Feb-2011	Christian Maeder <Christian.Maeder@dfki.de>	extended sort of term computation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14584 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/CASL/Inject.hs /hets/CASL/Monoton.hs /hets/CASL/Overload.hs /hets/CASL/Project.hs /hets/CASL/Sign.hs /hets/CASL/SimplifySen.hs /hets/CASL/StaticAna.hs /hets/CASL_DL/StatAna.hs /hets/CoCASL/StatAna.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/ConstraintCASL/StaticAna.hs /hets/ExtModal/StatAna.hs /hets/Fpl/StatAna.hs /hets/Modal/StatAna.hs /hets/VSE/Ana.hs
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 FreeTypes.hs OnePoint.hs TermFormula.hs 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 /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/HToken.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/ToItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/h2h.hs /hets/Haskell/h2hf.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Interfaces/Process.hs /hets/Interfaces/Utils.hs /hets/Isabelle.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/Isabelle/isa.hs /hets/LF/AS.hs /hets/LF/Analysis.hs /hets/LF/Framework.hs /hets/LF/Logic_LF.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Lottery/Test.hs /hets/Lottery/Zaehler.hs /hets/Maude/AS_Maude.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/Parse.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sentence.hs /hets/Maude/Shellout.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc.hs /hets/OMDoc/ATerm.hs /hets/OMDoc/Base64.hs /hets/OMDoc/CASLDefs.hs /hets/OMDoc/CASLOutput.hs /hets/OMDoc/Container.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/Import.hs /hets/OMDoc/KeyDebug.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/OMDocOutput.hs /hets/OMDoc/OMDocXml.hs /hets/OMDoc/Sentences.hs /hets/OMDoc/Util.hs /hets/OMDoc/XmlHandling.hs /hets/OMDoc/XmlInterface.hs /hets/OWL/AS.hs /hets/OWL/ColimSign.hs /hets/OWL/ColonKeywords.hs /hets/OWL/Conservativity.hs /hets/OWL/Keywords.hs /hets/OWL/Logic_OWL.hs /hets/OWL/Morphism.hs /hets/OWL/Namespace.hs /hets/OWL/OWLAnalysis.hs /hets/OWL/OWLParser.hs /hets/OWL/Parse.hs /hets/OWL/Print.hs /hets/OWL/ProveFact.hs /hets/OWL/ProvePellet.hs /hets/OWL/ReadWrite.der.hs /hets/OWL/Sign.hs /hets/OWL/StaticAnalysis.hs /hets/OWL/StructureAnalysis.hs /hets/OWL/Sublogic.hs /hets/OWL/Taxonomy.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs /hets/PGIP/ParseProofScript.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/PGIP/tests/Server.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/PathifyNames.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/VSE.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/ChildMessage.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Conversions.hs /hets/Propositional/Fold.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/Prop2CNF.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Analysis.hs /hets/QBF/Logic_QBF.hs /hets/QBF/Morphism.hs /hets/QBF/Parse_AS_Basic.hs /hets/QBF/ProveDepQBF.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QBF/Tools.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/Logic_Rel.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Search/CASL/FormulaWrapper.hs /hets/Search/CASL/NormalizationDB.hs /hets/Search/CASL/Retrieval.hs /hets/Search/Common/ACINormalization.hs /hets/Search/Common/ACStandardization.hs /hets/Search/Common/BooleanRing.hs /hets/Search/Common/CNF.hs /hets/Search/Common/Data.hs /hets/Search/Common/Intersection.hs /hets/Search/Common/Normalization.hs /hets/Search/Common/Select.hs /hets/Search/Config.hs /hets/Search/DB/Connection.hs /hets/Search/DB/DBSpec.hs /hets/Search/DB/Export.hs /hets/Search/DB/FormulaDB.hs /hets/Search/DB/FormulaDB/Inclusion.hs /hets/Search/DB/FormulaDB/Profile.hs /hets/Search/DB/FormulaDB/Statistics.hs /hets/Search/DB/MPTP.hs /hets/Search/DB/MPTP/Inclusion.hs /hets/Search/DB/MPTP/Profile.hs /hets/Search/DB/MPTP/Statistics.hs /hets/Search/SPASS/DB.hs /hets/Search/SPASS/DFGParser.hs /hets/Search/SPASS/FormulaWrapper.hs /hets/Search/SPASS/InterActiveTesting.hs /hets/Search/SPASS/Intersection.hs /hets/Search/SPASS/ReusedTheorems.hs /hets/Search/SPASS/Sign.hs /hets/Search/SPASS/UnWrap.hs /hets/Search/Utils/List.hs /hets/Search/Utils/ListSet.hs /hets/Search/Utils/SetMap.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ParseTPTP.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHyperHyper.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/dfg.hs /hets/SoftFOL/tests/GUI_tests.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/SoftFOL/tptp.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/GTheory.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs /hets/Static/test/TestDGTrans.hs /hets/Syntax/ADoc.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/Syntax/hetpa.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/Test.hs /hets/VSE/Ana.hs /hets/VSE/As.hs /hets/VSE/Fold.hs /hets/VSE/Logic_VSE.hs /hets/VSE/Parse.hs /hets/VSE/Prove.hs /hets/VSE/ToSExpr.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Base64.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/hets.hs /hets/mini/Grothendieck.hs /hets/mini/Logic.hs /hets/mini/Main.hs /hets/mini/Parser.hs /hets/mini/Proof.hs /hets/mini/StaticAnalysis.hs /hets/mini/Structured.hs /hets/test/childProcessTest.hs /hets/utils/DrIFT-src/ChaseImports.hs /hets/utils/DrIFT-src/CommandP.hs /hets/utils/DrIFT-src/DataP.hs /hets/utils/DrIFT-src/ParseLib2.hs /hets/utils/DrIFT-src/RuleUtils.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs /hets/utils/GenerateRules/GenerateRules.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/InlineAxioms/ExtInlineAxioms.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/Setup.hs /hets/utils/appendHaskellPreludeString.hs /hets/utils/createKeywordDecls.hs /hets/utils/itcor/GenItCorrections.hs
b87efd3db0d2dc41615ea28669faf80fc1b48d56	11-Aug-2010	Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de>	Changed haddock headers and inserted empty headers for the ones missing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC.hs /hets/ATC/ATCTest.hs /hets/ATC/ATCTest2.hs /hets/ATC/ExtSign.hs /hets/ATC/Grothendieck.der.hs /hets/ATC/Sml_cats.hs /hets/Adl/As.hs /hets/Adl/Logic_Adl.hs /hets/Adl/Parse.hs /hets/Adl/Print.hs /hets/Adl/Sign.hs /hets/Adl/StatAna.hs /hets/Adl/adl.hs /hets/CASL.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs FreeTypes.hs OnePoint.hs TermFormula.hs 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 /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/HToken.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/ToItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/ProgramaticaPrelude.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/h2h.hs /hets/Haskell/h2hf.hs /hets/Haskell/hana.hs /hets/Haskell/test/HOL/Map2.hs /hets/Haskell/test/HOL/ex_class.hs /hets/Haskell/test/HOL/ex_let.hs /hets/Haskell/test/HOL/ex_list.hs /hets/Haskell/test/HOL/mrec.hs /hets/Haskell/test/HOL/mrec3.hs /hets/Haskell/test/HOL/wcard.hs /hets/Haskell/test/HOLCF/PPrel.hs /hets/Haskell/test/HOLCF/ex_fibon.hs /hets/Haskell/test/HOLCF/ex_mutrec.hs /hets/Haskell/test/HOLCF/incmpl.hs /hets/Haskell/wrap.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Interfaces/Utils.hs /hets/Isabelle.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/Isabelle/isa.hs /hets/LF/AS.hs /hets/LF/Analysis.hs /hets/LF/Framework.hs /hets/LF/Logic_LF.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Lottery/Test.hs /hets/Lottery/Zaehler.hs /hets/Maude/AS_Maude.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/Parse.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sentence.hs /hets/Maude/Shellout.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc.hs /hets/OMDoc/ATerm.hs /hets/OMDoc/Base64.hs /hets/OMDoc/CASLDefs.hs /hets/OMDoc/CASLOutput.hs /hets/OMDoc/Container.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/Import.hs /hets/OMDoc/KeyDebug.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/OMDocOutput.hs /hets/OMDoc/OMDocXml.hs /hets/OMDoc/Sentences.hs /hets/OMDoc/Util.hs /hets/OMDoc/XmlHandling.hs /hets/OMDoc/XmlInterface.hs /hets/OWL/AS.hs /hets/OWL/ColimSign.hs /hets/OWL/ColonKeywords.hs /hets/OWL/Conservativity.hs /hets/OWL/Keywords.hs /hets/OWL/Logic_OWL.hs /hets/OWL/Morphism.hs /hets/OWL/Namespace.hs /hets/OWL/OWLAnalysis.hs /hets/OWL/OWLParser.hs /hets/OWL/Parse.hs /hets/OWL/Print.hs /hets/OWL/ProveFact.hs /hets/OWL/ProvePellet.hs /hets/OWL/ReadWrite.der.hs /hets/OWL/Sign.hs /hets/OWL/StaticAnalysis.hs /hets/OWL/StructureAnalysis.hs /hets/OWL/Sublogic.hs /hets/OWL/Taxonomy.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs /hets/PGIP/ParseProofScript.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/PGIP/tests/Server.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/PathifyNames.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/VSE.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/ChildMessage.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Conversions.hs /hets/Propositional/Fold.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/Prop2CNF.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Analysis.hs /hets/QBF/Logic_QBF.hs /hets/QBF/Morphism.hs /hets/QBF/Parse_AS_Basic.hs /hets/QBF/ProveDepQBF.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QBF/Tools.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/Logic_Rel.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Search/CASL/FormulaWrapper.hs /hets/Search/CASL/NormalizationDB.hs /hets/Search/CASL/Retrieval.hs /hets/Search/Common/ACINormalization.hs /hets/Search/Common/ACStandardization.hs /hets/Search/Common/BooleanRing.hs /hets/Search/Common/CNF.hs /hets/Search/Common/Data.hs /hets/Search/Common/Intersection.hs /hets/Search/Common/Normalization.hs /hets/Search/Common/Select.hs /hets/Search/Config.hs /hets/Search/DB/Connection.hs /hets/Search/DB/DBSpec.hs /hets/Search/DB/Export.hs /hets/Search/DB/FormulaDB.hs /hets/Search/DB/FormulaDB/Inclusion.hs /hets/Search/DB/FormulaDB/Profile.hs /hets/Search/DB/FormulaDB/Statistics.hs /hets/Search/DB/MPTP.hs /hets/Search/DB/MPTP/Inclusion.hs /hets/Search/DB/MPTP/Profile.hs /hets/Search/DB/MPTP/Statistics.hs /hets/Search/SPASS/DB.hs /hets/Search/SPASS/DFGParser.hs /hets/Search/SPASS/FormulaWrapper.hs /hets/Search/SPASS/InterActiveTesting.hs /hets/Search/SPASS/Intersection.hs /hets/Search/SPASS/ReusedTheorems.hs /hets/Search/SPASS/Sign.hs /hets/Search/SPASS/UnWrap.hs /hets/Search/Utils/List.hs /hets/Search/Utils/ListSet.hs /hets/Search/Utils/SetMap.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ParseTPTP.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHyperHyper.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/dfg.hs /hets/SoftFOL/tests/GUI_tests.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/SoftFOL/tptp.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/GTheory.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs /hets/Static/test/TestDGTrans.hs /hets/Syntax/ADoc.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/Syntax/hetpa.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/Test.hs /hets/ToHaskell/test/BoolEx.hascasl.hs /hets/ToHaskell/test/Builtin.hascasl.hs /hets/ToHaskell/test/Expr.hascasl.hs /hets/ToHaskell/test/FiniteSet.hascasl.hs /hets/ToHaskell/test/Foldl.hascasl.hs /hets/ToHaskell/test/ListEx.hascasl.hs /hets/ToHaskell/test/NatEx.hascasl.hs /hets/ToHaskell/test/OpDecls.hascasl.hs /hets/ToHaskell/test/Pair.hascasl.hs /hets/ToHaskell/test/PatternEq.hascasl.hs /hets/ToHaskell/test/Sorting.hascasl.hs /hets/ToHaskell/test/Test.hascasl.hs /hets/VSE/Ana.hs /hets/VSE/As.hs /hets/VSE/Fold.hs /hets/VSE/Logic_VSE.hs /hets/VSE/Parse.hs /hets/VSE/Prove.hs /hets/VSE/ToSExpr.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Base64.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/hets.hs /hets/mini/Grothendieck.hs /hets/mini/Logic.hs /hets/mini/Main.hs /hets/mini/Parser.hs /hets/mini/Proof.hs /hets/mini/StaticAnalysis.hs /hets/mini/Structured.hs /hets/test/Map.hs /hets/test/childProcessTest.hs /hets/utils/DrIFT-src/ChaseImports.hs /hets/utils/DrIFT-src/CommandP.hs /hets/utils/DrIFT-src/DataP.hs /hets/utils/DrIFT-src/ParseLib2.hs /hets/utils/DrIFT-src/RuleUtils.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs /hets/utils/GenerateRules/GenerateRules.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/InlineAxioms/ExtInlineAxioms.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/Setup.hs /hets/utils/appendHaskellPreludeString.hs /hets/utils/createKeywordDecls.hs /hets/utils/itcor/GenItCorrections.hs
05e70c22732cd4e251ef5d7c1c5ef3839c8b772e	05-Jan-2010	Christian Maeder <Christian.Maeder@dfki.de>	removed IO.Unsafe git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12966 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TerminationProof.hs
7ab2df3001654dd1b7a2cfc3da1ccef11c39a503	05-Jan-2010	Christian Maeder <Christian.Maeder@dfki.de>	made conservativity checker go to IO and removed some some IO.Unsafe git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12961 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/Common/Consistency.hs /hets/Interfaces/Utils.hs /hets/OWL/Conservativity.hs /hets/Propositional/Conservativity.hs /hets/Propositional/ProveWithTruthTable.hs
482d08605917ba2e28b6c780d6e405bc97203ccd	02-Oct-2009	Christian Maeder <Christian.Maeder@dfki.de>	moved isUserOrSortGen and refactored checkFreeType git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12571 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
54ea981a0503c396c2923a1c06421c6235baf27f	26-Sep-2009	Christian Maeder <Christian.Maeder@dfki.de>	use a single Conservativity data type git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12527 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/CMDL/ConsCommands.hs /hets/Common/Consistency.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/Interfaces/Utils.hs /hets/Logic/Prover.hs /hets/Makefile /hets/Maude/Maude2DG.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocOutput.hs /hets/OWL/Conservativity.hs /hets/Proofs/Composition.hs /hets/Proofs/Conservativity.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/NormalForm.hs /hets/Propositional/Conservativity.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Static/AnalysisStructured.hs /hets/Static/DevGraph.hs /hets/Static/PrintDevGraph.hs
e92e93922166c81167de83cc7400403c5d9bb26c	02-Sep-2009	Christian Maeder <Christian.Maeder@dfki.de>	added second order quantifiers for CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12398 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/AS_Basic_CASL.der.hs FreeTypes.hs /hets/CASL/Fold.hs /hets/CASL/OMDoc.hs /hets/CASL/ToDoc.hs /hets/CASL/ToSExpr.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/CspCASL/StatAnaCSP.hs /hets/OMDoc/Sentences.hs
addeb8164414bdefad8f4c5b4c5bdb8a45231253	10-Aug-2009	Markus Gross <Markus.Gross@dfki.de>	Reverted qualified imports. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12055 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs OnePoint.hs TermFormula.hs /hets/Proofs/Conservativity.hs
6f449482b2ca9189ac5fe5d3b2e1cb8de6e10cbc	28-Jul-2009	Markus Gross <Markus.Gross@dfki.de>	Code cleanup and imports minimized. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12006 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs OnePoint.hs TermFormula.hs TerminationProof.hs /hets/Proofs/Conservativity.hs
62b75f1eb59332507abf656cb3070e2fe452b1f3	14-Jul-2009	Markus Gross <Markus.Gross@dfki.de>	Code improvements. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11920 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
d758059f59659b6fd17580a66674db14456ee83f	19-May-2009	Dominik Luecke <luecke@informatik.uni-bremen.de>	fixed bug in CASL/CCC/FreeTypes... was wrong application of "return"-statement git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11767 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/OWL/tests/Family.het
3ea9f61d247fa5ab7e245a3438de537a50a994c3	18-May-2009	Markus Gross <Markus.Gross@dfki.de>	Positive theories are conservative. Fixes #279. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11766 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/Interfaces/History.hs
1ed351f2aabfb017a816e621a2113ee28a36d3f2	22-Apr-2009	Markus Gross <Markus.Gross@dfki.de>	Refactored some code piece. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11741 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
9027ffd0bf3d453630f3ea2c80faf629fae26a31	16-Apr-2009	Markus Gross <Markus.Gross@dfki.de>	Improved conservativity output. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11698 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
dbdfd6794f535fd1d7b037fa2d7a5ff46c5e7f52	16-Apr-2009	Markus Gross <Markus.Gross@dfki.de>	Reverted return type refactoring. Now CCC works again. The outer maybe indicates whether a check caused the CCC to stop and display a message. The inner maybe represents the conservativity and obligation values. If the outer maybe is omitted CCC can't distinguish if the conservativity value is Nothing or if a check caused the CCC to stop. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11697 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
95953182ed6163da0c6986195f9c3ab9d72848f0	08-Apr-2009	Markus Gross <Markus.Gross@dfki.de>	Refactored return type. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11670 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
5deed2baec51ddd4c57eea4beedc8452d1a96ce4	06-Apr-2009	Markus Gross <Markus.Gross@dfki.de>	Removed duplicate function. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11652 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
a723f05d73fb1b577e7c4526e22e316394221c9a	06-Apr-2009	Markus Gross <Markus.Gross@dfki.de>	Add proof obligations to dg-node. Change link conservativity value if higher value is determined. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11651 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/Interfaces/Utils.hs
b55468787a8f39b22e1262f7973d39537f092c41	02-Apr-2009	Markus Gross <Markus.Gross@dfki.de>	More detailed conservativity output. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11639 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
8e1091c161dd94c3dfb9c10d3f8a170e80492c0a	25-Mar-2009	Christian Maeder <Christian.Maeder@dfki.de>	removed trailing spaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11587 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TerminationProof.hs /hets/CoCASL/LTS/lts.hs /hets/DFOL/Tests/Test_AS_DFOL.hs
109ae3b4b8d433b77937e6d680b95a986c29077b	07-Feb-2009	Markus Gross <Markus.Gross@dfki.de>	Remove the old sentence from the new one before checking consistency git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11376 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
701678182999be8b274f8ee007050237206939b1	07-Feb-2009	Markus Gross <Markus.Gross@dfki.de>	Changed maintainer; some coding style changes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11375 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
9cf87d8368eb34589f16f128cc9c9a66548b75c1	02-Feb-2009	Markus Gross <Markus.Gross@dfki.de>	small code formatting changes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11346 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs OnePoint.hs TermFormula.hs TerminationProof.hs
ca8196d5aa4aa4541e8251a9b6dca23ca9c81ac6	26-Jan-2009	Markus Gross <Markus.Gross@dfki.de>	more refactoring git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11318 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs OnePoint.hs TermFormula.hs TerminationProof.hs
2bc1aa06b6aad3b91a42d8da595052f6a43f9f3f	23-Jan-2009	Christian Maeder <Christian.Maeder@dfki.de>	refactored further git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11313 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
475f17c9988a758a35c35ff26f7beaaf5d4c8125	23-Jan-2009	Markus Gross <Markus.Gross@dfki.de>	Some more code improvements git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11312 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/Utils.hs
54996e35b32602061697fff00e9c9f3014d06510	23-Jan-2009	Christian Maeder <Christian.Maeder@dfki.de>	refactored getOverlapQuery git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11308 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
42e4adade2e4c633a74c5403b33e460499061d95	23-Jan-2009	Markus Gross <Markus.Gross@dfki.de>	Code improvements using hlint git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11305 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
b2686b2e4779d302fd5e7ebfd20126511613dfe7	23-Jan-2009	Markus Gross <Markus.Gross@dfki.de>	refactored ccc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11304 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
bbfb86a3da290a3ffa58aa985ea8509302a3c16b	03-Jan-2009	Christian Maeder <Christian.Maeder@dfki.de>	removed warnings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11207 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
22eea35d0effc6582b2951a28b5240fa7a82f3df	03-Jan-2009	Christian Maeder <Christian.Maeder@dfki.de>	removed duplicate code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11203 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs OnePoint.hs SignFuns.hs /hets/CASL/Morphism.hs /hets/CASL/Qualify.hs /hets/CASL/Sign.hs /hets/Comorphisms/CASL2VSERefine.hs
ecd98975b8a8ab5a7bc075562bdab51cf47d2a90	22-Sep-2008	Christian Maeder <Christian.Maeder@dfki.de>	removed CASL dependency git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10707 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/Common/Consistency.hs /hets/GUI/GraphLogic.hs /hets/Logic/Logic.hs /hets/PGIP/ConsCommands.hs
9bfdf40cbc2c61dd8281904a03ac598d51e0a872	22-Sep-2008	Christian Maeder <Christian.Maeder@dfki.de>	removed Simple_id constructor git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10704 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/Sml_cats.hs /hets/CASL/AS_Basic_CASL.der.hs FreeTypes.hs TerminationProof.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/Fold.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Overload.hs /hets/CASL/QuickCheck.hs /hets/CASL/ToDoc.hs /hets/CASL/ToSExpr.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/DL2CASL_DL.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/Sentences.hs
34eed10ffe33eb2dd43da9fccb716fc302f8b7dd	27-Aug-2008	Christian Maeder <Christian.Maeder@dfki.de>	added showConsistencyStatus function git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10593 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
9aa022d4a305b108d8501aa8c303317c7631305b	01-Aug-2008	Christian Maeder <Christian.Maeder@dfki.de>	removed more than two consecutive blank lines git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10428 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/CASL/QuickCheck.hs /hets/Common/Keywords.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/GUI/ProofManagement.hs /hets/Lottery/Zaehler.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/OMDocOutput.hs /hets/OWL/PrintRDF.hs /hets/PGIP/ConsCommands.hs /hets/PGIP/DataTypes.hs /hets/PGIP/DataTypesUtils.hs /hets/PGIP/DgCommands.hs /hets/PGIP/FileInterface.hs /hets/PGIP/Interface.hs /hets/PGIP/ProveCommands.hs /hets/PGIP/ProveConsistency.hs /hets/PGIP/Shell.hs /hets/PGIP/StdInterface.hs /hets/PGIP/Utils.hs /hets/Proofs/AbstractState.hs /hets/Proofs/BatchProcessing.hs
dd5e505efb3641bf74ade0ba3adabf4ceaf94e60	01-Aug-2008	Christian Maeder <Christian.Maeder@dfki.de>	removed trailing blank lines git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10427 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/Amalgamability.hs FreeTypes.hs SignFuns.hs TermFormula.hs TerminationProof.hs /hets/CASL/Kif.hs /hets/CASL/Quantification.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/StatAna.hs /hets/Common/ATerm/ATermDiffMain.hs /hets/Common/ATerm/Unshared.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/CaslLanguage.hs /hets/Common/ConvertLiteral.hs /hets/Common/GlobalAnnotations.hs /hets/Common/Lib/RelCheck.hs /hets/Common/SetColimit.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/HasCASL2PCoClTyConsHOL.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/DL/AS.der.hs /hets/DL/DLKeywords.hs /hets/GMP/Proof.hs /hets/GUI/ConsistencyChecker.hs /hets/GUI/DGTranslation.hs /hets/GUI/GraphDisplay.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/hacapa.hs /hets/Haskell/CreateModules.hs /hets/Haskell/ProgramaticaPrelude.hs /hets/Haskell/hana.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Lottery/Test.hs /hets/Lottery/Zaehler.hs /hets/Modal/AS_Modal.der.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc/Container.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/XmlHandling.hs /hets/OWL/AS.hs /hets/OWL/Namespace.hs /hets/OWL/PrintOWL.hs /hets/OWL/PrintRDF.hs /hets/OWL/Sign.hs /hets/PGIP/Commands.hs /hets/PGIP/ConsCommands.hs /hets/PGIP/DataTypes.hs /hets/PGIP/DataTypesUtils.hs /hets/PGIP/DgCommands.hs /hets/PGIP/FileInterface.hs /hets/PGIP/InfoCommands.hs /hets/PGIP/Interface.hs /hets/PGIP/ProveCommands.hs /hets/PGIP/Shell.hs /hets/PGIP/StdInterface.hs /hets/PGIP/StringInterface.hs /hets/PGIP/Utils.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/Proofs/AbstractState.hs /hets/Proofs/InferBasic.hs /hets/Proofs/TheoremHideShift.hs /hets/Propositional/Analysis.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/dfg.hs /hets/Static/ArchDiagram.hs /hets/Static/WACocone.hs /hets/Taxonomy/OntoParser.hs /hets/mini/Logic.hs /hets/mini/StaticAnalysis.hs /hets/mini/Structured.hs /hets/test/childProcessTest.hs
5deaf862dcd5d24363857e4e995761769336eb20	01-Aug-2008	Christian Maeder <Christian.Maeder@dfki.de>	removed trailing spaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10425 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs /hets/Common/Lib/RelCheck.hs
61e38a4f194d3adc66646326c938eb9263a2f39b	10-Jul-2008	Christian Maeder <Christian.Maeder@dfki.de>	renamed functions over Range from Pos to Range git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10299 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/CASL/Formula.hs /hets/CASL/OpItem.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/SortItem.hs /hets/CASL/SymbolParser.hs /hets/CoCASL/Parse_AS.hs /hets/Common/AnnoState.hs /hets/Common/Id.hs /hets/Common/Token.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/HasCASL/As.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/TypeMixAna.hs /hets/Modal/Parse_AS.hs /hets/Propositional/Parse_AS_Basic.hs /hets/RelationalScheme/ParseRS.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/VSE/Parse.hs
0ec5996b5c8c31f35cd3acd8cf2b8cb6b1eea354	21-May-2008	Mingyi Liu <xinga@tzi.de>	renaming is conservative git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10015 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
542cf2bcd5e1766ec5977ea5b43baff253bfeff9	05-May-2008	Mingyi Liu <xinga@tzi.de>	conservative status git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9991 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/GUI/GraphLogic.hs /hets/Logic/Logic.hs
eeb894cbf2fb8824a52f0265024b3080d499ea71	05-May-2008	Mingyi Liu <xinga@tzi.de>	sufficient completeness git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9990 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
b69fd089e78c25cece3cf1e13834923b107ed965	30-Apr-2008	Mingyi Liu <xinga@tzi.de>	modified for etype git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9989 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
876bd2c70a93981cc80f8376284616bce4a0fefc	11-Feb-2008	Christian Maeder <Christian.Maeder@dfki.de>	deleted trailing white spaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9543 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs OnePoint.hs SignFuns.hs TermFormula.hs TerminationProof.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/Common/Keywords.hs /hets/Comorphisms/OWL2CASL_DL.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/StatAnaCSP.hs /hets/GUI/GtkLinkTypeChoice.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/SoftFOL/ProveDarwin.hs /hets/Static/AnalysisLibrary.hs
129f50b278c2d4942186d9947264aadbbfe2901c	03-Feb-2008	Mingyi Liu <xinga@tzi.de>	removed trace and added getTemporaryDirectory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9513 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TerminationProof.hs
2d5366b63639aebbea53d81aa70b18e6d07bc8f9	09-Nov-2007	Mingyi Liu <xinga@tzi.de>	modified termination proof git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9153 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs TerminationProof.hs
492287e5f5e91783ee5e169f773f28cafe93a3a9	30-Oct-2007	Mingyi Liu <xinga@tzi.de>	new version for termination proof git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9108 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs TerminationProof.hs
80441674eda4e7bf07f216790629ca68558011cc	25-Oct-2007	Mingyi Liu <xinga@tzi.de>	added quantifier to proof obligation for patterns overlap git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9086 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
a1e89617afa7366f5a5319b13833b1f08bcb72f0	24-Oct-2007	Mingyi Liu <xinga@tzi.de>	modified check for patterns overlap git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9079 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
ae1a23353330c7438cd1114e3bade7782999db93	07-Oct-2007	Mingyi Liu <xinga@tzi.de>	improve the check for partial function git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8998 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
3be720ac824c060b6e18050b1beb2c8e23ecfb86	04-Oct-2007	Mingyi Liu <xinga@tzi.de>	no variable occurs twice in a leading term or a leading predication git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8987 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
7d11701c9906af59055b4654ce752c27c4e4bc53	03-Oct-2007	Mingyi Liu <xinga@tzi.de>	a leading term or predication consists of variables and constructors only git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8986 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
5dc710d31ab42ee0eaec4689c7797cb7a43d190c	03-Oct-2007	Mingyi Liu <xinga@tzi.de>	a leading term or predicationconsists of variables and constructors only git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8985 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
619b330c90b31f5f269c0bbecfee7c7380bdc40b	25-Sep-2007	Mingyi Liu <xinga@tzi.de>	check for partial function git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8909 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs TerminationProof.hs
5626c99cff8879db921e0181123b429fa53dd257	04-Sep-2007	Mingyi Liu <xinga@tzi.de>	only a declaration of new sort is conservative git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8784 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
b4aedc585b6f8c492f9c640e0e7087778b9d6bf9	29-Aug-2007	Mingyi Liu <xinga@tzi.de>	git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8733 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
3f540ec9f3d4356f7fe85a699f21bfe7f0e9e70e	29-Aug-2007	Mingyi Liu <xinga@tzi.de>	git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8732 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs TerminationProof.hs
2eeec5240b424984e3ee26296da1eeab6c6d739e	23-Aug-2007	Christian Maeder <Christian.Maeder@dfki.de>	replaced @tzi with @informatik.uni-bremen git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8698 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/Amalgamability.hs FreeTypes.hs OnePoint.hs SignFuns.hs TermFormula.hs TerminationProof.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/CompositionTable/ParseSparQ.hs /hets/CASL/Induction.hs /hets/CASL/Logic_CASL.hs /hets/CASL/Taxonomy.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/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/StatAna.hs /hets/Common/Amalgamate.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCFOL2IsabelleHOL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/Haskell2IsabelleHOLCF.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/Prop2CASL.hs /hets/ConstraintCASL/AS_ConstraintCASL.der.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/StaticAna.hs /hets/GUI/ConsistencyChecker.hs /hets/GUI/DGTranslation.hs /hets/GUI/GenericATP.hs /hets/GUI/GenericATPState.hs /hets/GUI/GraphDisplay.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/GUI/GraphTypes.hs /hets/GUI/PrintUtils.hs /hets/GUI/ProofDetails.hs /hets/GUI/ShowLibGraph.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/ModalSign.hs /hets/OMDoc/ATerm.hs /hets/OMDoc/Container.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/KeyDebug.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocExt.der.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/OMDocOutput.hs /hets/OMDoc/OMDocXml.hs /hets/OMDoc/Util.hs /hets/OMDoc/XmlHandling.hs /hets/Proofs/Automatic.hs /hets/Proofs/Composition.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/Conversions.hs /hets/Propositional/InverseAnalysis.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/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/Prove.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHelp.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/tests/Sokrates.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGTranslation.hs /hets/Static/DotGraph.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs
f170854df8c4520ec8c707322e1a0ec1d134756a	14-Aug-2007	Mingyi Liu <xinga@tzi.de>	import List(nub), delete everyOnce git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8603 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs TerminationProof.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 FreeTypes.hs OnePoint.hs SignFuns.hs 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 /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/Le.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/Haskell/BaseATC.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Translate.hs /hets/Isabelle/isa.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Makefile /hets/Modal/ModalSign.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/OMDoc/Container.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/HetsInterface.hs /hets/OMDoc/Integrate.hs /hets/OMDoc/KeyDebug.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocOutput.hs /hets/OWL_DL/AS.hs /hets/OWL_DL/Namespace.hs /hets/OWL_DL/OWLAnalysis.hs /hets/OWL_DL/Print.hs /hets/OWL_DL/ReadWrite.der.hs /hets/OWL_DL/Sign.hs /hets/OWL_DL/StaticAna.hs /hets/OWL_DL/StructureAna.hs /hets/OWL_DL/ToHaskellAS.hs /hets/PGIP/Common.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/GUIState.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Propositional/Morphism.hs /hets/SPASS/Conversions.hs /hets/SPASS/Sign.hs /hets/SPASS/Translate.hs /hets/SPASS/tests/CMDL_tests.hs /hets/SPASS/tests/GUI_tests.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/PrintDevGraph.hs /hets/Static/test/Main.hs /hets/Static/test/TestDGTrans.hs /hets/Taxonomy/AbstractGraphView.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Test.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/Omdoc/HetsDataTypes.hs /hets/utils/Omdoc/HetsInterface.hs /hets/utils/Omdoc/Integrate.hs /hets/utils/itcor/GenItCorrections.hs
f4470d285765580c53309826fd404b438cc29b9b	09-Jan-2007	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7293 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs TerminationProof.hs
5f1f8bcdb5a2bf093449fc429c0a7a26ffdc076a	07-Jan-2007	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7291 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
50a955458e584909d6158170154dd151e183c0cc	06-Jan-2007	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7290 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
e6d40133bc9f858308654afb1262b8b483ec5922	01-Jan-2007	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	added Description header git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7287 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs FreeTypes.hs OnePoint.hs SignFuns.hs TermFormula.hs TerminationProof.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/Fold.hs /hets/CASL/Formula.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/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/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/Utils.hs /hets/Common/AS_Annotation.der.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/Anno_Parser.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/DefaultMorphism.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/DynamicUtils.hs /hets/Common/Earley.hs /hets/Common/GlobalAnnotations.hs /hets/Common/Id.hs /hets/Common/InjMap.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lexer.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/Map.hs /hets/Common/Lib/Pretty.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/Set.hs /hets/Common/Lib/State.hs /hets/Common/OrderedMap.hs /hets/Common/Partial.hs /hets/Common/Prec.hs /hets/Common/PrintLaTeX.hs /hets/Common/ProofUtils.hs /hets/Common/Result.hs /hets/Common/ResultT.hs /hets/Common/RunParsers.hs /hets/Common/SimpPretty.hs /hets/Common/Taxonomy.hs /hets/Common/Token.hs /hets/Common/Trace.hs /hets/Common/Utils.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/PGIP/Command_Parser.hs /hets/PGIP/Commands.hs /hets/PGIP/Common.hs /hets/PGIP/Utils.hs /hets/Proofs/Automatic.hs /hets/Proofs/Composition.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs
0095c7efbddd0ffeed6aaf8ec015346be161d819	01-Jan-2007	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	added Description header git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7284 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs FreeTypes.hs OnePoint.hs SignFuns.hs TermFormula.hs TerminationProof.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/Fold.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/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/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/Utils.hs /hets/CASL/capa.hs /hets/Logic.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/LogicStructured.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs
ed03dcc03314f731898489cfbbabe67605a77e85	20-Dec-2006	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7279 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
608e86854319053cc3f28ed93fccd500bb2dd6e2	04-Oct-2006	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7005 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
fc1fbf1aafe19687927b94718cb7fb53e15e00cc	26-Sep-2006	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6978 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
d0a6b03937d96cb20634c8131a6ed0ca2f5a428d	10-Sep-2006	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6925 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
47d6bc7bc9a708427f96be8d805f712697ad3d9e	30-Jun-2006	Christian Maeder <Christian.Maeder@dfki.de>	phased out PPUtils, used showDoc for showPretty, and moved instances and utilities to DocUtils git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6552 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TerminationProof.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/ToDoc.hs /hets/COL/Print_AS.hs /hets/CoCASL/Print_AS.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/LaTeX_AS_Annotation.hs /hets/Common/PPUtils.hs /hets/Common/Print_AS_Annotation.hs /hets/Common/Result.hs /hets/Driver/WriteFn.hs /hets/HasCASL/PrintAs.hs /hets/Isabelle/IsaPrint.hs /hets/Modal/Print_AS.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/Print_AS_Architecture.hs
cd2265c1c7279c901e34383275e0ca44a11d5d6c	29-May-2006	Mingyi Liu <xinga@tzi.de>	aprove with trs input git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6395 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs TerminationProof.hs
d22e7ef710975951a551545192daf7ef3a94bd65	10-Apr-2006	Mingyi Liu <xinga@tzi.de>	remove recursive import git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6186 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs FreeTypes.hs-boot TerminationProof.hs /hets/CASL/Logic_CASL.hs
8f7f6487569be078343277fe3f04901ae072b1f2	19-Mar-2006	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6056 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
c4cd5501ab6853608f700a2765a73ae16261f96c	14-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	check for programatica git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5992 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs FreeTypes.hs-boot
71784e3f93bc9b316692af41c73cfc240287c7f5	13-Mar-2006	Mingyi Liu <xinga@tzi.de>	aprove termination proof git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5979 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
f955439310a3bdfccb2543de3b9bd29480e1033f	19-Dec-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5542 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs TerminationProof.hs
e3269e9b66b85f91427f9be8405c5a213c88de37	22-Nov-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5441 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TerminationProof.hs
be2ce59898c3fecd3a52e981e57b553c54979bf8	01-Nov-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5329 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TerminationProof.hs
820836d665a2c93559f2db2e94b613c451d77390	30-Oct-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5315 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0	29-Sep-2005	Christian Maeder <Christian.Maeder@dfki.de>	expanded tabs to spaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5106 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/ATCTest.hs /hets/ATC/ATCTest2.hs /hets/ATC/DevGraph.der.hs /hets/CASL/AS_Basic_CASL.der.hs FreeTypes.hs OnePoint.hs SignFuns.hs TermFormula.hs TerminationProof.hs /hets/CASL/CompositionTable.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/Formula.hs /hets/CASL/LaTeX_AS_Basic.hs /hets/CASL/LaTeX_CASL.hs /hets/CASL/LiteralFuns.hs /hets/CASL/Logic_CASL.hs /hets/CASL/OpItem.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/Quantification.hs /hets/CASL/SortItem.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/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/LaTeX_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ATermLibTest.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/ATerm/Lib.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/DefaultMorphism.hs /hets/Common/GlobalAnnotations.hs /hets/Common/LaTeX_AS_Annotation.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_utils.hs /hets/Common/Lib/Map.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/Set.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/RunParsers.hs /hets/Common/SimpPretty.hs /hets/Common/Token.hs /hets/Common/annos.hs /hets/Common/test_parser.hs /hets/Comorphisms.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/CspCASL.hs /hets/CspCASL/AS_CSP_CASL.hs /hets/CspCASL/CCKeywords.hs /hets/CspCASL/LaTeX_AS_CSP_CASL.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Main.hs /hets/CspCASL/Parse_AS_CSP_CASL.hs /hets/CspCASL/Print_AS_CSP_CASL.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/print_csp.hs /hets/Driver.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/GUI.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/GUI/HTkUtils.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/Taxonomy.hs /hets/GUI/WebInterface.hs /hets/GUI/hets_cgi.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Hatchet/HaskellUtils.hs /hets/Hatchet/HatAna.hs /hets/Hatchet/HatParser.hs /hets/Hatchet/Logic_Hatchet.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Lottery/Test.hs /hets/Lottery/Zaehler.hs /hets/Modal.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/LaTeX_Modal.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/OWL_DL/Logic_OWL_DL.hs /hets/OWL_DL/Namespace.hs /hets/OWL_DL/OWLAnalysis.hs /hets/OWL_DL/Parser.hs /hets/OWL_DL/Print.hs /hets/OWL_DL/ReadWrite.hs /hets/OWL_DL/Sign.hs /hets/OWL_DL/StaticAna.hs /hets/OWL_DL/StructureAna.hs /hets/OWL_DL/ToHaskellAS.hs /hets/Proofs/Composition.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/SPASS/Logic_SPASS.hs /hets/SPASS/Prove.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/Syntax/ADoc.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_Library.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Print_HetCASL.hs /hets/Taxonomy/AbstractGraphView.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/ToHaskell/h2h.hs /hets/ToHaskell/h2hf.hs /hets/hets.hs
6d2309933b2046cbbe6d059e9393fa8c54271f51	21-Sep-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5037 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs
00c293f39ea1777bf7f682398237a2aba8d155d3	07-Sep-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4999 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs SignFuns.hs TermFormula.hs TerminationProof.hs
9af1cee46dd16ba0c55a904a9d21ee2200bca2ae	31-Aug-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4997 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs TermFormula.hs TerminationProof.hs
11ad31501c7da6705bba971856277d37b6f46dc7	23-Aug-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4970 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
283ce2f3c6ef603ece51e05f59cbf6c047f29aae	22-Aug-2005	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	typo git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4958 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
d90ffe8e3ed74f126b5f2d7045ea0192f2c37bb8	18-Aug-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4944 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
33482248bf0c7942be2513fd917d0f263e344424	17-Aug-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4931 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
af16ff8adfca2970ad6d69d1d43803e9817bd006	10-Aug-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4892 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
08b3ef56eade586a17f24e7ab94cf6e90e7b6817	03-Aug-2005	Christian Maeder <Christian.Maeder@dfki.de>	changed imports to hierarchical names git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4846 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
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 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 /hets/HasCASL/As.der.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/HToken.hs /hets/HasCASL/LaTeX_HasCASL.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/Haskell/HatAna.hs /hets/Isabelle/IsaProve.hs /hets/Logic/Languages.hs /hets/Logic/Logic.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Parse_AS.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/genTransMFormFunc.pl
16fafb870769a9c3455dac805a04400733dfc326	05-Jul-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4555 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
ecf221d444fcb7feb42665b76c4ef476f9be93ad	29-Jun-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4524 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
744ca62da9627b7d90f077976c1bcfb08d1d943d	20-Jun-2005	Christian Maeder <Christian.Maeder@dfki.de>	removed #endif for haddock-0.7 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4467 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
97fe77d469571a5879417dc3e0fe836e15c5880d	20-Jun-2005	Christian Maeder <Christian.Maeder@dfki.de>	removed -cpp stuff for haddock-0.7 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4466 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
a407c67a77795f6a996cd613a120c63bd7d339ed	19-Jun-2005	Mingyi Liu <xinga@tzi.de>	remove ChildProcess git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4464 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.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 FreeTypes.hs OnePoint.hs 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 /hets/HasCASL/As.der.hs /hets/HasCASL/AsToIds.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/ClassDecl.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/HToken.hs /hets/HasCASL/LaTeX_HasCASL.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/Unify.hs /hets/HasCASL/UniqueId.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell.hs /hets/Haskell/BaseATC.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Hatchet/Docs.hs /hets/Haskell/Hatchet/FiniteMaps.hs /hets/Haskell/Hatchet/HsLexer.hs /hets/Haskell/Hatchet/TIHetsModule.hs /hets/Haskell/Hatchet/TIPhase.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Hatchet/ExtHaskellCvrt.hs /hets/Hatchet/HaskellUtils.hs /hets/Hatchet/HatAna.hs /hets/Hatchet/HatParser.hs /hets/Hatchet/Logic_Hatchet.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/CreateThy.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/Translate.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/LaTeX_Grothendieck.hs /hets/Logic/Languages.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/LaTeX_Modal.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/OWL_DL/AS.hs /hets/OWL_DL/Parser.hs /hets/OWL_DL/ReadWrite.hs /hets/OWL_DL/Sign.hs /hets/OWL_DL/ToHaskellAS.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/Proofs.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/SPASS/Conversions.hs /hets/SPASS/Logic_SPASS.hs /hets/SPASS/Print.hs /hets/SPASS/Prove.hs /hets/SPASS/Sign.hs /hets/SPASS/tests/Sokrates.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/LogicStructured.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/GlobalLibraryAnnotations.hs /hets/Syntax/LaTeX_AS_Architecture.hs /hets/Syntax/LaTeX_AS_Library.hs /hets/Syntax/LaTeX_AS_Structured.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/Print_HetCASL.hs /hets/Taxonomy/AbstractGraphView.hs /hets/ToHaskell/h2h.hs /hets/ToHaskell/h2hf.hs /hets/hets.hs /hets/test/childProcessTest.hs /hets/utils/GenerateRules/GenerateRules.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/appendHaskellPreludeString.hs
5d148fd15447a3a1389324ed0d8edee7c8336713	09-Jun-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4401 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
92583bdb8a0d7d8470a3316d5fc5967c8d352597	09-Jun-2005	Mingyi Liu <xinga@tzi.de>	Format2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4400 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
1dd6e65397d3b96b84712f413b6238304abaaff9	16-May-2005	Mingyi Liu <xinga@tzi.de>	old sorts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4281 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.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 FreeTypes.hs OnePoint.hs 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 /hets/HasCASL/AsToIds.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/LaTeX_HasCASL.hs /hets/HasCASL/Le.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/Unify.hs /hets/Haskell/HatAna.hs /hets/Isabelle/IsaPrint.hs /hets/Logic/Comorphism.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Modal/ModalSign.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Static/AnalysisStructured.hs
964cfcffe5fc66e9d36e7a1ddcef1d435b028255	10-May-2005	Mingyi Liu <xinga@tzi.de>	format git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4245 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
b645cf3dc1e449038ed291bbd11fcc6e02b2fc7f	09-May-2005	Christian Maeder <Christian.Maeder@dfki.de>	changed all position infos to [Pos] git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4224 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/Sml_cats.hs FreeTypes.hs /hets/CASL/Formula.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/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.sentences.output /hets/CASL/test/BasicSpec.signature.output /hets/CASL/test/Formula.casl.asMixfixFormula.output /hets/CASL/test/Terms.casl.asMixfixTerms.output /hets/CASL/test/WrongMixfixTerms.casl.output /hets/CoCASL/Parse_AS.hs /hets/CoCASL/StatAna.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/ConvertLiteral.hs /hets/Common/Earley.hs /hets/Common/Id.hs /hets/Common/Lexer.hs /hets/Common/Result.hs /hets/Common/test/Annotations.casl.global.output /hets/Comorphisms/HasCASL2Haskell.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/test/AsPattern.hascasl.output /hets/HasCASL/test/B1.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/CMonad.hascasl.output /hets/HasCASL/test/Constrain.hascasl.output /hets/HasCASL/test/Foldl.hascasl.output /hets/HasCASL/test/Graphs.hascasl.output /hets/HasCASL/test/Lazy.hascasl.output /hets/HasCASL/test/ListEx.hascasl.output /hets/HasCASL/test/MixfixFormula.casl.output /hets/HasCASL/test/MixfixTerms.casl.output /hets/HasCASL/test/OpDecls.hascasl.output /hets/HasCASL/test/OpWithInst.hascasl.output /hets/HasCASL/test/Pair.hascasl.output /hets/HasCASL/test/PatternEq.hascasl.output /hets/HasCASL/test/PetriSystemCategory.hascasl.output /hets/HasCASL/test/PlainTypes.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/WrongMixfixTerms.hascasl.output /hets/HasCASL/test/XInternal.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/HasCASL/test/ZMapArgs.hascasl.output /hets/Haskell/HatAna.hs /hets/Logic/Languages.hs /hets/Modal/Parse_AS.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/ToHaskell/TranslateAna.hs /hets/version_nr
c64d33a7fbeae730cbe65193fe3cc24e7aa1ddd6	09-May-2005	Christian Maeder <Christian.Maeder@dfki.de>	changed PosItem and ShATermConversion instance generation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4217 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/Graph.header.hs /hets/ATC/Grothendieck.hs /hets/ATC/Haskell.header.hs /hets/ATC/Hatchet.header.hs /hets/ATC/Proofs.header.hs /hets/ATC/Sml_cats.hs FreeTypes.hs /hets/CASL/StaticAna.hs /hets/Common/ATerm/AbstractSyntax.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/ATerm/Conversion.hs /hets/Common/ATerm/Lib.hs /hets/Common/DefaultMorphism.hs /hets/Common/Id.hs /hets/Common/Result.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/test/Alias.hascasl.output /hets/HasCASL/test/AsPattern.hascasl.output /hets/HasCASL/test/B1.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/CMonad.hascasl.output /hets/HasCASL/test/Constrain.hascasl.output /hets/HasCASL/test/Foldl.hascasl.output /hets/HasCASL/test/Graphs.hascasl.output /hets/HasCASL/test/Lazy.hascasl.output /hets/HasCASL/test/ListEx.hascasl.output /hets/HasCASL/test/MixfixFormula.casl.output /hets/HasCASL/test/MixfixTerms.casl.output /hets/HasCASL/test/OpDecls.hascasl.output /hets/HasCASL/test/OpWithInst.hascasl.output /hets/HasCASL/test/Pair.hascasl.output /hets/HasCASL/test/PatternEq.hascasl.output /hets/HasCASL/test/PetriSystemCategory.hascasl.output /hets/HasCASL/test/PlainTypes.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/WrongMixfixTerms.hascasl.output /hets/HasCASL/test/XInternal.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/HasCASL/test/ZMapArgs.hascasl.output /hets/Logic/Logic.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs
788dbe9bcc37c06110fdb89a297a5fae397972b9	03-May-2005	Christian Maeder <Christian.Maeder@dfki.de>	haddockified git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4178 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
32e9dffa8c9e3195c1a7e6cc9801d202c40d8c8b	02-May-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4170 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
7e00c2ac687efe457a416478e229278f24dfb74a	22-Apr-2005	Christian Maeder <Christian.Maeder@dfki.de>	commented out unused IsaProve import git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4112 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
f7d2e793728bbb7fd185e027eb9dfd7b9dd11c21	15-Feb-2005	Christian Maeder <Christian.Maeder@dfki.de>	removed duplicate code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3801 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/Sml_cats.hs /hets/CASL/AS_Basic_CASL.der.hs FreeTypes.hs OnePoint.hs SignFuns.hs /hets/CASL/Formula.hs /hets/CASL/LaTeX_AS_Basic.hs /hets/CASL/Logic_CASL.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolParser.hs /hets/CASL/test/WrongMixfixTerms.casl.output /hets/CoCASL/AS_CoCASL.der.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/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2PCFOL.inline.hs /hets/Comorphisms/CoCASL2IsabelleHOL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/LaTeX_Modal.hs /hets/Modal/Logic_Modal.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs
7a927fb4bfee79172e9d96fa61543210c2ce14ba	13-Jan-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3665 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
82b43602cc49a0f8ba1f6d446405794854a430bb	12-Jan-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3664 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
9233d3b70e56bd1bdc4d7d5da37340f7b1d62d8d	07-Jan-2005	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	improved error messages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3634 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
a79216402c051ec1d36215d40fad653ef1d4bd70	06-Jan-2005	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3625 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
629ca318f5a81a90b27034c638c46bdafda18108	23-Dec-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3594 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
c3136bd8dbe6009c29af4ed61b186aeb6dbca3f7	21-Dec-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3583 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
a3284477bdc89898cebc3a80607b0a9af9210ee3	21-Dec-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3582 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
6d12512eb5ce2f1f3d0ea2ac6d01e81fd76c85d9	12-Dec-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3555 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs SignFuns.hs
18159a4c455b9b88ef9d1e7ca26fd3bf71242268	08-Dec-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3537 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
55aa45c342b6114c323c852a73c5bb43b1aa7547	05-Dec-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3522 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
51f8f165c5e435794faaa163b396743a2696b918	01-Dec-2004	Christian Maeder <Christian.Maeder@dfki.de>	removed non-haddock comment git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3501 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
dd234c216ac3ed24e65ef59acfcd12d8126d2761	28-Nov-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3486 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
931f6639c35020935dc73ef6390b07e847366768	26-Nov-2004	Christian Maeder <Christian.Maeder@dfki.de>	added newline at end of file git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3480 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
9da540547f7674c2e954fd58c4ba5b9493d32fd5	21-Nov-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3453 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
b69bee913d051ce634f104c1e4a4dbbd9cb27124	18-Nov-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3446 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
33e953acfb579dc5624dabac191bab2840004357	04-Nov-2004	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	todo git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3375 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
4c6568cafc9ee27bb6e1d436614743b4e0885377	02-Nov-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3368 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
29f8e05e3ac7eb8e86c5a8f43e8deae1fc3b3237	27-Oct-2004	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Added parameter (for theory of source node) to checkCons git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3326 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/Logic/Logic.hs
b6bacf5d11f6eeaedbf2d48b747b230be4ce443f	21-Oct-2004	Christian Maeder <Christian.Maeder@dfki.de>	added cpp stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3306 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs
62736e70d4ff606a2af3cd31d1740845b9c0fec6	06-Oct-2004	Christian Maeder <Christian.Maeder@dfki.de>	removed invisible \160 for haddock git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3220 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
b2b462b230bd92130a14415160f090088cc76833	05-Oct-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3219 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
0e325c00ca13016d6a15a40fa05756b7e1ada326	29-Sep-2004	Christian Maeder <Christian.Maeder@dfki.de>	moved Maybe instance to PPUtils git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3205 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/CoCASL/Print_AS.hs /hets/Common/PPUtils.hs
3138b13714a3079544f5bb8858dd6566258412c4	15-Sep-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3162 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
657cb3018a330d0ebf646386073ad57f33b8e0ec	09-Sep-2004	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	todo git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3154 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
a9b7ae1239bc108b3137e43428a829aed72e9f94	03-Sep-2004	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	todo git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3130 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
d42b920ea985d88dce5e61646afe17d4a6292f01	28-Aug-2004	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3108 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
052f9ca18dc64f8557c9d32a1cadc5fd1bde6a20	26-Aug-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3097 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
af4e28cdbfccd3e6674c1b88d387ba7709cf21bd	23-Aug-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3079 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
0fea6a5a451cb1f0666302435d9538970f57ff0d	22-Aug-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3073 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
ad602cf9fc48c213018a82f87f6f92575866061e	17-Aug-2004	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	changed result type of cons checker to Result (Maybe Bool) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3067 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/Logic/Logic.hs
c86e4fc53ec39e347de50e417879e11e69485962	15-Aug-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3058 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
c7a6cf67abc89199b9ed119e1e5c31cba958803d	15-Aug-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3057 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
5bfe184ef33d33b9f14fafc7d91cf24e49bb06f1	09-Aug-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3024 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
e7e716913e9b7fd174693a212d64f4a939164973	30-Jul-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2999 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
c6ca37f8aca1148289509ced3d32e535dd6afc76	22-Jul-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2967 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
ebd147fbfec398f70512dcb0c17694a05c3429e4	07-Jul-2004	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	trace git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2925 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
6d566cdf4fe3630da3f4322468f5f21ec55e5033	06-Jul-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2924 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
771eade85bc8bbee2308220677b9804cdc11e3c1	23-Jun-2004	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Added preliminary consistency check to edge menu git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2891 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs /hets/CASL/Logic_CASL.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/Logic/Logic.hs
6b6cfa4697a038a74a998ff93cd0afe0337a7040	18-Jun-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2888 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs SignFuns.hs
8b924a2c82fcfd1a8d7f03f85e8f0023dfb9b110	16-Jun-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2867 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
46875ce47a9332f5b1ba10b417f274566e1e9f4a	14-Jun-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2855 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
5f12d02a896734013ce503bff40a2b15f123e155	12-Jun-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2854 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
31c377f0257105cc0be40e3aba745f927f85b898	02-Jun-2004	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	todo git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2802 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
0b14a34813ff1143abe965ec85c544a5a1e02d2b	31-May-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2762 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
f45d8b61253b2a636830cf32813a74b871b8bb42	26-May-2004	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	todo git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2714 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
02d037cffe1c5897469dc24b4ba7300edb1c87d3	24-May-2004	Mingyi Liu <xinga@tzi.de>	/CASL/CCC/FreeTypes.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2691 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
df7df5721afc394a81472be37e8495e260a46a08	23-May-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2680 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs
f3b916791a0329b6681caa04bc419c00d67f539e	18-May-2004	Mingyi Liu <xinga@tzi.de>	__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2641 cec4b9c1-7d33-0410-9eda-942365e851bb FreeTypes.hs