Cross Reference: /hets/GUI/GraphLogic.hs

History log of /hets/GUI/GraphLogic.hs
Revision	Date	Author	Comments Expand
e9458b1a7a19a63aa4c179f9ab20f4d50681c168	25-Mar-2016	Jens Elkner <jel+git@iws.cs.uni-magdeburg.de>	applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename /hets/ATC/ATCTest.hs /hets/ATC/ATCTest2.hs /hets/ATC/Grothendieck.der.hs /hets/ATC/Sml_cats.hs /hets/Adl/As.hs /hets/Adl/Logic_Adl.hs /hets/Adl/Parse.hs /hets/Adl/Print.hs /hets/Adl/Sign.hs /hets/Adl/StatAna.hs /hets/Adl/adl.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/Keywords.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/CompositionTable/ModelFormula.hs /hets/CASL/CompositionTable/ModelTable.hs /hets/CASL/CompositionTable/ParseSparQ.hs /hets/CASL/CompositionTable/ParseTable2.hs /hets/CASL/CompositionTable/Pretty2.hs /hets/CASL/CompositionTable/ToXml.hs /hets/CASL/Cycle.hs /hets/CASL/Disambiguate.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Freeness.hs /hets/CASL/Induction.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Monoton.hs /hets/CASL/Morphism.hs /hets/CASL/OMDoc.hs /hets/CASL/OMDocExport.hs /hets/CASL/OMDocImport.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Qualify.hs /hets/CASL/Quantification.hs /hets/CASL/QuickCheck.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/ToItem.hs /hets/CASL/ToSExpr.hs /hets/CASL/Utils.hs /hets/CASL/World.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Logic_CASL_DL.hs /hets/CASL_DL/Parse_AS.hs /hets/CASL_DL/Print_AS.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/CASL_DL/Sublogics.hs /hets/CMDL/Commands.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypes.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Interface.hs /hets/CMDL/ParseProofScript.hs /hets/CMDL/ProcessScript.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CSL/ASUtils.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/AnEvenTool.hs /hets/CSL/Analysis.hs /hets/CSL/BoolBasic.hs /hets/CSL/CSL2HasCASL.hs /hets/CSL/DependencyGraph.hs /hets/CSL/EPElimination.hs /hets/CSL/EPRelation.hs /hets/CSL/EvalSpec.hs /hets/CSL/ExtendedParameter.hs /hets/CSL/Fold.hs /hets/CSL/GeneralExtendedParameter.hs /hets/CSL/GenericInterpreter.hs /hets/CSL/GuardedDependencies.hs /hets/CSL/HasCASL2CSL.hs /hets/CSL/InteractiveTests.hs /hets/CSL/Interpreter.hs /hets/CSL/Keywords.hs /hets/CSL/Lemma_Export.hs /hets/CSL/Logic_CSL.hs /hets/CSL/MapleInterpreter.hs /hets/CSL/MathematicaInterpreter.hs /hets/CSL/Morphism.hs /hets/CSL/Parse_AS_Basic.hs /hets/CSL/Parse_Test.hs /hets/CSL/Print_AS.hs /hets/CSL/ReduceInterpreter.hs /hets/CSL/ReduceProve.hs /hets/CSL/Reduce_Interface.hs /hets/CSL/SMTComparison.hs /hets/CSL/Sign.hs /hets/CSL/SimpleExtendedParameter.hs /hets/CSL/Symbol.hs /hets/CSL/Tools.hs /hets/CSL/Transformation.hs /hets/CSL/TreePO.hs /hets/CSL/Verification.hs /hets/CSL/quickchecks.hs /hets/CSMOF/As.hs /hets/CSMOF/Logic_CSMOF.hs /hets/CSMOF/ParseXmiAsLibDefn.hs /hets/CSMOF/Parser.hs /hets/CSMOF/Print.hs /hets/CSMOF/Sign.hs /hets/CSMOF/StatAna.hs /hets/CSMOF/XMLKeywords.hs /hets/CSMOF/tests/Test_As.hs /hets/CSMOF/tests/Test_Logic.hs /hets/CSMOF/tests/Test_Parser.hs /hets/CSMOF/tests/Test_StatAna.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LTS/lts.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/CoCASL/Sublogic.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ATermDiffMain.hs /hets/Common/ATerm/ATermLibTest.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoParser.hs /hets/Common/AnnoState.hs /hets/Common/AutoProofUtils.hs /hets/Common/Consistency.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/Data.hs /hets/Common/DefaultMorphism.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/Earley.hs /hets/Common/ExampleMixIds.hs /hets/Common/ExtSign.hs /hets/Common/FileType.hs /hets/Common/GlobalAnnotations.hs /hets/Common/GraphAlgo.hs /hets/Common/Http.hs /hets/Common/IO.hs /hets/Common/IOS.hs /hets/Common/IRI.hs /hets/Common/Id.hs /hets/Common/InjMap.hs /hets/Common/Item.hs /hets/Common/Json.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lattice.hs /hets/Common/Lexer.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/MapSet.hs /hets/Common/Lib/Maybe.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/SizedList.hs /hets/Common/Lib/State.hs /hets/Common/Lib/Tabular.hs /hets/Common/LibName.hs /hets/Common/LogicT.hs /hets/Common/MathLink.hs /hets/Common/OrderedMap.hs /hets/Common/Parsec.hs /hets/Common/Partial.hs /hets/Common/Percent.hs /hets/Common/Prec.hs /hets/Common/PrintLaTeX.hs /hets/Common/ProofTree.hs /hets/Common/ProofUtils.hs /hets/Common/ProverTools.hs /hets/Common/Result.hs /hets/Common/ResultT.hs /hets/Common/RunParsers.hs /hets/Common/SAX.hs /hets/Common/SExpr.hs /hets/Common/SFKT.hs /hets/Common/SZSOntology.hs /hets/Common/SetColimit.hs /hets/Common/Taxonomy.hs /hets/Common/Timing.hs /hets/Common/ToXml.hs /hets/Common/Token.hs /hets/Common/Unlit.hs /hets/Common/Utils.hs /hets/Common/XPath.hs /hets/Common/XUpdate.hs /hets/Common/XmlDiff.hs /hets/Common/XmlExpat.hs /hets/Common/XmlParser.hs /hets/Common/XmlPickler.hs /hets/Common/testxmldiff.hs /hets/Common/testxpath.hs /hets/Common/testxupdate.hs /hets/CommonLogic/AS_CommonLogic.der.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/CASLSig.hs /hets/CommonLogic/ClTests.hs /hets/CommonLogic/ExpandCurie.hs /hets/CommonLogic/Lexer_CLIF.hs /hets/CommonLogic/Lexer_KIF.hs /hets/CommonLogic/Logic_CommonLogic.hs /hets/CommonLogic/ModuleElimination.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/OMDoc.hs /hets/CommonLogic/OMDocExport.hs /hets/CommonLogic/OMDocImport.hs /hets/CommonLogic/ParseCLAsLibDefn.hs /hets/CommonLogic/Parse_CLIF.hs /hets/CommonLogic/Parse_KIF.hs /hets/CommonLogic/PredefinedCASLAxioms.hs /hets/CommonLogic/Print_KIF.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Sublogic.hs /hets/CommonLogic/Symbol.hs /hets/CommonLogic/Tools.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2ExtModal.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSE.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CSMOF2CASL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CoCFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CommonLogic2IsabelleHOL.hs /hets/Comorphisms/CommonLogicModuleElimination.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/DFOL2CASL.hs /hets/Comorphisms/DynLogicList.hs /hets/Comorphisms/ExtModal2CASL.hs /hets/Comorphisms/ExtModal2ExtModalNoSubsorts.hs /hets/Comorphisms/ExtModal2ExtModalTotal.hs /hets/Comorphisms/ExtModal2HasCASL.hs /hets/Comorphisms/ExtModal2OWL.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/HasCASL2PCoClTyConsHOL.hs /hets/Comorphisms/HasCASL2THFP_P.hs /hets/Comorphisms/Haskell2IsabelleHOLCF.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/HolLight2Isabelle.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/Hybrid2CASL.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.hs /hets/Comorphisms/MonadicHasCASLTranslation.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs /hets/Comorphisms/PPolyTyConsHOL2IsaUtils.hs /hets/Comorphisms/Prop2CASL.hs /hets/Comorphisms/Prop2CommonLogic.hs /hets/Comorphisms/Prop2QBF.hs /hets/Comorphisms/QBF2Prop.hs /hets/Comorphisms/QVTR2CASL.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SoftFOL2CommonLogic.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/Comorphisms/THFP2THF0.hs /hets/Comorphisms/THFP_P2HasCASL.hs /hets/Comorphisms/THFP_P2THFP.hs /hets/Comorphisms/test/showKP.hs /hets/Comorphisms/test/sublogicGraph.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/Print_AS.hs /hets/ConstraintCASL/StaticAna.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Comorphisms.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/SymMapAna.hs /hets/CspCASL/SymbItems.hs /hets/CspCASL/Symbol.hs /hets/CspCASLProver.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs /hets/Driver/AnaLib.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/ReadLibDefn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModal2Ship.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/Keywords.hs /hets/ExtModal/Logic_ExtModal.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Parse_AS.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/Ship.hs /hets/ExtModal/StatAna.hs /hets/ExtModal/Sublogic.hs /hets/Fpl/As.der.hs /hets/Fpl/Logic_Fpl.hs /hets/Fpl/Morphism.hs /hets/Fpl/Sign.hs /hets/Fpl/StatAna.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogicUtils.hs /hets/FreeCAD/As.hs /hets/FreeCAD/HetPrinter.hs /hets/FreeCAD/Logic_FreeCAD.hs /hets/FreeCAD/PrintAs.hs /hets/FreeCAD/Translator.hs /hets/FreeCAD/VecTools.hs /hets/FreeCAD/XMLPrinter.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Cond.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs ConsoleUtils.hs GenericATP.hs GraphAbstraction.hs GraphDisplay.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs GtkAddSentence.hs GtkAutomaticProofs.hs GtkConsistencyChecker.hs GtkDisprove.hs GtkGenericATP.hs GtkLinkTypeChoice.hs GtkProverGUI.hs GtkUtils.hs HTkGenericATP.hs HTkProofDetails.hs HTkProverGUI.hs HTkUtils.hs ProverGUI.hs ShowGraph.hs ShowLibGraph.hs ShowLogicGraph.hs ShowRefTree.hs Taxonomy.hs UDGUtils.hs Utils.hs displayDependencyGraph.hs 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
44dede2d8d8903c83b2cda83288718953836b5f3	02-Jun-2014	Christian Maeder <Christian.Maeder@dfki.de>	added "Hets" to graph title git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18603 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs ShowLibGraph.hs
2a9702a373738717c83824512bd9389b5870fc92	11-Feb-2014	Christian Maeder <Christian.Maeder@dfki.de>	re-allow to read top-level .env files broken by spechub/Hets@d0cc19953154042415f3a85ada1c905397884936 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18475 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Driver/AnaLib.hs /hets/Driver/ReadFn.hs GraphLogic.hs /hets/Static/AnalysisLibrary.hs
3d3889e0cefcdce9b3f43c53aaa201943ac2e895	29-Nov-2013	Jonathan von Schroeder <sternkinder@gmail.com>	removed lots of hlint warnings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/ATCTest2.hs /hets/ATC/Sml_cats.hs /hets/Adl/StatAna.hs /hets/CASL/Amalgamability.hs /hets/CASL/ColimSign.hs /hets/CASL/Induction.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Morphism.hs /hets/CASL/OMDocImport.hs /hets/CASL/Overload.hs /hets/CASL/QuickCheck.hs /hets/CASL/Sign.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolParser.hs /hets/CASL/ToItem.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/PredefinedCASLAxioms.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/CMDL/Commands.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypes.hs /hets/CMDL/DgCommands.hs /hets/CMDL/Interface.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/COL.hs /hets/COL/AS_COL.der.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CSL/ASUtils.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/AnEvenTool.hs /hets/CSL/Analysis.hs /hets/CSL/BoolBasic.hs /hets/CSL/CSL2HasCASL.hs /hets/CSL/DependencyGraph.hs /hets/CSL/EPElimination.hs /hets/CSL/EPRelation.hs /hets/CSL/EvalSpec.hs /hets/CSL/Fold.hs /hets/CSL/GeneralExtendedParameter.hs /hets/CSL/GenericInterpreter.hs /hets/CSL/GuardedDependencies.hs /hets/CSL/HasCASL2CSL.hs /hets/CSL/InteractiveTests.hs /hets/CSL/Interpreter.hs /hets/CSL/Lemma_Export.hs /hets/CSL/Logic_CSL.hs /hets/CSL/MapleInterpreter.hs /hets/CSL/MathematicaInterpreter.hs /hets/CSL/Morphism.hs /hets/CSL/Parse_AS_Basic.hs /hets/CSL/Parse_Test.hs /hets/CSL/Print_AS.hs /hets/CSL/ReduceInterpreter.hs /hets/CSL/ReduceProve.hs /hets/CSL/Reduce_Interface.hs /hets/CSL/SMTComparison.hs /hets/CSL/Sign.hs /hets/CSL/SimpleExtendedParameter.hs /hets/CSL/Tools.hs /hets/CSL/Transformation.hs /hets/CSL/TreePO.hs /hets/CSL/Verification.hs /hets/CSL/quickchecks.hs /hets/CSMOF/As.hs /hets/CSMOF/Logic_CSMOF.hs /hets/CSMOF/ParseXmiAsLibDefn.hs /hets/CSMOF/Parser.hs /hets/CSMOF/Print.hs /hets/CSMOF/Sign.hs /hets/CSMOF/StatAna.hs /hets/CSMOF/tests/Test_As.hs /hets/CSMOF/tests/Test_Logic.hs /hets/CSMOF/tests/Test_Parser.hs /hets/CSMOF/tests/Test_StatAna.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/LTS/lts.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/StatAna.hs /hets/CoCASL/Sublogic.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AutoProofUtils.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/DefaultMorphism.hs /hets/Common/ExampleMixIds.hs /hets/Common/ExtSign.hs /hets/Common/GlobalAnnotations.hs /hets/Common/GraphAlgo.hs /hets/Common/GtkGoal.hs /hets/Common/IOS.hs /hets/Common/Id.hs /hets/Common/Item.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/Pretty.hs /hets/Common/Lib/SizedList.hs /hets/Common/Lib/Tabular.hs /hets/Common/LibName.hs /hets/Common/LogicT.hs /hets/Common/MathLink.hs /hets/Common/Partial.hs /hets/Common/Prec.hs /hets/Common/ResultT.hs /hets/Common/SFKT.hs /hets/Common/SetColimit.hs /hets/Common/UniUtils.hs /hets/Common/XmlExpat.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/CASLSig.hs /hets/CommonLogic/ClTests.hs /hets/CommonLogic/Lexer_KIF.hs /hets/CommonLogic/ModuleElimination.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/OMDocExport.hs /hets/CommonLogic/OMDocImport.hs /hets/CommonLogic/Parse_CLIF.hs /hets/CommonLogic/Parse_KIF.hs /hets/CommonLogic/Print_KIF.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Tools.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CSMOF2CASL.hs /hets/Comorphisms/CommonLogic2IsabelleHOL.hs /hets/Comorphisms/CommonLogicModuleElimination.hs /hets/Comorphisms/DFOL2CASL.hs /hets/Comorphisms/DynComorphismList.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/HolLight2Isabelle.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/MonadicHasCASLTranslation.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs /hets/Comorphisms/PPolyTyConsHOL2IsaUtils.hs /hets/Comorphisms/Prop2CommonLogic.hs /hets/Comorphisms/QVTR2CASL.hs /hets/Comorphisms/SoftFOL2CommonLogic.hs /hets/Comorphisms/THFP2THF0.hs /hets/Comorphisms/THFP_P2HasCASL.hs /hets/Comorphisms/THFP_P2THFP.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspProver_Consts.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/testwrap.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Tests/Test_AS_DFOL.hs /hets/DFOL/Tests/Test_Analysis_DFOL.hs /hets/DFOL/Tests/Test_Parse_AS_DFOL.hs /hets/DFOL/Tests/Test_Structuring.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs /hets/Driver/AnaLib.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogicUtils.hs /hets/FreeCAD/As.hs /hets/FreeCAD/Brep.hs /hets/FreeCAD/HetPrinter.hs /hets/FreeCAD/Logic_FreeCAD.hs /hets/FreeCAD/PrintAs.hs /hets/FreeCAD/Testmain.hs /hets/FreeCAD/Translator.hs /hets/FreeCAD/VecTools.hs /hets/FreeCAD/XMLPrinter.hs /hets/GMP/CombLogic.hs /hets/GMP/CompositionalityExperiment.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Cond.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/GenericSequent.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GMP/Proof.hs ConsoleUtils.hs GenericATP.hs GraphLogic.hs GtkAutomaticProofs.hs GtkGenericATP.hs GtkLinkTypeChoice.hs GtkUtils.hs HTkGenericATP.hs HTkProofDetails.hs HTkProverGUI.hs HTkUtils.hs ShowRefTree.hs UDGUtils.hs displayDependencyGraph.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/InteractiveTests.hs /hets/HasCASL/MatchCAD.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/MinType.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/test/Graphs.hascasl /hets/HasCASL/test/Graphs.hascasl.output /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/ProgramaticaPrelude.hs /hets/Haskell/TranslateId.hs /hets/Haskell/h2h.hs /hets/Haskell/h2hf.hs /hets/Haskell/hana.hs /hets/Haskell/test/HOL/Map2.hs /hets/Haskell/test/HOL/ex_class.hs /hets/Haskell/test/HOL/ex_let.hs /hets/Haskell/test/HOL/ex_list.hs /hets/Haskell/test/HOL/mrec.hs /hets/Haskell/test/HOL/mrec3.hs /hets/Haskell/test/HOL/wcard.hs /hets/Haskell/test/HOLCF/PPrel.hs /hets/Haskell/test/HOLCF/ex_fibon.hs /hets/Haskell/test/HOLCF/ex_mutrec.hs /hets/Haskell/test/HOLCF/incmpl.hs /hets/HolLight/Helper.hs /hets/HolLight/Sentence.hs /hets/Hybrid.hs /hets/Interfaces/History.hs /hets/Interfaces/Process.hs /hets/Interfaces/Utils.hs /hets/Isabelle/Isa2DG.hs /hets/Isabelle/IsaImport.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/LF/Analysis.hs /hets/LF/ComorphFram.hs /hets/LF/Framework.hs /hets/LF/ImplOL.hs /hets/LF/MorphParser.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/KnownIris.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/MMT/Hets2mmt.hs /hets/MMT/Tools.hs /hets/MMT/XMLtoPT.hs /hets/Maude/AS_Maude.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/GeneratePatterns.inline.hs.in /hets/Modal/ModalSign.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/Import.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/XmlInterface.hs /hets/OWL2.hs /hets/OWL2/ColimSign.hs /hets/OWL2/Morphism.hs /hets/OWL2/Parse.hs /hets/OWL2/Sign.hs /hets/OWL2/scripts/runConv.hs /hets/OWL2/scripts/runManchester.hs /hets/OWL2/scripts/runXML.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs /hets/PGIP/XMLstate.hs /hets/PGIP/tests/Server.hs /hets/PGIP/tests/SyslogTypes.hs /hets/PLpatt/AS_BASIC_PLpatt.hs /hets/PLpatt/GTools.hs /hets/PLpatt/Logic_PLpatt.hs /hets/PLpatt/Morphism.hs /hets/PLpatt/Parse_PLpatt.hs /hets/PLpatt/Sign.hs /hets/PLpatt/StaticAnaPLpatt.hs /hets/PLpatt/Tools.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Freeness.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/TheoremHideShift.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Conversions.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Tools.hs /hets/QVTR/As.hs /hets/QVTR/Logic_QVTR.hs /hets/QVTR/ParseQvtAsLibDefn.hs /hets/QVTR/Parser.hs /hets/QVTR/Print.hs /hets/QVTR/Sign.hs /hets/QVTR/StatAna.hs /hets/RDF/AS.hs /hets/RDF/Function.hs /hets/RDF/Logic_RDF.hs /hets/RDF/Morphism.hs /hets/RDF/Parse.hs /hets/RDF/Print.hs /hets/RDF/StaticAnalysis.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Scratch.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/tests/CMDL_tests.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/DGNavigation.hs /hets/Static/DevGraph.hs /hets/Static/DgUtils.hs /hets/Static/PrintDevGraph.hs /hets/Static/SpecLoader.hs /hets/Static/WACocone.hs /hets/Static/test/TestDGTrans.hs /hets/Static/testApplyDiff.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/Parse_AS_Structured.hs /hets/THF/Sign.hs /hets/THF/StaticAnalysisTHF.hs /hets/Taxonomy/AbstractGraphView.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/ToHaskell/test/BoolEx.hascasl.hs /hets/ToHaskell/test/Builtin.hascasl.hs /hets/ToHaskell/test/Expr.hascasl.hs /hets/ToHaskell/test/FiniteSet.hascasl.hs /hets/ToHaskell/test/ListEx.hascasl.hs /hets/ToHaskell/test/OpDecls.hascasl.hs /hets/ToHaskell/test/PatternEq.hascasl.hs /hets/ToHaskell/test/Sorting.hascasl.hs /hets/ToHaskell/test/Test.hascasl.hs /hets/TopHybrid.hs /hets/TopHybrid/Logic_TopHybrid.hs /hets/TopHybrid/StatAna.hs /hets/VSE/Fold.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/hets.hs /hets/mini/Grothendieck.hs /hets/mini/Logic.hs /hets/mini/Main.hs /hets/mini/Parser.hs /hets/mini/Proof.hs /hets/mini/StaticAnalysis.hs /hets/test/Map.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs /hets/utils/DtdToHaskell-src/DtdToHaskell.hs /hets/utils/DtdToHaskell-src/current/Convert.hs /hets/utils/DtdToHaskell-src/current/Instance.hs /hets/utils/DtdToHaskell-src/current/TypeDef.hs /hets/utils/DtdToHaskell-src/pre-1.22/Convert.hs /hets/utils/DtdToHaskell-src/pre-1.22/Instance.hs /hets/utils/DtdToHaskell-src/pre-1.22/TypeDef.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/itcor/GenItCorrections.hs /hets/utils/macports/libs.hs /hets/utils/quickcheck.lhs
c5f9e2f0598f061c50c7f097add808c0ec7d1fea	31-Jul-2013	Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de>	866 with correct time limit git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18108 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GtkAutomaticProofs.hs /hets/Interfaces/Utils.hs /hets/Proofs/InferBasic.hs
4eefbf3ad21b510729d5423d08de513b310e9cd0	31-Jul-2013	Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de>	866 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18103 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GtkAutomaticProofs.hs /hets/Interfaces/History.hs /hets/Interfaces/Utils.hs /hets/Proofs/InferBasic.hs
a2af8492313011f78cbedbfd302dc12150b9f7ef	06-Jun-2013	Christian Maeder <Christian.Maeder@dfki.de>	used getDGNodeName git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18010 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CMDL/ConsCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Shell.hs /hets/CMDL/Utils.hs GraphLogic.hs /hets/PGIP/Server.hs
a7e5c17a679fa2dae5998cd04c7e9e06c05c8164	27-Feb-2013	Christian Maeder <Christian.Maeder@dfki.de>	improve printing of goals independent from SenAttr Pretty instance git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17768 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
c1d06b3018b34ede2b3fb6c7fe2ad28cd5ce5b68	28-Aug-2012	Christian Maeder <Christian.Maeder@dfki.de>	added syntax IRI to theories git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17252 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/Grothendieck.der.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Utils.hs /hets/Driver/WriteFn.hs GraphLogic.hs GtkConsistencyChecker.hs GtkDisprove.hs GtkProverGUI.hs HTkProofDetails.hs Taxonomy.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/HolLight/HolLight2DG.hs /hets/Interfaces/Utils.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/Isa2DG.hs /hets/Maude/Maude2DG.hs /hets/Maude/PreComorphism.hs /hets/OMDoc/Export.hs /hets/OMDoc/Import.hs /hets/OWL2/CreateOWL.hs /hets/PGIP/Server.hs /hets/Proofs/AbstractState.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/Local.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/VSE.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/Static/AnalysisStructured.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/ConsInclusions.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/FromXml.hs /hets/Static/FromXmlUtils.hs /hets/Static/GTheory.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs
a79266feb130561fa1a95ae0429d0574f625f6ce	02-Nov-2011	Christian Maeder <Christian.Maeder@dfki.de>	suffix is already removed by libNameToFile git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16422 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs
0d0278c34a374b29c2d6c58b39b8b56e283d48e8	14-Oct-2011	Christian Maeder <Christian.Maeder@dfki.de>	modified dev-graphs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16292 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Makefile /hets/Proofs/Conservativity.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/StatusUtils.hs /hets/Static/DevGraph.hs /hets/Static/DgUtils.hs /hets/Static/History.hs
c208973c890b8f993297720fd0247bc7481d4304	05-Aug-2011	Christian Maeder <Christian.Maeder@dfki.de>	splitted off plain data types for dev-graphs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15905 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CMDL/ConsCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/Utils.hs /hets/Framework/Analysis.hs GraphAbstraction.hs GraphLogic.hs GraphMenu.hs GtkAutomaticProofs.hs GtkConsistencyChecker.hs GtkLinkTypeChoice.hs ShowRefTree.hs /hets/Haskell/Haskell2DG.hs /hets/HolLight/HolLight2DG.hs /hets/Interfaces/Utils.hs /hets/LF/Twelf2DG.hs /hets/Makefile /hets/Maude/Maude2DG.hs /hets/OMDoc/Export.hs /hets/OMDoc/Import.hs /hets/OWL/OWLAnalysis.hs /hets/OWL/StructureAnalysis.hs /hets/PGIP/Query.hs /hets/PGIP/Server.hs /hets/Proofs/Automatic.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.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/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/TriangleCons.hs /hets/Proofs/VSE.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ComputeTheory.hs /hets/Static/ConsInclusions.hs /hets/Static/DevGraph.hs /hets/Static/DgUtils.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/FromXmlUpdates.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/ToXml.hs /hets/Static/XGraph.hs
d24317c8197e565e60c8f41309de246249c1e57e	07-Jun-2011	Christian Maeder <Christian.Maeder@dfki.de>	added source node for hiding thm-link morphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15084 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Proofs/Conservativity.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/QualifyNames.hs /hets/Static/DevGraph.hs /hets/Static/FromXml.hs /hets/Static/PrintDevGraph.hs
f059d29e63508be7316ac161428eee7fc804736e	11-Apr-2011	Christian Maeder <Christian.Maeder@dfki.de>	add an error dialog for a missing reference library git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14886 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
1c039dc13801bb9c90ad6a1bac0e56af19fd2fbf	18-Jan-2011	Mihai Codescu <mcodescu@informatik.uni-bremen.de>	consistency check for arch specs, needs some testing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14385 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs ShowRefTree.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/DevGraph.hs /hets/Static/PrintDevGraph.hs
cc31ad5864570db2fc7b2cb3e04810c8727d145a	10-Jan-2011	Christian Maeder <Christian.Maeder@dfki.de>	also use global annos to display theory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14358 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
3587928ae948e8505f5af052dd4dc7cd97b6638e	10-Jan-2011	Christian Maeder <Christian.Maeder@dfki.de>	use global annos to improve node info git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14356 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
b0adcc203b4267d5535b430372935a5f36726db1	12-Oct-2010	Simon Ulbricht <tekknix@informatik.uni-bremen.de>	GtkDisprove locks the Node it is working on git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14141 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GtkDisprove.hs
9cfd9e8213e51ea282e68509183fb023aba59491	12-Oct-2010	Simon Ulbricht <tekknix@informatik.uni-bremen.de>	seperated method to create lock at node from GUI.GraphLogic.proveAtNode git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14140 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GtkDisprove.hs
abea93ed557b22ea833e1524ee5ca11afc12208a	06-Oct-2010	Simon Ulbricht <tekknix@informatik.uni-bremen.de>	results are written back into DGraph now (but not displayed at module startup) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14112 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GtkDisprove.hs
9da6e0cb2ea6e43f5b09dcd2a9af5468a5d0fcf4	27-Sep-2010	Christian Maeder <Christian.Maeder@dfki.de>	moved disproveAtNode for proper CPP git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14095 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs GtkDisprove.hs
1651c7f5055453e18a8c34f96c333e2aa702a34e	24-Sep-2010	Simon Ulbricht <tekknix@informatik.uni-bremen.de>	implemented disprove function in node menu level instead of ProverGUI. version is stable, but holds no functionality git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14093 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs GtkDisprove.hs
039763ad866bb92d1818e09d1e5a0491af5af3d9	07-Sep-2010	Christian Maeder <Christian.Maeder@dfki.de>	simplified updateNodeProof git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14014 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CMDL/ProveConsistency.hs GraphLogic.hs /hets/Interfaces/Utils.hs
8bdd8707c8e341f1fc57fcbf884520bfe06a5028	02-Sep-2010	Christian Maeder <Christian.Maeder@dfki.de>	refactored git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13974 cec4b9c1-7d33-0410-9eda-942365e851bb GraphDisplay.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs ShowGraph.hs ShowLibGraph.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 /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/CompositionTable/ParseSparQ.hs /hets/CASL/CompositionTable/ToXml.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Freeness.hs /hets/CASL/Induction.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Monoton.hs /hets/CASL/Morphism.hs /hets/CASL/OMDoc.hs /hets/CASL/OMDocExport.hs /hets/CASL/OMDocImport.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Qualify.hs /hets/CASL/Quantification.hs /hets/CASL/QuickCheck.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/ToItem.hs /hets/CASL/ToSExpr.hs /hets/CASL/Utils.hs /hets/CASL/capa.hs /hets/CASL/fromKif.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Comorphism_specs/makePreludeString.hs /hets/CASL_DL/Logic_CASL_DL.hs /hets/CASL_DL/PredefinedCASLAxioms.hs /hets/CASL_DL/PredefinedGlobalAnnos.hs /hets/CASL_DL/Print_AS.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/CASL_DL/Sublogics.hs /hets/CMDL/Commands.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypes.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Interface.hs /hets/CMDL/ParseProofScript.hs /hets/CMDL/ProcessScript.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/Analysis.hs /hets/CSL/CSL2HasCASL.hs /hets/CSL/HasCASL2CSL.hs /hets/CSL/Interpreter.hs /hets/CSL/Keywords.hs /hets/CSL/Lemma_Export.hs /hets/CSL/Logic_CSL.hs /hets/CSL/MapleInterpreter.hs /hets/CSL/Morphism.hs /hets/CSL/Parse_AS_Basic.hs /hets/CSL/Parse_Test.hs /hets/CSL/ReduceInterpreter.hs /hets/CSL/ReduceProve.hs /hets/CSL/ReduceTest.hs /hets/CSL/Reduce_Interface.hs /hets/CSL/Sign.hs /hets/CSL/Symbol.hs /hets/CSL/Tools.hs /hets/CSL/Transformation.hs /hets/CoCASL.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LTS/lts.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/CoCASL/Sublogic.hs /hets/Common.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ATermDiffMain.hs /hets/Common/ATerm/ATermLibTest.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoParser.hs /hets/Common/AnnoState.hs /hets/Common/Consistency.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/DefaultMorphism.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/Earley.hs /hets/Common/ExampleMixIds.hs /hets/Common/ExtSign.hs /hets/Common/GlobalAnnotations.hs /hets/Common/IO.hs /hets/Common/IOS.hs /hets/Common/Id.hs /hets/Common/InjMap.hs /hets/Common/Item.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lexer.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/Pretty.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/SizedList.hs /hets/Common/Lib/State.hs /hets/Common/LibName.hs /hets/Common/LogicT.hs /hets/Common/OrderedMap.hs /hets/Common/Parsec.hs /hets/Common/Partial.hs /hets/Common/Prec.hs /hets/Common/PrintLaTeX.hs /hets/Common/ProofTree.hs /hets/Common/ProofUtils.hs /hets/Common/ProverTools.hs /hets/Common/Result.hs /hets/Common/ResultT.hs /hets/Common/RunParsers.hs /hets/Common/SExpr.hs /hets/Common/SFKT.hs /hets/Common/SZSOntology.hs /hets/Common/SetColimit.hs /hets/Common/Taxonomy.hs /hets/Common/Timing.hs /hets/Common/ToId.hs /hets/Common/ToXml.hs /hets/Common/Token.hs /hets/Common/UniUtils.hs /hets/Common/Utils.hs /hets/Common/XPath.hs /hets/Common/XUpdate.hs /hets/Common/XmlExpat.hs /hets/Common/XmlParser.hs /hets/Common/annos.hs /hets/Common/testxpath.hs /hets/Common/testxupdate.hs /hets/CommonLogic/AS_CommonLogic.der.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/CASLSig.hs /hets/CommonLogic/ClTests.hs /hets/CommonLogic/Logic_CommonLogic.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/OMDoc.hs /hets/CommonLogic/OMDocExport.hs /hets/CommonLogic/OMDocImport.hs /hets/CommonLogic/Parse_CLIF.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Symbol.hs /hets/Comorphisms.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSE.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CoCFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/DFOL2CASL.hs /hets/Comorphisms/DMU2OWL.hs /hets/Comorphisms/DynLogicList.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/HasCASL2PCoClTyConsHOL.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/MonadicHasCASLTranslation.hs /hets/Comorphisms/OWL2CASL.hs /hets/Comorphisms/OWL2CommonLogic.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs /hets/Comorphisms/PPolyTyConsHOL2IsaUtils.hs /hets/Comorphisms/Prop2CASL.hs /hets/Comorphisms/Prop2QBF.hs /hets/Comorphisms/QBF2Prop.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/Comorphisms/test/showKP.hs /hets/Comorphisms/test/sublogicGraph.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/Print_AS.hs /hets/ConstraintCASL/StaticAna.hs /hets/Constraints/AS_BASIC_Constraints.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Comorphisms.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/CspProver_Consts.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/testwrap.hs /hets/CspCASLProver.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs /hets/Driver/AnaLib.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/ExtModal.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/ExtModalSystems.hs /hets/ExtModal/Keywords.hs /hets/ExtModal/Logic_ExtModal.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/StatAna.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogic.hs /hets/GMP/CompositionalityExperiment.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Con.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/GenericSequent.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GMP/Proof.hs /hets/GMP/SegExamples.hs /hets/GMP/versioning/coloss-0.0.4/Combination.hs /hets/GMP/versioning/coloss-0.0.4/Generic.hs /hets/GMP/versioning/coloss-0.0.4/examples.coalition.hs /hets/GMP/versioning/coloss-0.0.4/examples.gluings.hs /hets/GMP/versioning/coloss-0.0.4/examples.gml.hs /hets/GMP/versioning/coloss-0.0.4/examples.hml.hs /hets/GMP/versioning/coloss-0.0.4/examples.pml.hs /hets/GMP/versioning/coloss-0.0.4/examples.segala.hs /hets/GMP/versioning/coloss-0.0.4/gg.head.hs /hets/GMP/versioning/coloss-0.0.4/gg.tmpl.hs /hets/GMP/versioning/coloss-0.0.4/gg.util.hs /hets/GMP/versioning/gmp-0.0.1/GMP/CoalitionL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPAS.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPSAT.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GenericML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GradedML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Lexer.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Main.hs /hets/GMP/versioning/gmp-0.0.1/GMP/MajorityL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalK.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalKD.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalLogic.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/IneqSolvTester.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/LWBParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/TestGenGML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/ToRacer.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompAS.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompGeneric.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Main.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/C.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/CKCM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Con.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/DisjUnion.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/G.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/HM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/K.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/KD.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Mon.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/P.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/SysS.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Prover.hs /hets/GMP/versioning/gmp-coloss-0.0.3/Main.hs /hets/GUI.hs AbstractGraphView.hs ConsoleUtils.hs GenericATP.hs Glade/Template.append.hs GraphAbstraction.hs GraphDisplay.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs GtkAutomaticProofs.hs GtkConsistencyChecker.hs GtkDisprove.hs GtkGenericATP.hs GtkLinkTypeChoice.hs GtkProverGUI.hs GtkUtils.hs HTkGenericATP.hs HTkProofDetails.hs HTkProverGUI.hs HTkUtils.hs ProverGUI.hs ShowGraph.hs ShowLibGraph.hs ShowLogicGraph.hs ShowRefTree.hs Taxonomy.hs UDGUtils.hs Utils.hs displayDependencyGraph.hs 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 /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/CompositionTable/ParseSparQ.hs /hets/CASL/CompositionTable/ToXml.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Freeness.hs /hets/CASL/Induction.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Monoton.hs /hets/CASL/Morphism.hs /hets/CASL/OMDoc.hs /hets/CASL/OMDocExport.hs /hets/CASL/OMDocImport.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Qualify.hs /hets/CASL/Quantification.hs /hets/CASL/QuickCheck.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/ToItem.hs /hets/CASL/ToSExpr.hs /hets/CASL/Utils.hs /hets/CASL/capa.hs /hets/CASL/fromKif.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Comorphism_specs/makePreludeString.hs /hets/CASL_DL/Logic_CASL_DL.hs /hets/CASL_DL/Parse_AS.hs /hets/CASL_DL/PredefinedCASLAxioms.hs /hets/CASL_DL/PredefinedGlobalAnnos.hs /hets/CASL_DL/Print_AS.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/CASL_DL/Sublogics.hs /hets/CMDL/Commands.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypes.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Interface.hs /hets/CMDL/ParseProofScript.hs /hets/CMDL/ProcessScript.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/Analysis.hs /hets/CSL/CSL2HasCASL.hs /hets/CSL/HasCASL2CSL.hs /hets/CSL/Keywords.hs /hets/CSL/Lemma_Export.hs /hets/CSL/Logic_CSL.hs /hets/CSL/Morphism.hs /hets/CSL/Parse_AS_Basic.hs /hets/CSL/Parse_Test.hs /hets/CSL/ReduceProve.hs /hets/CSL/Reduce_Interface.hs /hets/CSL/Sign.hs /hets/CSL/Symbol.hs /hets/CSL/Tools.hs /hets/CSL/Transformation.hs /hets/CoCASL.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LTS/lts.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/CoCASL/Sublogic.hs /hets/Common.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ATermDiffMain.hs /hets/Common/ATerm/ATermLibTest.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/Amalgamate.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoParser.hs /hets/Common/AnnoState.hs /hets/Common/Consistency.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/ConvertMixfixToken.hs /hets/Common/DefaultMorphism.hs /hets/Common/Doc.hs /hets/Common/DocUtils.hs /hets/Common/Earley.hs /hets/Common/ExampleMixIds.hs /hets/Common/ExtSign.hs /hets/Common/GlobalAnnotations.hs /hets/Common/IO.hs /hets/Common/Id.hs /hets/Common/InjMap.hs /hets/Common/Item.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lexer.hs /hets/Common/Lib/Graph.hs /hets/Common/Lib/Pretty.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/SizedList.hs /hets/Common/Lib/State.hs /hets/Common/LibName.hs /hets/Common/LogicT.hs /hets/Common/OrderedMap.hs /hets/Common/Parsec.hs /hets/Common/Partial.hs /hets/Common/Prec.hs /hets/Common/PrintLaTeX.hs /hets/Common/ProofTree.hs /hets/Common/ProofUtils.hs /hets/Common/ProverTools.hs /hets/Common/Result.hs /hets/Common/ResultT.hs /hets/Common/RunParsers.hs /hets/Common/SExpr.hs /hets/Common/SFKT.hs /hets/Common/SZSOntology.hs /hets/Common/SetColimit.hs /hets/Common/Taxonomy.hs /hets/Common/Timing.hs /hets/Common/ToId.hs /hets/Common/ToXml.hs /hets/Common/Token.hs /hets/Common/UniUtils.hs /hets/Common/Utils.hs /hets/Common/XPath.hs /hets/Common/XUpdate.hs /hets/Common/XmlExpat.hs /hets/Common/XmlParser.hs /hets/Common/annos.hs /hets/Common/testxpath.hs /hets/Common/testxupdate.hs /hets/CommonLogic/AS_CommonLogic.der.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/CASLSig.hs /hets/CommonLogic/ClTests.hs /hets/CommonLogic/Logic_CommonLogic.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/OMDoc.hs /hets/CommonLogic/OMDocExport.hs /hets/CommonLogic/OMDocImport.hs /hets/CommonLogic/Parse_CLIF.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Symbol.hs /hets/Comorphisms.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSE.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CoCFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/DFOL2CASL.hs /hets/Comorphisms/DMU2OWL.hs /hets/Comorphisms/DynLogicList.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/HasCASL2PCoClTyConsHOL.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/MonadicHasCASLTranslation.hs /hets/Comorphisms/OWL2CASL.hs /hets/Comorphisms/OWL2CommonLogic.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs /hets/Comorphisms/PPolyTyConsHOL2IsaUtils.hs /hets/Comorphisms/Prop2CASL.hs /hets/Comorphisms/Prop2QBF.hs /hets/Comorphisms/QBF2Prop.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/Comorphisms/test/showKP.hs /hets/Comorphisms/test/sublogicGraph.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/Print_AS.hs /hets/ConstraintCASL/StaticAna.hs /hets/Constraints/AS_BASIC_Constraints.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Comorphisms.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/CspProver_Consts.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/testwrap.hs /hets/CspCASLProver.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs /hets/Driver/AnaLib.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/ExtModal.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/ExtModalSystems.hs /hets/ExtModal/Keywords.hs /hets/ExtModal/Logic_ExtModal.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/StatAna.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogic.hs /hets/GMP/CompositionalityExperiment.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Con.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/GenericSequent.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GMP/Proof.hs /hets/GMP/SegExamples.hs /hets/GMP/versioning/coloss-0.0.4/Combination.hs /hets/GMP/versioning/coloss-0.0.4/Generic.hs /hets/GMP/versioning/coloss-0.0.4/examples.coalition.hs /hets/GMP/versioning/coloss-0.0.4/examples.gluings.hs /hets/GMP/versioning/coloss-0.0.4/examples.gml.hs /hets/GMP/versioning/coloss-0.0.4/examples.hml.hs /hets/GMP/versioning/coloss-0.0.4/examples.pml.hs /hets/GMP/versioning/coloss-0.0.4/examples.segala.hs /hets/GMP/versioning/coloss-0.0.4/gg.head.hs /hets/GMP/versioning/coloss-0.0.4/gg.tmpl.hs /hets/GMP/versioning/coloss-0.0.4/gg.util.hs /hets/GMP/versioning/gmp-0.0.1/GMP/CoalitionL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPAS.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPSAT.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GenericML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GradedML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Lexer.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Main.hs /hets/GMP/versioning/gmp-0.0.1/GMP/MajorityL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalK.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalKD.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalLogic.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/IneqSolvTester.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/LWBParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/TestGenGML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/ToRacer.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompAS.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompGeneric.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Main.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/C.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/CKCM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Con.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/DisjUnion.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/G.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/HM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/K.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/KD.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Mon.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/P.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/SysS.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Prover.hs /hets/GMP/versioning/gmp-coloss-0.0.3/Main.hs /hets/GUI.hs AbstractGraphView.hs ConsoleUtils.hs GenericATP.hs Glade/Template.append.hs GraphAbstraction.hs GraphDisplay.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs GtkAutomaticProofs.hs GtkConsistencyChecker.hs GtkDisprove.hs GtkGenericATP.hs GtkLinkTypeChoice.hs GtkProverGUI.hs GtkUtils.hs HTkGenericATP.hs HTkProofDetails.hs HTkProverGUI.hs HTkUtils.hs ProverGUI.hs ShowGraph.hs ShowLibGraph.hs ShowLogicGraph.hs ShowRefTree.hs Taxonomy.hs UDGUtils.hs Utils.hs displayDependencyGraph.hs 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
239991d3955da0cfb760af4d506069446e1676b7	15-Jul-2010	Christian Maeder <Christian.Maeder@dfki.de>	fixed #833 and cleaned up git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13722 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs GtkConsistencyChecker.hs
1937dccb04b363364f7a7de17fdaae1d70583af9	15-Jul-2010	Christian Maeder <Christian.Maeder@dfki.de>	refactored global theory results git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13718 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/Grothendieck.der.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/Common/Result.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Driver/WriteFn.hs GraphLogic.hs GraphMenu.hs GtkAutomaticProofs.hs /hets/Interfaces/Utils.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/InferBasic.hs /hets/Static/ComputeTheory.hs
ba7903578ca168160ed411ef534fa95c5cddf8f0	15-Feb-2010	Ewaryst Schulz <Ewaryst.Schulz@dfki.de>	pathify doesn't need an interface in Logic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13072 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/Logic_CASL.hs /hets/Driver/WriteFn.hs GraphLogic.hs /hets/Logic/Logic.hs /hets/Proofs/PathifyNames.hs /hets/Static/PrintDevGraph.hs
831b0d8f47480be51d14f2cf122913507859f9c3	12-Feb-2010	Ewaryst Schulz <Ewaryst.Schulz@dfki.de>	prepared the type of Linkpath in order to integrate heterogeneous path computation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13066 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/OMDoc.hs /hets/CASL/Pathify.hs /hets/Common/LibName.hs GraphLogic.hs /hets/Logic/Coerce.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Proofs/PathifyNames.hs
507a2f9c6bd0da06ccc97855fe3b50255c71a4ba	02-Feb-2010	Ewaryst Schulz <Ewaryst.Schulz@dfki.de>	pathlist generation checked, works only for CASL-files without mixing of logics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13020 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/Pathify.hs /hets/Common/LibName.hs GraphLogic.hs
cc8cec541a2ff37538daa477997ec8040ab257ac	23-Dec-2009	Christian Maeder <Christian.Maeder@dfki.de>	group changes made for a proof at a single node git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12956 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CMDL/ProveConsistency.hs GraphLogic.hs /hets/Interfaces/Utils.hs
611c5a1783d95809487402fc94cb466aa4c7f300	16-Dec-2009	Markus Gross <Markus.Gross@dfki.de>	Fix for #767. Now also returning edge updated by conservativity check. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12935 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CMDL/ConsCommands.hs GraphLogic.hs /hets/Interfaces/Utils.hs
56f49c2883b1da5b18c57ca94457b2c4757a28d3	10-Dec-2009	Markus Gross <Markus.Gross@dfki.de>	Updating nodes after a proof is now shared between the GUI and CMDL. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12913 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CMDL/ConsCommands.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs GraphLogic.hs /hets/Interfaces/Utils.hs
0cdeccb66730b876f73bddd2705ddc62e180320d	10-Dec-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Removed consistency check node menu button. Removed duplicated code from InferBasic. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12909 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs /hets/Proofs/InferBasic.hs
55c5e901b5c3466300009135585bc70bd576dcb6	09-Dec-2009	Christian Maeder <Christian.Maeder@dfki.de>	created history entries for computed theories git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12905 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CMDL/ProveConsistency.hs /hets/Driver/AnaLib.hs GraphLogic.hs GtkConsistencyChecker.hs /hets/Interfaces/History.hs /hets/Interfaces/Utils.hs /hets/Proofs/Automatic.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/VSE.hs /hets/Static/ComputeTheory.hs /hets/Static/DevGraph.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs
e57e182f38aaa50363a28420fbaaa18877b34867	30-Nov-2009	Christian Maeder <Christian.Maeder@dfki.de>	keep track of pending edges (GUI only) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12869 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Local.hs /hets/Static/DevGraph.hs
0b5c2cc0f6b243364e5b54c51c4649a68051e143	27-Nov-2009	Christian Maeder <Christian.Maeder@dfki.de>	properly mark sentences as proven in the GUI git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12862 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Static/GTheory.hs
591c279c7bacf79bccdb1e7417cc44130527d895	27-Nov-2009	Christian Maeder <Christian.Maeder@dfki.de>	refactored marking consistent nodes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12860 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs /hets/Static/DevGraph.hs
f7b9d64160c23654b7288a3b0ee3e2b95af3e752	15-Nov-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	fixed deadlock bug in GtkProverGUI. removed GUIMVar from GInfo, because it is not needed. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12836 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphTypes.hs GtkConsistencyChecker.hs GtkGenericATP.hs GtkProverGUI.hs GtkUtils.hs /hets/Proofs/InferBasic.hs
dbd5da92be2bc4a8afcaa21980a5f59831037171	13-Nov-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Removed possibility to pass action function to dialogs. no need for different ways of handling response. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12830 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GtkUtils.hs ShowLibGraph.hs Utils.hs
92d79cd0ad22cf74b345e1381d806ffc364d9ea1	09-Nov-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	GtkProverGUI is woking now. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12808 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GtkGenericATP.hs GtkProverGUI.hs GtkUtils.hs ProverGUI.hs
da1f9fa9339a0115d0559411929835bcff74e5f5	05-Nov-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	unnamed nodes with outgoing or incoming unproven edges are not hidden anymore. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12782 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
39a2520d13a7d43f0c0fa71b94255c3f7c500005	27-Oct-2009	Christian Maeder <Christian.Maeder@dfki.de>	adjusted display git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12742 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs /hets/Static/DevGraph.hs
c3f7e132e0c214b755c6c4b485f4748c4dd1595c	26-Oct-2009	Christian Maeder <Christian.Maeder@dfki.de>	removed redundant imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12730 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/QuickCheck.hs /hets/CASL_DL/StatAna.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/Common/ProverTools.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/Haskell2IsabelleHOLCF.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/OWL2CASL.hs /hets/CspCASL/StatAnaCSP.hs /hets/Driver/Options.hs AbstractGraphView.hs GraphAbstraction.hs GraphLogic.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/Merge.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Logic/Morphism.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Morphism.hs /hets/Maude/Symbol.hs /hets/OMDoc/Export.hs /hets/OWL/Conservativity.hs /hets/OWL/ProvePellet.hs /hets/PGIP/XMLparsing.hs /hets/Proofs/Composition.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/Local.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Propositional/Analysis.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProverState.hs /hets/Static/ToXml.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/VSE/Ana.hs
788bd3c33ec5aaeb90a1932c341ff837116410cf	25-Oct-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	hidden edges are now filtered befor calculating compressed paths. see #753 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12717 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
3a6decfd748f532d5cb03fbcb7a42fa37b0faab3	16-Oct-2009	Christian Maeder <Christian.Maeder@dfki.de>	refactored prover stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12661 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/QuickCheck.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/KnownProvers.hs /hets/CspCASLProver/CspCASLProver.hs GenericATP.hs GraphLogic.hs HTkUtils.hs ProofDetails.hs ShowLogicGraph.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/Utils.hs /hets/Isabelle/IsaProve.hs /hets/Logic/Coerce.hs /hets/Logic/Prover.hs /hets/OWL/ProvePellet.hs /hets/Proofs/AbstractState.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/InferBasic.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/tests/CMDL_tests.hs /hets/Static/GTheory.hs /hets/VSE/Prove.hs
f39c70229e74147a02d15bd45c05a0b1b325532d	16-Oct-2009	Christian Maeder <Christian.Maeder@dfki.de>	compute filename from library name always using HETS_LIB git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12657 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Driver/AnaLib.hs /hets/Driver/ReadFn.hs GraphLogic.hs GraphMenu.hs ShowLibGraph.hs /hets/PGIP/XMLparsing.hs /hets/Static/AnalysisLibrary.hs
e0eb2520b6b977e1ab84afa8774fdcf26efd2796	09-Oct-2009	Christian Maeder <Christian.Maeder@dfki.de>	re-compute global theory after proving git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12618 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
ec25781c1180ea07f66b48c34f93cf5634e9277c	07-Oct-2009	Christian Maeder <Christian.Maeder@dfki.de>	moved ComputeTheory to folder Static git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12587 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Driver/WriteFn.hs GraphLogic.hs GraphMenu.hs /hets/Interfaces/Utils.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Static/AnalysisLibrary.hs /hets/Static/ComputeTheory.hs /hets/Static/DevGraph.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 /hets/CASL/CCC/FreeTypes.hs /hets/CMDL/ConsCommands.hs /hets/Common/Consistency.hs GraphLogic.hs 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
e49fd57c63845c7806860a9736ad09f6d44dbaed	23-Sep-2009	Christian Maeder <Christian.Maeder@dfki.de>	refactored, camel cased, library names git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12493 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/Sml_cats.hs /hets/CASL/OMDoc.hs /hets/CASL/Qualify.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DgCommands.hs /hets/CMDL/ProveConsistency.hs /hets/Common/LibName.hs /hets/Driver/AnaLib.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs GraphLogic.hs GraphTypes.hs GtkConsistencyChecker.hs ShowGraph.hs ShowLibGraph.hs hets_cgi.hs /hets/Haskell/Haskell2DG.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/History.hs /hets/Interfaces/Utils.hs /hets/Logic/Logic.hs /hets/Maude/Maude2DG.hs /hets/OMDoc/CASLDefs.hs /hets/OMDoc/CASLOutput.hs /hets/OMDoc/Export.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocOutput.hs /hets/OMDoc/Sentences.hs /hets/OWL/OWLAnalysis.hs /hets/Omega/Export.hs /hets/Proofs/Automatic.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/ComputeTheory.hs /hets/Proofs/Conservativity.hs /hets/Proofs/DGFlattening.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/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/VSE.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/Static/AnalysisLibrary.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/PrintDevGraph.hs /hets/Static/ToXml.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/ToXml.hs /hets/VSE/ToSExpr.hs
32d98ca5e560cf6c1062a0463be4c350af32bed5	11-Sep-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	GtkConsistencyChecker can now start and stop consistency checker. stop will wait until a actual chekcer finished. needs to be fixed later. a progress bar showing status while checking. a pulse bar added for updating sublogic, still takes too long. checkt a lot of gui modules with hlint and meet the suggestions. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12462 cec4b9c1-7d33-0410-9eda-942365e851bb GraphAbstraction.hs GraphDisplay.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs GtkConsistencyChecker.hs GtkLinkTypeChoice.hs GtkUtils.hs ShowGraph.hs ShowLibGraph.hs Utils.hs
4014fb09362f3e38a91d7bb11b1484a4790e9297	08-Sep-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	fixed bug #733. unnamed nodes with incomming unproven links won't be hidden anymore. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12432 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
eb9406bbee29b5147118d743faa555c5797e2ee6	07-Sep-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	forgot a small change git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12431 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
170201cc34e0738a6baeaa2a6ca00ba4c72699c1	07-Sep-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	fixed duplicated error when pressing cancel. see #723 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12430 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs ProofManagement.hs
8f31d51d47da96200437dd3af1d785cd88a46f71	13-Aug-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	added skeleton for a gtk version of the prover window. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12116 cec4b9c1-7d33-0410-9eda-942365e851bb Glade/ProverGUI.glade GraphAbstraction.hs GraphLogic.hs GtkConsistencyChecker.hs GtkProverGUI.hs GtkUtils.hs ProofManagement.hs ProverGUI.hs Utils.hs /hets/Makefile /hets/Proofs/InferBasic.hs
80df5ce65c2bad7a0643106e524fe33cdcfab5b6	28-Jul-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	changed compression. see ticket #566 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12001 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
6da0a31220425fa4186fbb0b25ecf7d5f8bbb0d9	20-Jul-2009	Christian Maeder <Christian.Maeder@dfki.de>	removed unused import git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11978 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Interfaces/Utils.hs
1780ec6fd307212ae6834d85ae6b5d38e059c444	20-Jul-2009	Christian Maeder <Christian.Maeder@dfki.de>	splitted ComputeTheory from TheoremHideShift git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11976 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Comorphisms/LogicList.hs /hets/Driver/WriteFn.hs GraphLogic.hs GraphMenu.hs /hets/Interfaces/Utils.hs /hets/Proofs/ComputeTheory.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/TheoremHideShift.hs
254df6f22d01eacf7c57b85729e0445747b630d9	20-Jul-2009	Christian Maeder <Christian.Maeder@dfki.de>	made a separat class for shared aterms that need a logic graph when read git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11975 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/Grothendieck.der.hs /hets/ATC/Grothendieck.hs /hets/Driver/AnaLib.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteLibDefn.hs GraphLogic.hs /hets/Makefile /hets/Static/AnalysisLibrary.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs
fa1bf658051ac503f27ff1b59edb093398eed6ed	16-Jul-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	proven links with open cons goals are now yellow and are not hiden if hide proven nodes is active untill no open cons goals are left. see #716 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11959 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CMDL/InfoCommands.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs /hets/Static/DevGraph.hs
eb600800c6f539148144444c14bf6354b6eaf0ce	16-Jul-2009	Christian Maeder <Christian.Maeder@dfki.de>	added warning dialog to the conservativity check of node, too git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11958 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
260bfc3b7dc8ed037b7d98ee044302415db6fcd7	16-Jul-2009	Christian Maeder <Christian.Maeder@dfki.de>	refactored hasOpenConsStatus for nodes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11957 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CMDL/Utils.hs GraphLogic.hs /hets/Static/DevGraph.hs
d7aa4e1cbe00f7f3add4da911673b3b176b140c3	16-Jul-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	updating and redisplaying is now always done by updateGraph. all functions are using updateGraph now, this avoids duplicate code in these functions. deleted functions which are not needed anymore. removed performproofaction because function didn't do anything except printing two messages, output moved to updateGraph. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11951 cec4b9c1-7d33-0410-9eda-942365e851bb GraphAbstraction.hs GraphDisplay.hs GraphLogic.hs GraphMenu.hs
85a6f36073352ad1732560fbfc958c3c80dfeb80	15-Jul-2009	Christian Maeder <Christian.Maeder@dfki.de>	record consistency checker result git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11930 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
9a9860760c6f30558e5e60049692b6fc63904590	15-Jul-2009	Markus Gross <Markus.Gross@dfki.de>	Node conservativity check git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11924 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CMDL/ConsCommands.hs GraphLogic.hs GraphMenu.hs /hets/Interfaces/Utils.hs /hets/Static/DevGraph.hs
25f12ad1e6606d5ff6c43a9cae2fa51bd6f6efea	14-Jul-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	fixed bug with a disappearing edge in basic/numbers. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11916 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs
92e96be605537638d75e9d3023ab698bd89cf889	14-Jul-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Fixed bug with expand menu. Fixed bug in hiding newly added proven thm edges. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11914 cec4b9c1-7d33-0410-9eda-942365e851bb GraphAbstraction.hs GraphLogic.hs
5c4d35b8cd25e3547eda72daea6b036548573e55	18-Jun-2009	Christian Maeder <Christian.Maeder@dfki.de>	ref nodes are never internal git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11817 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Static/DevGraph.hs
f5b31c8df89d0c8898cfabe0bd6c671e8285c0f1	18-Jun-2009	Christian Maeder <Christian.Maeder@dfki.de>	removed string test using getDGNodeType git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11816 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Static/DevGraph.hs
ea76e25262c3325f293fbdd6560f180ca18f9be4	17-Jun-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	fixed #708 and #705 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11807 cec4b9c1-7d33-0410-9eda-942365e851bb GraphAbstraction.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs
aa21e7aa42fef563dea0cc77edbde76f66cdbe88	16-Jun-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	applyChanges can now handle a list of edges to hide too. convert replaced with applyChanges by providing a function to convert a new dgraph to a list of dgchange. hideNodes is not applied after first creation of graph anymore, it will be done in one step by applyChanges. added a option record to ginfo to store if nodes or edges should be hidden or not. all graph updates are using this option. on newly created graph, proven nodes and proven edges are hidden by default. renamed some menuentries and moved entry for hidin edges to the submenu for nodes. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11799 cec4b9c1-7d33-0410-9eda-942365e851bb GraphAbstraction.hs GraphDisplay.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs ShowLibGraph.hs /hets/Interfaces/History.hs
d71a37fb09bce02af6c98e7a5ab0aa5639058e4f	11-Jun-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	restructured applychanges. Fixed bug #697 and #646 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11792 cec4b9c1-7d33-0410-9eda-942365e851bb GraphAbstraction.hs GraphLogic.hs GraphMenu.hs /hets/Interfaces/History.hs
370e81d7af7821f0ac6ee0643613e87a727841e7	27-May-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Made a new applyChanges, which now combines show, hide, delete and add nodes and edges. It greatly improves the speed of the updating process. Hopefully it reduces the bugs with uDrawGraph, when uDrawGraph was not ready and already got new commands. Could not reproduce bug #646 anymore. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11772 cec4b9c1-7d33-0410-9eda-942365e851bb GraphAbstraction.hs GraphLogic.hs
c79a18eb0de8028d1fec662677d4903bdb76e13d	18-May-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	refactored GUI.GraphAbstraction. Got rid of IORef, just exported functions are using the GraphInfo IORef structure. Also moved convert from GUI.GraphLogic to GUI.GraphAbstraction. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11765 cec4b9c1-7d33-0410-9eda-942365e851bb GraphAbstraction.hs GraphDisplay.hs GraphLogic.hs GraphMenu.hs
0b8b26a22f136a9b2a8e99d655f6fe6b0b96008c	11-May-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	refactored gui change propagationn also moved applyChanges to GraphAbstraction. see #691 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11764 cec4b9c1-7d33-0410-9eda-942365e851bb GraphAbstraction.hs GraphDisplay.hs GraphLogic.hs GraphTypes.hs /hets/Interfaces/History.hs /hets/Static/DevGraph.hs
28ca54b0d63d1d26a991711c8c7e85c474994715	16-Apr-2009	Christian Maeder <Christian.Maeder@dfki.de>	refactored command line interface #626 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11693 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/History.hs /hets/Interfaces/Utils.hs /hets/PGIP/Commands.hs /hets/PGIP/DataTypes.hs /hets/PGIP/DataTypesUtils.hs /hets/PGIP/InfoCommands.hs /hets/PGIP/ProveCommands.hs /hets/PGIP/Shell.hs /hets/PGIP/UndoRedo.hs
91b3380a74afbf09dc0e7a54c9ee6de26dfbc42a	06-Apr-2009	Christian Maeder <Christian.Maeder@dfki.de>	only use uni with hierarchical modules git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11649 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Common/UniUtils.hs AbstractGraphView.hs GenericATP.hs GraphAbstraction.hs GraphLogic.hs HTkUtils.hs ProofManagement.hs ShowGraph.hs UDGUtils.hs /hets/var.mk
8618f6dc90d5392c661114468b47c71e4ae4e9be	27-Mar-2009	Christian Maeder <Christian.Maeder@dfki.de>	added conservativityOfEdge to global history to allow undo git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11615 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
95cb954c00f873306bf1a60b62d3209d3cff4102	27-Mar-2009	Christian Maeder <Christian.Maeder@dfki.de>	refactored runProveAtNode and basic inference git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11611 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Logic/Prover.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/InferBasic.hs /hets/Proofs/TheoremHideShift.hs
83263d411f611d9902ef4d98c93be6ad9361c833	26-Mar-2009	Christian Maeder <Christian.Maeder@dfki.de>	replaced lookupTheoryOfNode by computeTheory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11597 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs
1e3aca4178372af672efb237d16087c603fe5564	26-Mar-2009	Christian Maeder <Christian.Maeder@dfki.de>	call "Prove Structured" via proofMenu rather than via proveAtNode and basicInferenceNode git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11596 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs /hets/Proofs/InferBasic.hs /hets/Proofs/VSE.hs
e1c24b1dbf5cb1c9bb22b14a40167a4ba7806501	26-Mar-2009	Christian Maeder <Christian.Maeder@dfki.de>	only warn on consistency checks git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11594 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Proofs/EdgeUtils.hs
83e814d7ac048930de2fe34b5b23d883654a1777	25-Mar-2009	Christian Maeder <Christian.Maeder@dfki.de>	enforce better portability git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11578 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Comorphisms/CASL2TopSort.inline.hs GraphLogic.hs /hets/Interfaces/History.hs /hets/Interfaces/Utils.hs /hets/PGIP/Commands.hs /hets/PGIP/ConsCommands.hs /hets/PGIP/DgCommands.hs /hets/PGIP/InfoCommands.hs /hets/PGIP/ProveConsistency.hs /hets/PGIP/Shell.hs /hets/Propositional/ProveWithTruthTable.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Static/ArchDiagram.hs /hets/Static/WACocone.hs /hets/utils/DrIFT-src/ParseLib2.hs /hets/utils/Setup.hs /hets/var.mk
b021998bf955c87c7cdcc69f0667dc2880b3ce1f	23-Mar-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	moved graph translation menu to library graph menu. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11568 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs ShowLibGraph.hs
6c08e47c4275556c18f4f89521bf21fe94c28dd5	18-Mar-2009	Christian Maeder <Christian.Maeder@dfki.de>	refactored or reverted computeTheory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11544 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Driver/WriteFn.hs GraphLogic.hs /hets/Interfaces/Utils.hs /hets/PGIP/DataTypesUtils.hs /hets/PGIP/DgCommands.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/TheoremHideShift.hs
02a84229da51532505a93fc2abfca1ccf81b4446	15-Mar-2009	Razvan Pascanu <r.pascanu@jacobs-university.de>	duplicate code ticket solved git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11526 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs Utils.hs
44c1fff98bd6c54db237bef5030657d3f47058a5	09-Mar-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Added LIB_NAME to GInfo and changed GUI modules to use it instead of LIB_NAME stored in IntIState. Working on multiple open graphs is working again. Global history management is still broken. Reload in library graph is working. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11503 cec4b9c1-7d33-0410-9eda-942365e851bb GraphDisplay.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs ShowGraph.hs ShowLibGraph.hs /hets/Interfaces/Utils.hs
e2a334fa04447bab0555008d5f785670d50e2406	08-Mar-2009	Christian Maeder <Christian.Maeder@dfki.de>	only compose if dgn_sigma exists git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11499 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
c745add71930134bc085a544783213179bd3e734	04-Mar-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	First changes for a new reload. Not working yet. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11481 cec4b9c1-7d33-0410-9eda-942365e851bb GraphAbstraction.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs ShowLibGraph.hs
dda4e358a429dc24dd09d42b409d709a19eff159	25-Feb-2009	Christian Maeder <Christian.Maeder@dfki.de>	refactored Theorem Hide Shift git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11433 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Proofs/Automatic.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Static/DevGraph.hs
f3e815e0f960f2c002904b18ad75c149a3827d9f	24-Feb-2009	Christian Maeder <Christian.Maeder@dfki.de>	added node info about ingoing hiding edges git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11426 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Static/AnalysisLibrary.hs /hets/Static/DevGraph.hs
d9f20cf968e246ec283f0c09f60af4b47b174398	21-Feb-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	There is now a new menu entry for hiding all new proven edges. see #641 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11420 cec4b9c1-7d33-0410-9eda-942365e851bb GraphAbstraction.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs /hets/Interfaces/DataTypes.hs
3e3efd4ce838940032e875e6d08712a177c9c1d0	21-Feb-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Compressed edges have the original color if all compressed edges are from the same type. see #631 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11419 cec4b9c1-7d33-0410-9eda-942365e851bb GraphAbstraction.hs GraphLogic.hs
560fa417492c1a5fedbd32836170897c0d0e4dd7	21-Feb-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Fixed problem with undo automatic. see #668 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11418 cec4b9c1-7d33-0410-9eda-942365e851bb GraphDisplay.hs GraphLogic.hs
8a1077f446e5a0e127e0805e2c1efe6bf5eeb0d8	20-Feb-2009	Christian Maeder <Christian.Maeder@dfki.de>	joined DGTranslation code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11415 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
8570098ac3fd21ad5232a3fb697263b83d698957	19-Feb-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Fixed reload bug. see #669 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11410 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
6e2eec5459edd957812c141381dc78376c8704b4	19-Feb-2009	Christian Maeder <Christian.Maeder@dfki.de>	checked edge type and redisplayed git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11403 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
90238e5e8984a05575f6bc4db87d34bb3290fe26	19-Feb-2009	Christian Maeder <Christian.Maeder@dfki.de>	apply conservativity changes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11401 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
888fefaddbeb8d75a861b1d689b191b44d1853e1	02-Feb-2009	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Fixed bug #665. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11347 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
33518a476fb26a4247d87dbea27398de4eed017d	27-Jan-2009	Razvan Pascanu <r.pascanu@jacobs-university.de>	bug fixed: wrong name in generated script git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11321 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
1b8fa772576455ffee720f32b86ef6ab8a87b611	23-Jan-2009	Christian Maeder <Christian.Maeder@dfki.de>	refactored getLibDeps git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11309 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs ShowLibGraph.hs
1ac36418f204bbe56f4cd951a979180721758999	19-Jan-2009	Christian Maeder <Christian.Maeder@dfki.de>	extended for structured VSE proofs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11281 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs /hets/Proofs/InferBasic.hs /hets/Proofs/VSE.hs
a8cb7f98b61a508ae329fc3d5b3aef3daca2e2ad	16-Jan-2009	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	extended warning concerning hiding links git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11266 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
8f5219469b89a15dc6d4c2c30463775975f5841c	15-Jan-2009	Razvan Pascanu <r.pascanu@jacobs-university.de>	history issue fixed git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11265 cec4b9c1-7d33-0410-9eda-942365e851bb GraphDisplay.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs ShowGraph.hs Utils.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/History.hs /hets/Interfaces/Utils.hs /hets/PGIP/Commands.hs /hets/PGIP/ConsCommands.hs /hets/PGIP/DgCommands.hs /hets/PGIP/InfoCommands.hs /hets/PGIP/Interface.hs /hets/PGIP/ProveCommands.hs /hets/PGIP/UndoRedo.hs /hets/Proofs/InferBasic.hs
a4e6fb26100f53e3b1e9f5b97c2e0a0c129294e5	15-Jan-2009	Christian Maeder <Christian.Maeder@dfki.de>	removed trailing spaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11264 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/AS_CspCASL.der.hs GraphDisplay.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs GtkUtils.hs History.hs ShowGraph.hs ShowLibGraph.hs /hets/Interfaces/History.hs /hets/Proofs/Automatic.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/InferBasic.hs /hets/Proofs/TheoremHideShift.hs /hets/Syntax/Parse_AS_Structured.hs
8b23feb0879618f786f08152c6df6b6e2cb8898b	15-Jan-2009	Mihai Codescu <mcodescu@informatik.uni-bremen.de>	normal form node test git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11262 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/TheoremHideShift.hs
71654489020a03cf6ce9f2947f3da26a996f9c32	07-Jan-2009	Razvan Pascanu <r.pascanu@jacobs-university.de>	Changes to GUI to use common datatypes in Interfaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11229 cec4b9c1-7d33-0410-9eda-942365e851bb GraphDisplay.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs History.hs ShowGraph.hs ShowLibGraph.hs /hets/Interfaces/History.hs /hets/PGIP/DataTypesUtils.hs /hets/PGIP/DgCommands.hs /hets/Proofs/InferBasic.hs
4e9e95ba35a68f3c767bc0b23ebf9e904e442517	19-Dec-2008	Christian Maeder <Christian.Maeder@dfki.de>	support uni version 2 with hierarchical module names git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11173 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Common/UniUtils.hs AbstractGraphView.hs GenericATP.hs GraphAbstraction.hs GraphDisplay.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs HTkUtils.hs History.hs ProofDetails.hs ProofManagement.hs ShowGraph.hs ShowLibGraph.hs ShowLogicGraph.hs UDGUtils.hs /hets/Makefile /hets/PGIP/InfoCommands.hs /hets/Propositional/ChildMessage.hs /hets/Propositional/Prop2CNF.hs /hets/Propositional/Prove.hs /hets/SoftFOL/ProveSPASS.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/var.mk
d1066b8fb69179973dcab47154858d77e72760a7	01-Dec-2008	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	All message dialogs are now provided by GUI.Utils. Changes all modules to use the windows from GUI.Utils. And hopefully fixed Gtk Error in FileDialogs. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11136 cec4b9c1-7d33-0410-9eda-942365e851bb ConsistencyChecker.hs GenericATP.hs GraphLogic.hs GraphMenu.hs GtkUtils.hs HTkUtils.hs History.hs ProofDetails.hs ProofManagement.hs Utils.hs
c2b433a060faad993fa1f1b21d11c4cd1e2a2925	01-Dec-2008	Christian Maeder <Christian.Maeder@dfki.de>	made message (hopefully) more precise git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11128 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
dcf41fdc7a1e8b740f282b82f67f29fa0c19c6ef	28-Nov-2008	Christian Maeder <Christian.Maeder@dfki.de>	improved no model dialog git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11118 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
8244e8866cad2be73b7e2b76a6659535f0f728cc	28-Nov-2008	Christian Maeder <Christian.Maeder@dfki.de>	report goal status git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11117 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Proofs/InferBasic.hs
16e45483b5ce48f0b92d01c817242a8c9b8bae02	28-Nov-2008	Christian Maeder <Christian.Maeder@dfki.de>	unlock if action not called git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11116 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
8f632858140200905305fb835e2bd708d3a357a4	27-Nov-2008	Christian Maeder <Christian.Maeder@dfki.de>	reduced time limit of cons checker and added info dialog if no model is found git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11104 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/SoftFOL/ProveDarwin.hs
40b73e7d13a858afeac95321fcdb9ac216bfbf01	26-Nov-2008	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Fixed bug #621 and also fixed a bug that causes unlocking of node while provewindow is open. Also provewindows are no longer blocking hets while opened. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11093 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GtkUtils.hs
9b01b265715d725c17d51619d297bbb97f37d1b5	19-Nov-2008	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	All GUIs provided by GUI.HTkUtils are now provided by GUI.GtkUtils too. Access is provided by GUI.Utils, if gtk2hs is available GUI.GtkUtils is used else GUI.HTkUtils. All Modules which used GUI.HTkUtils directly are now using GUI.Utils instead. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11034 cec4b9c1-7d33-0410-9eda-942365e851bb ConsistencyChecker.hs GenericATP.hs Glade/ConsistencyChecker.glade Glade/Utils.glade GraphLogic.hs GraphMenu.hs GtkConsistencyChecker.hs GtkUtils.hs HTkUtils.hs ProofManagement.hs Utils.hs /hets/OWL/ProvePellet.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/SoftFOL/ProveDarwin.hs
4b136ad539bd9f4e115dff4eee4d552a42d4437e	14-Nov-2008	Christian Maeder <Christian.Maeder@dfki.de>	refactored proof history #601 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11015 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Driver/AnaLib.hs GraphLogic.hs GraphMenu.hs /hets/PGIP/ProveConsistency.hs /hets/PGIP/UndoRedo.hs /hets/Proofs/Automatic.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Static/DevGraph.hs /hets/Static/PrintDevGraph.hs
c40a1fdc8ec6978bd27240d6780d0e0a7b6b0056	31-Oct-2008	Dominik Luecke <luecke@informatik.uni-bremen.de>	no green yet git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10929 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Common/Consistency.hs GraphLogic.hs /hets/Logic/Morphism.hs /hets/Static/DevGraph.hs
f456529a89bfb620d39e5fd5b0a53b24643db96d	31-Oct-2008	Dominik Luecke <luecke@informatik.uni-bremen.de>	refactoring for support for >1 conservativity Checker / Logic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10928 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/Logic_CASL.hs /hets/Common/Consistency.hs GraphLogic.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/PGIP/ConsCommands.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Logic_Propositional.hs
5f05f10940f1bd98cef8026263e736411b4b7705	30-Oct-2008	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	better error message git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10917 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs ShowLibGraph.hs
5b00a9d748d5bea461601ed7ed5198dfd30cf2d2	14-Oct-2008	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Changes DGNodeType and DGEdgeType to a structured datatype. The nodeType list and edgeType list are now created by functions using the new datatypes. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10825 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs GraphTypes.hs ShowLibGraph.hs /hets/Proofs/DGFlattening.hs /hets/Static/DevGraph.hs
e8da4f67ed6cf45b660aee125fdbec17bb25ed91	08-Oct-2008	Christian Maeder <Christian.Maeder@dfki.de>	changed error strings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10788 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
ce8e65eff6d8c22c974aeb31b5c954ff38105ebc	08-Oct-2008	Christian Maeder <Christian.Maeder@dfki.de>	changed mapThSensValue to monadic version mapThSensValueM git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10787 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Logic/Prover.hs
4c8d3c5a9e938633f6147b5a595b9b93bfca99e6	23-Sep-2008	Christian Maeder <Christian.Maeder@dfki.de>	separated HetCASL and LibEnv related parts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10717 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Driver/AnaLib.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs GraphLogic.hs ShowLibGraph.hs /hets/Makefile /hets/PGIP/DgCommands.hs /hets/Static/AnalysisLibrary.hs /hets/hets.hs
697e63e30aa3c309a1ef1f9357745111f8dfc5a9	22-Sep-2008	Christian Maeder <Christian.Maeder@dfki.de>	separated library names from HetCASL libraries git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10708 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/Sml_cats.hs /hets/Common/LibName.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs DGTranslation.hs GraphLogic.hs GraphTypes.hs ShowGraph.hs ShowLibGraph.hs /hets/Haskell/Haskell2DG.hs /hets/Makefile /hets/OMDoc/CASLOutput.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocOutput.hs /hets/OMDoc/Sentences.hs /hets/OWL/OWLAnalysis.hs /hets/PGIP/ConsCommands.hs /hets/PGIP/DataTypes.hs /hets/PGIP/DgCommands.hs /hets/PGIP/ProveConsistency.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.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/SoftFOL/CreateDFGDoc.hs /hets/Static/AnalysisLibrary.hs /hets/Static/DGFlattening.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Print_AS_Library.hs /hets/Test.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 /hets/CASL/CCC/FreeTypes.hs /hets/Common/Consistency.hs GraphLogic.hs /hets/Logic/Logic.hs /hets/PGIP/ConsCommands.hs
16cef01b8c0a4ecd453efadd5a03134cfff62baf	01-Sep-2008	Markus Gross <Markus.Gross@dfki.de>	The development graph now generates tactic script information which can be saved via the menu item: Edit -> Save proof-script. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10620 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/GUI.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs History.hs ShowGraph.hs /hets/Proofs/InferBasic.hs
082d0630a77f163bf6df110776d7d8de04025110	28-Aug-2008	Mihai Codescu <mcodescu@informatik.uni-bremen.de>	using normal forms in conservativity check git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10602 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
528f2d8f15b0cae81f02b34a74dbd744dffbba99	27-Aug-2008	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	corrected call of conservativity check: use whole theory of target node, not just local axioms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10591 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Logic/Prover.hs /hets/PGIP/ConsCommands.hs
1ff993f8816f130046499524b43cbf914a31d7f8	27-Aug-2008	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	show proof obligations from cons check git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10590 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/Logic_CASL.hs GraphLogic.hs /hets/Logic/Logic.hs /hets/PGIP/ConsCommands.hs
836aa06d367f900bee9aa762250471bcd00b5a9d	11-Aug-2008	Christian Maeder <Christian.Maeder@dfki.de>	only show dialog if diags are non-empty git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10476 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Common/Result.hs GraphLogic.hs
7c94b9eb1f1e61ca8a96328db59b51e2c4076527	02-Aug-2008	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Changed files according to Style-Guidlines git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10439 cec4b9c1-7d33-0410-9eda-942365e851bb AbstractGraphView.hs GraphLogic.hs GraphMenu.hs
66b035879accdc5f8337726173f800286a87fd78	01-Aug-2008	Christian Maeder <Christian.Maeder@dfki.de>	use warning messages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10429 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
e1ed1c5861dd2c3da1393e0eeb67dd4c5c7cb280	31-Jul-2008	Christian Maeder <Christian.Maeder@dfki.de>	avoided crash when no graph translation is chosen git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10415 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
020ef7ae96936c65cec4c35beee4d4ba52e6719f	25-Jul-2008	Christian Maeder <Christian.Maeder@dfki.de>	removed DGToSpec git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10394 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Static/DGToSpec.hs
8681833aefdae18bfd52607b841373f024bbd99c	26-Jun-2008	Christian Maeder <Christian.Maeder@dfki.de>	added node number to focusNode git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10208 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
038fc609b1d0dfe9698c4cab26fc7db2225820ef	23-Jun-2008	Mihai Codescu <mcodescu@informatik.uni-bremen.de>	introduced flag for computeTheory to use normal forms just when possible git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10179 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Driver/WriteFn.hs GraphLogic.hs /hets/PGIP/ConsCommands.hs /hets/PGIP/DataTypesUtils.hs /hets/PGIP/DgCommands.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/TheoremHideShift.hs /hets/Static/DGFlattening.hs
78a89642a508eebac00332f9df777dd3e4b285ce	20-Jun-2008	Mihai Codescu <mcodescu@informatik.uni-bremen.de>	fixed bug in Show theory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10164 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
36f69d35e01d2d6b6bdc165b49661f2a80af8687	11-Jun-2008	Mihai Codescu <mcodescu@informatik.uni-bremen.de>	computeTheory and theoremHideShift changes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10088 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Comorphisms/LogicGraph.hs /hets/Driver/WriteFn.hs GraphLogic.hs GraphMenu.hs /hets/Logic/Grothendieck.hs /hets/Logic/Modification.hs /hets/Maude/Morphism.hs /hets/OWL/PrintRDF.hs /hets/OWL/ProvePellet.hs /hets/OWL/StaticAnalysis.hs /hets/PGIP/Commands.hs /hets/PGIP/ConsCommands.hs /hets/PGIP/DataTypesUtils.hs /hets/PGIP/DgCommands.hs /hets/PGIP/ProveConsistency.hs /hets/PGIP/Shell.hs /hets/PGIP/UndoRedo.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.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/DGFlattening.hs /hets/Static/DGToSpec.hs /hets/Static/DevGraph.hs /hets/Static/PrintDevGraph.hs /hets/Static/WACocone.hs
ab9a693b080443def02292e2051cd39eff2941dd	29-May-2008	Christian Maeder <Christian.Maeder@dfki.de>	tried different delays git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10039 cec4b9c1-7d33-0410-9eda-942365e851bb GraphAbstraction.hs GraphLogic.hs
1be357403a65d1954fd6b5f38e5cf8a630d8112f	22-May-2008	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Fixed broken reload of libraries. see #515 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10017 cec4b9c1-7d33-0410-9eda-942365e851bb GraphAbstraction.hs GraphLogic.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 /hets/CASL/CCC/FreeTypes.hs GraphLogic.hs /hets/Logic/Logic.hs
beb5b5ae1ac8c1d3b805d312dd2e63c289157789	22-Apr-2008	Christian Maeder <Christian.Maeder@dfki.de>	see bottom of Comorphisms.SuleCFOL2SoftFOL instead git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9952 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/SoftFOL/DirtySoftFolToCaslHax.hs
63324a97283728a30932828a612c7b0b0f687624	21-Apr-2008	Christian Maeder <Christian.Maeder@dfki.de>	prepare model computation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9947 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Comorphisms/SuleCFOL2SoftFOL.hs GraphLogic.hs /hets/Logic/Comorphism.hs /hets/Proofs/InferBasic.hs /hets/SoftFOL/ProveDarwin.hs
48aead0425e0f2fea2ce7c2e9b810e9be8347f86	10-Apr-2008	Christian Maeder <Christian.Maeder@dfki.de>	tuned threadDelay git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9911 cec4b9c1-7d33-0410-9eda-942365e851bb GraphAbstraction.hs GraphLogic.hs
7f2af58714b8dd8ad7a4145e897590e44260ed9f	09-Apr-2008	Christian Maeder <Christian.Maeder@dfki.de>	removed applyTypeChanges git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9908 cec4b9c1-7d33-0410-9eda-942365e851bb GraphDisplay.hs GraphLogic.hs
79d103748927615310322af6f7806c7cef11a802	09-Apr-2008	Christian Maeder <Christian.Maeder@dfki.de>	cleaned up git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9901 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
86b2d79be961f0247a2eed10ed4f86d8d6a7639d	09-Apr-2008	Christian Maeder <Christian.Maeder@dfki.de>	removed duplicate code and tuned treadDelay git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9900 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Common/Result.hs GraphAbstraction.hs GraphLogic.hs
415b2b968b52f687ba19f57aa85c9c5ee36f91e0	07-Apr-2008	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Added changes to applyChanges, because the check for nullifying changes moved to davinci. Also added delays to hideNodes, showNodes and runAndLock to prevent timing issues. see #513 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9888 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs
5044e8de9e6fde7a139a5e34324c92a4d08a6e73	06-Apr-2008	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Fixed bug with activation and deactivation of uDrawGraph window. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9885 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs
2028dc2c091bb60343e15985948a59b955276cbf	03-Apr-2008	Christian Maeder <Christian.Maeder@dfki.de>	simplified mergeDGNodeLab git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9875 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
03bbcb1fefdbd8bc4e8329ca2688809d84aff0a9	03-Apr-2008	Christian Maeder <Christian.Maeder@dfki.de>	removed show sublogic menu git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9874 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs
c34e6d82f6b05bb950e168609ae8c0406c854d87	03-Apr-2008	Christian Maeder <Christian.Maeder@dfki.de>	removed menus that display a part of the node info git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9870 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs
361b0ea84a403f7fca382f7159b8f45a0acb9338	02-Apr-2008	Christian Maeder <Christian.Maeder@dfki.de>	simplified apply changes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9867 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
4e4ae97dbe90db466576ba3ebb52a274f94acc13	02-Apr-2008	Christian Maeder <Christian.Maeder@dfki.de>	refactored convert nodes and edges git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9866 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
0dba5bbaaef2f620f3b83a16ab6b229c3dd50c98	02-Apr-2008	Christian Maeder <Christian.Maeder@dfki.de>	refactored copyGInfo wrt to LIB_NAME git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9865 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphTypes.hs ShowLibGraph.hs
0b61123e96092dd42e8db6c54a24f3eccbdacb85	02-Apr-2008	Christian Maeder <Christian.Maeder@dfki.de>	fixed showReferencedLibrary git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9864 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
521045d36343cd17dd217a81d4b9422ad6ab6a07	01-Apr-2008	Christian Maeder <Christian.Maeder@dfki.de>	shortened edge menus git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9861 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs /hets/Static/PrintDevGraph.hs
38122cbf09ad3dcc31a826cc4093f630515a5cfc	01-Apr-2008	Christian Maeder <Christian.Maeder@dfki.de>	shortened node menus git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9852 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs /hets/Static/PrintDevGraph.hs
84ba39232a012abf2085c8a421ebce6abc52d56e	21-Mar-2008	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Added DGNodeType and DGEdgeType datatypes to Static.DevGraph and changed the GUI Modules to use them instead of the string representation. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9828 cec4b9c1-7d33-0410-9eda-942365e851bb GraphAbstraction.hs GraphDisplay.hs GraphLogic.hs GraphMenu.hs /hets/Static/DevGraph.hs
bbd9ff47b93f02c2cb2f101b074da02a2f683fe3	19-Mar-2008	Christian Maeder <Christian.Maeder@dfki.de>	handle proof history (replay, undo, redo) for global rules and automatic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9788 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Driver/WriteFn.hs GraphLogic.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Global.hs /hets/Static/AnalysisLibrary.hs
79743b26bfee4b8c606b2a75771c1122b96c797d	19-Mar-2008	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Changes types used for map indices in GraphAbstraction to be more typesafe. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9787 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/GUI.hs GraphAbstraction.hs GraphLogic.hs GraphMenu.hs
76d96735a2a826b3028a0bedbcc97fb5137170fd	17-Mar-2008	Christian Maeder <Christian.Maeder@dfki.de>	removed tabs and trailing white space git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9776 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Comorphisms/DL2CASL_DL.hs GraphLogic.hs GraphMenu.hs /hets/RelationalScheme/StaticAnalysis.hs
66fd8f017efdb8a6c862c3f1856dfaef90865dd5	17-Mar-2008	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Added new module GraphAbstraction as a replacement for AbstractGraphView. See ticket #480. This commit also contains fixes for the tickets #399, #471 and #482. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9775 cec4b9c1-7d33-0410-9eda-942365e851bb GraphAbstraction.hs GraphDisplay.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs ShowLibGraph.hs /hets/Static/DevGraph.hs
5e7d391150065a328837d54837b427efffcf2287	12-Mar-2008	Christian Maeder <Christian.Maeder@dfki.de>	fix for #506 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9749 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Proofs/ComputeColimit.hs
b6a59f004903ac7bc96323ee3ef09c01fd221157	12-Mar-2008	Christian Maeder <Christian.Maeder@dfki.de>	added history dumping git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9747 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Static/PrintDevGraph.hs
12368e292c1abf7eaf975f20ee30ef7820ac5dd5	10-Mar-2008	Christian Maeder <Christian.Maeder@dfki.de>	introduced differently typed index maps git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9730 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/Grothendieck.hs GraphLogic.hs ProofManagement.hs /hets/Haskell/Haskell2DG.hs /hets/Logic/Grothendieck.hs /hets/OMDoc/OMDocInput.hs /hets/OWL/OWLAnalysis.hs /hets/OWL/StructureAnalysis.hs /hets/PGIP/ProveCommands.hs /hets/Proofs/AbstractState.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Global.hs /hets/Proofs/Local.hs /hets/Static/AnalysisStructured.hs /hets/Static/CheckGlobalContext.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/GTheory.hs /hets/Static/WACocone.hs /hets/Test.hs
c41a1c38edbd787d8fd12b9b5f11b73a37dafe0f	05-Mar-2008	Christian Maeder <Christian.Maeder@dfki.de>	dgn_cons_status is only a False Bool currently git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9699 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
0881d93fe826509b59721eb4bccd6070ffd59f03	21-Feb-2008	Christian Maeder <Christian.Maeder@dfki.de>	fix #483 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9601 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Static/DevGraph.hs
d7cd912931db6776292ac42d07ddc5386bb4673d	11-Feb-2008	Christian Maeder <Christian.Maeder@dfki.de>	do not use convertToMap git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9537 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
5a1609e164a43ffb6c7103eacb3688e3def0674a	05-Dec-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	corrected spelling git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9314 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
93eeaffa1087fc6eae3f19b8ca5affb7802799fd	05-Dec-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Added FileDialog to 'Save Graph for uDrawGraph' menu function. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9313 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
1a389234e68da7c3d087b038307ed8c66fc6dc32	05-Dec-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Added menubotton 'Focus node' and corresponding function #127. But there is a bug descriped in #471. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9308 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs
5bed2c62278d4f062c980a72c631578a9ee4a608	04-Dec-2007	Christian Maeder <Christian.Maeder@dfki.de>	removed trailing spaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9286 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/QuickCheck.hs /hets/CASL_DL/PredefinedCASLAxioms.hs /hets/Comorphisms/CASL_DL2CASL.hs GraphLogic.hs
7ae38566aaf40710cd83ffa3ba25655c4ad22741	28-Nov-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Save function for Graphs reimplemented. #145 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9263 cec4b9c1-7d33-0410-9eda-942365e851bb AbstractGraphView.hs GraphLogic.hs GraphMenu.hs
7520452bb30b5abbd471f82352fc4c1c937e02c5	26-Nov-2007	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	added description git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9238 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
331603b37dec12e37e2e1df9634ef0f2c5c73ddf	19-Nov-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	its now impossible to run undo/redo/hide nodes/show nodes/proofs while one of this function is still running. Fixes a bug for #460. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9209 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs GraphTypes.hs
38f8320f50c5f63965ba42e4e48f38be07c823cf	02-Nov-2007	Christian Maeder <Christian.Maeder@dfki.de>	removed trailing white space using: perl -i -ple 's/ +$_g' /.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9131 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs GraphLogic.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaSign.hs
a44f1558006c43dda309b3d1e5a1214443f07048	01-Nov-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Concurrency is now working (as far as it has been tested). git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9130 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
966a6c024c828387023fccb0cd0049f78687e5dc	31-Oct-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	its now possible to open one prover window for each node of a devgraph. prove menu functions can be applied at the same time too. CAUTION: open a prover window, applying proofs automatic and then the local prove will delete changes from proof automatic of that node. will be fixed soon. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9115 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphTypes.hs
db6762eb6c962c6143a8867231e113dbc18569f5	31-Oct-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	The use of locking DGNodeLabs added. for each node is just one proverwindow allowed. Before it can work the possibility for opening more than one prover window must be implemented. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9114 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Static/DevGraph.hs
308f8e668578eadb8b2eb2af4abd0d63c656505a	30-Oct-2007	Christian Maeder <Christian.Maeder@dfki.de>	removed putStrLn git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9107 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
c7e03d0708369f944b6f235057b39142a21599f2	29-Oct-2007	Mihai Codescu <mcodescu@informatik.uni-bremen.de>	CASL signatures colimits and gWeaklyAmalgamableCocone git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9094 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/Amalgamability.hs /hets/CASL/ColimSign.hs /hets/CASL/Logic_CASL.hs /hets/CASL/Morphism.hs /hets/Common/Id.hs /hets/Common/LogicT.hs /hets/Common/Result.hs /hets/Common/SFKT.hs /hets/Common/SetColimit.hs /hets/Comorphisms/LogicGraph.hs GraphLogic.hs GraphMenu.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/TheoremHideShift.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DevGraph.hs /hets/Static/WACocone.hs
f9e0b18852b238ddb649d341194e05d7200d1bbe	29-Oct-2007	Christian Maeder <Christian.Maeder@dfki.de>	extended signatures are already needed during logic specific static analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9093 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Common/ExtSign.hs /hets/Driver/WriteFn.hs DGTranslation.hs GraphLogic.hs ProofManagement.hs Taxonomy.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Isabelle/CreateTheories.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Makefile /hets/OMDoc/OMDocInput.hs /hets/OWL_DL/OWLAnalysis.hs /hets/OWL_DL/StructureAna.hs /hets/OWL_DL/ToHaskellAS.hs /hets/PGIP/InfoCommands.hs /hets/Proofs/AbstractState.hs /hets/Proofs/InferBasic.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DGTranslation.hs /hets/Static/GTheory.hs
1bc5dccbf0083a620ae1181c717fea75e4af5e5c	18-Oct-2007	Christian Maeder <Christian.Maeder@dfki.de>	added extended signatures git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9060 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/Grothendieck.hs /hets/Driver/WriteFn.hs DGTranslation.hs GraphLogic.hs ProofManagement.hs Taxonomy.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Isabelle/CreateTheories.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Makefile /hets/OMDoc/OMDocInput.hs /hets/OWL_DL/OWLAnalysis.hs /hets/OWL_DL/StructureAna.hs /hets/OWL_DL/ToHaskellAS.hs /hets/PGIP/InfoCommands.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/InferBasic.hs /hets/SoftFOL/CreateDFGDoc.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/GTheory.hs
c40b7badd217089d8a256dabdf8f7d4e219ca215	17-Oct-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Problem with multiple windows and undo/redo fixed. Undo/Redo is now one function with a new parameter (undo True, redo False). A global undo/redo step is now changed at least one DGraph with at least one change. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9059 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs GraphTypes.hs /hets/Proofs/Automatic.hs
efd5c582300190b8d463545c703902b43d7357f0	10-Oct-2007	Christian Maeder <Christian.Maeder@dfki.de>	removed duplicate code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9024 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
a96ea65117eaf61ed34248bdf76e4e2144288c9d	09-Oct-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Undo/Redo performance improved. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9017 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphTypes.hs ShowGraph.hs
17d4f8c5576d93f36cafe68161cdb960ec49ce7c	09-Oct-2007	Christian Maeder <Christian.Maeder@dfki.de>	moved ref info deeper into the node label git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9009 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Haskell/Haskell2DG.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OWL_DL/StructureAna.hs /hets/PGIP/CMDLShell.hs /hets/PGIP/CMDLUtils.hs /hets/PGIP/InfoCommands.hs /hets/PGIP/ProveCommands.hs /hets/Proofs/Global.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/TheoremHideShift.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/DGToSpec.hs /hets/Static/DevGraph.hs /hets/Static/GTheory.hs
17784d3672916ce07283f871da0b0798f3822ccb	04-Oct-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	A bug with uninitialized MVars fixed. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8993 cec4b9c1-7d33-0410-9eda-942365e851bb GraphDisplay.hs GraphLogic.hs GraphMenu.hs
7ad31de80b6544478f15dde43e22f0b7f612c438	03-Oct-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	MVars for locking in DevGraph replaced by Maybe MVar to avoid using error. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8984 cec4b9c1-7d33-0410-9eda-942365e851bb GraphDisplay.hs GraphLogic.hs GraphMenu.hs /hets/Haskell/Haskell2DG.hs /hets/OMDoc/OMDocInput.hs /hets/OWL_DL/StructureAna.hs /hets/Proofs/Global.hs /hets/Proofs/TheoremHideShift.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/DevGraph.hs
da955132262baab309a50fdffe228c9efe68251d	27-Sep-2007	Cui Jian <ken@informatik.uni-bremen.de>	cleaned up codes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8947 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/ATCTest2.hs /hets/CASL.hs /hets/CASL_DL.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/Prop2CASL.hs /hets/CspCASL/AS_CspCASL_Process.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/Driver.hs /hets/GMP/CoalitionL.hs /hets/GMP/GMPAS.hs /hets/GMP/GMPParser.hs /hets/GMP/GMPSAT.hs /hets/GMP/GradedML.hs /hets/GMP/Main.hs /hets/GMP/MajorityL.hs /hets/GMP/ModalK.hs /hets/GMP/ModalKD.hs /hets/GMP/ModalLogic.hs /hets/GMP/ToRacer.hs /hets/GUI.hs AbstractGraphView.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs HTkUtils.hs PrintUtils.hs /hets/Haskell.hs /hets/Isabelle.hs /hets/Logic.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Lottery/Test.hs /hets/Lottery/Zaehler.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc/ATerm.hs /hets/OMDoc/Container.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/Util.hs /hets/OMDoc/XmlHandling.hs /hets/OWL_DL.hs /hets/OWL_DL/OWLAnalysis.hs /hets/OWL_DL/Print.hs /hets/PGIP/CMDLShell.hs /hets/PGIP/CMDLState.hs /hets/PGIP/CMDLUtils.hs /hets/PGIP/DgCommands.hs /hets/PGIP/InfoCommands.hs /hets/PGIP/Interface.hs /hets/PGIP/ProveCommands.hs /hets/PGIP/UndoRedo.hs /hets/Proofs.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.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.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/Conversions.hs /hets/Propositional/InverseAnalysis.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveHelp.hs /hets/SoftFOL/ProverState.hs /hets/Static/AnalysisLibrary.hs /hets/Static/DevGraph.hs /hets/Static/GTheory.hs /hets/Taxonomy.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.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
64325303fc09fc4d88ced49be11ff2d29966422a	27-Sep-2007	Cui Jian <ken@informatik.uni-bremen.de>	cleaned up codes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8938 cec4b9c1-7d33-0410-9eda-942365e851bb AbstractGraphView.hs GraphLogic.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Composition.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/TheoremHideShift.hs /hets/Propositional/Analysis.hs /hets/Static/AnalysisLibrary.hs /hets/Static/DevGraph.hs /hets/Taxonomy/MMiSSOntologyGraph.hs
37e30366abd83c00a5d5447b45694627fd783de8	24-Sep-2007	Cui Jian <ken@informatik.uni-bremen.de>	added comments and modified some codes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8901 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/Local.hs /hets/Static/AnalysisLibrary.hs
5674a959750ec9b9290a34317e6de57bcbd3ac01	24-Sep-2007	Cui Jian <ken@informatik.uni-bremen.de>	added comments git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8896 cec4b9c1-7d33-0410-9eda-942365e851bb AbstractGraphView.hs GraphLogic.hs HTkUtils.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Static/DevGraph.hs
97b8e548427713e0089a30fcc2df84e0f6aa7ffa	21-Sep-2007	Cui Jian <ken@informatik.uni-bremen.de>	use map instead of list, see ticket 422 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8884 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
d5f9a0b274192a496eb8d2fb8ce81c33ac2f1717	14-Sep-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Show spec is not using a text window git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8849 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs ShowLibGraph.hs
6c59ae2c44a1fe22ef1712a57afe129e9dbd3368	14-Sep-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	saving of uDrawGraph graphs and status added. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8848 cec4b9c1-7d33-0410-9eda-942365e851bb AbstractGraphView.hs GraphLogic.hs GraphMenu.hs
152e9fe73d97a51ab34ea7e6e6118521776a0e22	29-Aug-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Changes in undo/redo. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8741 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs GraphTypes.hs ShowGraph.hs
ddc662fdf0207eae2034d7b68ae5e2225c575207	28-Aug-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Redo/Undo is now global. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8731 cec4b9c1-7d33-0410-9eda-942365e851bb GraphDisplay.hs GraphLogic.hs GraphTypes.hs /hets/Static/DevGraph.hs
2e7f9f052c6dd3165ead2564618eefb7ff1e7526	27-Aug-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Redo/Undo bugfix. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8716 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
b5a5755f7d034f5ebc9f7f45e878c68695e139c4	24-Aug-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	MVar for locking added to DGNode and DGRef. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8703 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs /hets/OMDoc/OMDocInput.hs /hets/OWL_DL/StructureAna.hs /hets/PGIP/CMDLShell.hs /hets/PGIP/CMDLUtils.hs /hets/PGIP/InfoCommands.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/TheoremHideShift.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/DGToSpec.hs /hets/Static/DevGraph.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 /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/SignFuns.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/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 ConsistencyChecker.hs DGTranslation.hs GenericATP.hs GenericATPState.hs GraphDisplay.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs PrintUtils.hs ProofDetails.hs ShowLibGraph.hs ShowLogicGraph.hs displayDependencyGraph.hs 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
ba5cdd22d00311dfa1f594bc704d99492dd1dca6	22-Aug-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	spelling corrected git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8674 cec4b9c1-7d33-0410-9eda-942365e851bb GraphDisplay.hs GraphLogic.hs GraphMenu.hs
293b25835a956ece11d20b3dc022df4e1226b16c	22-Aug-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Hiding/Show nodes bugfix. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8672 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphTypes.hs
545d0cd78159cade346b579d06052638b19b0f72	21-Aug-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	New graphs created by Show referenced Library are now hiding internal nodes too. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8670 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs ShowLibGraph.hs
4d3b50fc78a0c99ff2914fb23f3c7fba6e38d790	21-Aug-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Now there are bindings for the close and exit menu. its not possible to open a dev graph twice. there is no main window anymore, that means hets quits when all uDrawGraph windows are closed or exit is pressed. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8664 cec4b9c1-7d33-0410-9eda-942365e851bb AbstractGraphView.hs GraphDisplay.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs ShowGraph.hs ShowLibGraph.hs /hets/Static/AnalysisLibrary.hs
be688cc3aa83344b0141321d2d20bf6a8d5c5686	16-Aug-2007	Christian Maeder <Christian.Maeder@dfki.de>	added MVar to DGraph and removed Show instance git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8629 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/Grothendieck.hs GraphLogic.hs /hets/OWL_DL/OWLAnalysis.hs /hets/Static/DevGraph.hs
1842453990fed8a1bd7a5ac792d7982c1d2bfcd5	15-Aug-2007	Christian Maeder <Christian.Maeder@dfki.de>	made a separate module for G_theory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8618 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/DevGraph.der.hs /hets/ATC/Grothendieck.hs /hets/Driver/WriteFn.hs ConsistencyChecker.hs DGTranslation.hs GenericATP.hs GenericATPState.hs GraphLogic.hs HTkUtils.hs ProofDetails.hs ProofManagement.hs ShowLibGraph.hs Taxonomy.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Isabelle/CreateTheories.hs /hets/Makefile /hets/OMDoc/HetsDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OWL_DL/OWLAnalysis.hs /hets/OWL_DL/StructureAna.hs /hets/PGIP/CMDLShell.hs /hets/PGIP/CMDLState.hs /hets/PGIP/CMDLUtils.hs /hets/PGIP/DgCommands.hs /hets/PGIP/InfoCommands.hs /hets/PGIP/ProveCommands.hs /hets/Proofs/AbstractState.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/TheoremHideShift.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/CheckGlobalContext.hs /hets/Static/DGToSpec.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/GTheory.hs /hets/Static/PrintDevGraph.hs /hets/Test.hs
5107ba7da675778f2fded68493512b60eff8a455	23-Jul-2007	Christian Maeder <Christian.Maeder@dfki.de>	replaced GlobalContext by DGraph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8455 cec4b9c1-7d33-0410-9eda-942365e851bb DGTranslation.hs GraphDisplay.hs GraphLogic.hs ShowLibGraph.hs
80d769f833e4a758489610c62d17a5fea634d9e6	16-Jul-2007	Klaus Luettich <luettich@informatik.uni-bremen.de>	fixed bug in ticket #401 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8375 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs
40c18e3f63c23085e5bb36ea35efe141a87df8e4	11-Jul-2007	Klaus Luettich <luettich@informatik.uni-bremen.de>	added some deactivations of the GUI and some messages for hiding and revealing of unnamed nodes, the initialization of the Development Graph, and for proofActions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8341 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs ShowLibGraph.hs
76ecd8e01387d1edc9197f3464073264fa2c789a	09-Jul-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	cant hide red nodes. bug with disapearing nodes fixed git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8289 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs
aa07f9c4585a94514dcff2979d853d6e04c12fb9	04-Jul-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	If names of internal nodes are shown befor hiding they are shown after showing again. Internal nodes dont loss their names after proofing. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8236 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs
fe1f344573c570949fa4f255c68bb9026c609832	04-Jul-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Hide Nodes now always shows the last internal node that is not between named nodes. Sorting2 is now working again. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8234 cec4b9c1-7d33-0410-9eda-942365e851bb AbstractGraphView.hs GraphLogic.hs GraphMenu.hs ShowLibGraph.hs
8836fa284a241af325aa6f41234b5130b26ec4f9	18-Jun-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Devgraph starts at startup too. Prooffunctions automaticly show internal nodes when proofing and hides them again after. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8067 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs ShowGraph.hs ShowLibGraph.hs
109b67ffce2bad83667e2f4a319d2d7f380f91af	17-Jun-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Changes startwindow to library dependency graph. fixed a bug with 'graph not found' when multiple dev graphs are open, but working on more than one dev graph a a time is still not working fine. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8053 cec4b9c1-7d33-0410-9eda-942365e851bb AbstractGraphView.hs ConvertDevToAbstractGraph.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs ShowGraph.hs ShowLibGraph.hs
0193c86704431f83731015a77cb613d67ae4e3c2	17-Jun-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Hiding internal Nodes between named nodes at Startup git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8052 cec4b9c1-7d33-0410-9eda-942365e851bb AbstractGraphView.hs GraphLogic.hs GraphMenu.hs ShowGraph.hs ShowLibGraph.hs
6b26240dca29e026900a83d51c75ca230a072a16	10-Jun-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Some comments and litte changes. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8008 cec4b9c1-7d33-0410-9eda-942365e851bb GraphLogic.hs GraphMenu.hs
53e76316f409f6b1b57ed3d2e5cb9cfe1cb511e5	10-Jun-2007	Thiemo Wiedemeyer <raider@informatik.uni-bremen.de>	Splited ConvertDevToAbsractGraph.hs into four files: GraphTypes containing the typedefinitions, GraphMenu containing the functions for the menu creation, GraphLogic containing the Logic to manipulate the Graph, ConvertDevToAbstractGraph containing the inistialization. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8006 cec4b9c1-7d33-0410-9eda-942365e851bb ConvertDevToAbstractGraph.hs GraphLogic.hs GraphMenu.hs GraphTypes.hs ShowGraph.hs