History log of /hets/Comorphisms/LogicGraph.hs
Revision Date Author Comments Expand
6b9d418b9d00bf4f5b37be276a48bed04965a0ed 08-Jan-2018 Eugen Kuksa <kuksa.eugen@gmail.com>

Add Comorphism from CASL to TPTP (#1731) * adapted SuleCFOL2SoftFOL to SuleCFOL2TPTP * SuleCFOL2TPTP: made it compile * removed superfluous stuff from comorphism * description of comorphism * Add implementation notes. * Add first functions structure, implement subsort encoding. * Implement remainder of sort axioms and function axioms. * Work in progress: prepare sign. * Handle overloading of ops and preds. * Resolve conditionals and translate formulae. * Rename variables (must start uppercase). * Remove translation clutter. * Rename target logic. * Create translated Sign. * Fix resolving unique existential quantifier. * Fix resolving Conditional TERMs. * Lots of small fixes. * More small fixes. * Work in progress: Recognise conjectures. * Work in progress: Recognise conjectures #2. * Ensure that the tempdir exists. * Fix sentence name translation. * Work on TODOs. * Fix subsort sentences. * CASL test file for comorphisms * more CASL tests * Replace own code be CASL.Utils code. * more CASL tests * more CASL tests * corrected sublogic * Nat example * Replace all non-alphanumeric characters. * Move Morphism to Morphism.hs and rename TPTP.Logic to TPTP.Logic_TPTP. * Remove now useless comments. * use scoped type variables * Remove sentence prefix. * Add helper functions for 'and' and 'or'. * Translate false to false. * Fail with the module name in the message. * Add reference to Hets issue. * Translate space to underscore. * Fix partial overloading translation. * Get rid of compiler warnings. * Simplify language_name. * Fix error message. * Simplify GenSuleCFOL2TPTP data structure.
a836ddc0778b3eb7636b831a3ca0afabab6c13c0 18-May-2016 mcodescu <mscodescu@gmail.com>

negation normal form as a separate comorphism
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 Adl2CASL.hs CASL2CoCASL.hs CASL2CspCASL.hs CASL2ExtModal.hs CASL2HasCASL.hs CASL2Modal.hs CASL2PCFOL.hs CASL2Prop.hs CASL2SubCFOL.hs CASL2TopSort.hs CASL2VSE.hs CASL2VSEImport.hs CASL2VSERefine.hs CASL_DL2CASL.hs CFOL2IsabelleHOL.hs CSMOF2CASL.hs CoCASL2CoPCFOL.hs CoCASL2CoSubCFOL.hs CoCFOL2IsabelleHOL.hs CommonLogic2CASL.hs CommonLogic2IsabelleHOL.hs CommonLogicModuleElimination.hs CspCASL2Modal.hs DFOL2CASL.hs DynLogicList.hs ExtModal2CASL.hs ExtModal2ExtModalNoSubsorts.hs ExtModal2ExtModalTotal.hs ExtModal2HasCASL.hs ExtModal2OWL.hs GetPreludeLib.hs HasCASL2HasCASL.hs HasCASL2Haskell.hs HasCASL2IsabelleHOL.hs HasCASL2PCoClTyConsHOL.hs HasCASL2THFP_P.hs Haskell2IsabelleHOLCF.hs HetLogicGraph.hs HolLight2Isabelle.hs Hs2HOLCFaux.hs Hybrid2CASL.hs KnownProvers.hs LogicGraph.hs LogicList.hs Maude2CASL.hs Modal2CASL.hs MonadicHasCASLTranslation.hs PCoClTyConsHOL2IsabelleHOL.hs PCoClTyConsHOL2PairsInIsaHOL.hs PPolyTyConsHOL2IsaUtils.hs Prop2CASL.hs Prop2CommonLogic.hs Prop2QBF.hs QBF2Prop.hs QVTR2CASL.hs RelScheme2CASL.hs SoftFOL2CommonLogic.hs SuleCFOL2SoftFOL.hs THFP2THF0.hs THFP_P2HasCASL.hs THFP_P2THFP.hs test/showKP.hs test/sublogicGraph.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/Print_AS.hs /hets/ConstraintCASL/StaticAna.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Comorphisms.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/SymMapAna.hs /hets/CspCASL/SymbItems.hs /hets/CspCASL/Symbol.hs /hets/CspCASLProver.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs /hets/Driver/AnaLib.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/ReadLibDefn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModal2Ship.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/Keywords.hs /hets/ExtModal/Logic_ExtModal.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Parse_AS.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/Ship.hs /hets/ExtModal/StatAna.hs /hets/ExtModal/Sublogic.hs /hets/Fpl/As.der.hs /hets/Fpl/Logic_Fpl.hs /hets/Fpl/Morphism.hs /hets/Fpl/Sign.hs /hets/Fpl/StatAna.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogicUtils.hs /hets/FreeCAD/As.hs /hets/FreeCAD/HetPrinter.hs /hets/FreeCAD/Logic_FreeCAD.hs /hets/FreeCAD/PrintAs.hs /hets/FreeCAD/Translator.hs /hets/FreeCAD/VecTools.hs /hets/FreeCAD/XMLPrinter.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Cond.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/GenericATP.hs /hets/GUI/GraphAbstraction.hs /hets/GUI/GraphDisplay.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/GUI/GraphTypes.hs /hets/GUI/GtkAddSentence.hs /hets/GUI/GtkAutomaticProofs.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkDisprove.hs /hets/GUI/GtkGenericATP.hs /hets/GUI/GtkLinkTypeChoice.hs /hets/GUI/GtkProverGUI.hs /hets/GUI/GtkUtils.hs /hets/GUI/HTkGenericATP.hs /hets/GUI/HTkProofDetails.hs /hets/GUI/HTkProverGUI.hs /hets/GUI/HTkUtils.hs /hets/GUI/ProverGUI.hs /hets/GUI/ShowGraph.hs /hets/GUI/ShowLibGraph.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/ShowRefTree.hs /hets/GUI/Taxonomy.hs /hets/GUI/UDGUtils.hs /hets/GUI/Utils.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/HToken.hs /hets/HasCASL/InteractiveTests.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MatchCAD.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/ToItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/HolLight/Helper.hs /hets/HolLight/HolLight2DG.hs /hets/HolLight/Logic_HolLight.hs /hets/HolLight/Sentence.hs /hets/HolLight/Sign.hs /hets/HolLight/Term.hs /hets/Hybrid/AS_Hybrid.der.hs /hets/Hybrid/HybridSign.hs /hets/Hybrid/Keywords.hs /hets/Hybrid/Logic_Hybrid.hs /hets/Hybrid/Parse_AS.hs /hets/Hybrid/Print_AS.hs /hets/Hybrid/StatAna.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Interfaces/Process.hs /hets/Interfaces/Utils.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/Isa2DG.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/LF/AS.hs /hets/LF/Analysis.hs /hets/LF/Framework.hs /hets/LF/ImplOL.hs /hets/LF/Logic_LF.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/KnownIris.hs /hets/Logic/LGToJson.hs /hets/Logic/LGToXml.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/MMT/Hets2mmt.hs /hets/MMT/Tools.hs /hets/MMT/XMLtoPT.hs /hets/Maude/AS_Maude.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/Parse.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sentence.hs /hets/Maude/Shellout.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/ModalSystems.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/Import.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/XmlInterface.hs /hets/OWL2/AS.hs /hets/OWL2/CASL2OWL.hs /hets/OWL2/ColimSign.hs /hets/OWL2/ColonKeywords.hs /hets/OWL2/Conservativity.hs /hets/OWL2/CreateOWL.hs /hets/OWL2/DMU2OWL2.hs /hets/OWL2/Extract.hs /hets/OWL2/ExtractModule.hs /hets/OWL2/Function.hs /hets/OWL2/Keywords.hs /hets/OWL2/Logic_OWL2.hs /hets/OWL2/MS.hs /hets/OWL2/MS2Ship.hs /hets/OWL2/ManchesterParser.hs /hets/OWL2/ManchesterPrint.hs /hets/OWL2/Medusa.hs /hets/OWL2/MedusaToJson.hs /hets/OWL2/Morphism.hs /hets/OWL2/OWL22CASL.hs /hets/OWL2/OWL22CommonLogic.hs /hets/OWL2/Parse.hs /hets/OWL2/ParseOWL.hs /hets/OWL2/ParseOWLAsLibDefn.hs /hets/OWL2/Print.hs /hets/OWL2/Profiles.hs /hets/OWL2/ProfilesAndSublogics.hs /hets/OWL2/Propositional2OWL2.hs /hets/OWL2/ProveFact.hs /hets/OWL2/ProvePellet.hs /hets/OWL2/ProverState.hs /hets/OWL2/Rename.hs /hets/OWL2/ShipSyntax.hs /hets/OWL2/Sign.hs /hets/OWL2/StaticAnalysis.hs /hets/OWL2/Sublogic.hs /hets/OWL2/Symbols.hs /hets/OWL2/Taxonomy.hs /hets/OWL2/Theorem.hs /hets/OWL2/Translate.hs /hets/OWL2/XML.hs /hets/OWL2/XMLConversion.hs /hets/OWL2/XMLKeywords.hs /hets/OWL2/scripts/runConv.hs /hets/OWL2/scripts/runManchester.hs /hets/OWL2/scripts/runXML.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs /hets/PGIP/ParseProofScript.hs /hets/PGIP/Query.hs /hets/PGIP/Server.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/TriangleCons.hs /hets/Proofs/VSE.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Conversions.hs /hets/Propositional/Fold.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Analysis.hs /hets/QBF/Logic_QBF.hs /hets/QBF/Morphism.hs /hets/QBF/Parse_AS_Basic.hs /hets/QBF/ProveDepQBF.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QBF/Tools.hs /hets/QVTR/As.hs /hets/QVTR/Logic_QVTR.hs /hets/QVTR/ParseQvtAsLibDefn.hs /hets/QVTR/Parser.hs /hets/QVTR/Print.hs /hets/QVTR/Sign.hs /hets/QVTR/StatAna.hs /hets/RDF/AS.hs /hets/RDF/Function.hs /hets/RDF/Logic_RDF.hs /hets/RDF/Morphism.hs /hets/RDF/Parse.hs /hets/RDF/ParseRDFAsLibDefn.hs /hets/RDF/Print.hs /hets/RDF/Sign.hs /hets/RDF/StaticAnalysis.hs /hets/RDF/Symbols.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/Logic_Rel.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Scratch.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/EProver.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ParseTPTP.hs /hets/SoftFOL/ParseTPTPAsLibDefn.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHyperHyper.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveMetis.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/StatAna.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/ConsInclusions.hs /hets/Static/DGNavigation.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DgUtils.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/FromXmlUtils.hs /hets/Static/GTheory.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/SpecLoader.hs /hets/Static/ToJson.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs /hets/Static/XGraph.hs /hets/Static/XSimplePath.hs /hets/Static/test/TestDGTrans.hs /hets/Syntax.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/Syntax/hetpa.hs /hets/THF/As.der.hs /hets/THF/Cons.hs /hets/THF/HasCASL2THF0Buildins.hs /hets/THF/Logic_THF.hs /hets/THF/ParseTHF.hs /hets/THF/Poly.hs /hets/THF/Print.hs /hets/THF/PrintTHF.hs /hets/THF/ProveIsabelle.hs /hets/THF/ProveLeoII.hs /hets/THF/ProveSatallax.hs /hets/THF/ProverState.hs /hets/THF/SZSProver.hs /hets/THF/Sign.hs /hets/THF/StaticAnalysisTHF.hs /hets/THF/Sublogic.hs /hets/THF/Translate.hs /hets/THF/Utils.hs /hets/Taxonomy/AbstractGraphView.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/TopHybrid/AS_TopHybrid.der.hs /hets/TopHybrid/Logic_TopHybrid.hs /hets/TopHybrid/Parse_AS.hs /hets/TopHybrid/Print_AS.hs /hets/TopHybrid/StatAna.hs /hets/TopHybrid/TopHybridSign.hs /hets/TopHybrid/Utilities.hs /hets/VSE/Ana.hs /hets/VSE/As.hs /hets/VSE/Fold.hs /hets/VSE/Logic_VSE.hs /hets/VSE/Parse.hs /hets/VSE/Prove.hs /hets/VSE/ToSExpr.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Base64.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/utils/itcor/GenItCorrections.hs
2954f6dd519742dd6d6dd8de6f3e5902ed6c07ab 11-Mar-2016 mcodescu <mscodescu@gmail.com>

comorphisms, need more testing
5b65f67382b3df7a09905b792ece64276cd6973c 03-Apr-2015 Till Mossakowski <till@communtu.de>

removed CASL2Prop that was the evil guy, restored ExtModal2CASL
f0c911cd8f2f63ba51ffa6662eb055a192828ec8 24-Mar-2015 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

Remove ExtModal2OWL from the list of comorphisms.
9f226cec9f978edaba67aee4c4e04e3d3b994b87 03-Sep-2013 Daniel Calegari <dcalegar@fing.edu.uy>

first incomplete version of QVTR comorphism git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18160 cec4b9c1-7d33-0410-9eda-942365e851bb
8f8c59d19f9f1eb7801a637a3ab0686b2ca62bd4 01-Aug-2013 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

default comorphism for CSMOF git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18115 cec4b9c1-7d33-0410-9eda-942365e851bb
f3a838d9e2932da421939f348a2c3d31ded88989 01-Aug-2013 Daniel Calegari <dcalegar@fing.edu.uy>

CSMOF2CASL added as a comorphism git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18114 cec4b9c1-7d33-0410-9eda-942365e851bb
81f49ee02aaa3bc870401f8883bf52742eb3ea7a 20-May-2013 Jonathan von Schroeder <sternkinder@gmail.com>

Merge branch 'hybrid' Conflicts: CASL/Logic_CASL.hs Comorphisms/LogicGraph.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17960 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/CASL/Logic_CASL.hs /hets/CASL/StaticAna.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/StatAna.hs /hets/Common/ConvertLiteral.hs /hets/Common/Doc.hs /hets/Common/Keywords.hs /hets/Common/Lib/MapSet.hs CASL2Hybrid.hs Hybrid2CASL.hs KnownProvers.hs LogicGraph.hs LogicList.hs /hets/ExtModal/Tries/teste.het /hets/Hets_input_examples/HetsVsDedProvers/hard.het /hets/Hets_input_examples/HetsVsDedProvers/hard2.het /hets/Hets_input_examples/ReconfCalc/calc.het /hets/Hets_input_examples/geo.het /hets/Hets_input_examples/simpleSentences.het /hets/Hybrid.hs /hets/Hybrid/AS_Hybrid.der.hs /hets/Hybrid/AS_Hybrid.hs /hets/Hybrid/ATC_Hybrid.der.hs /hets/Hybrid/ATC_Hybrid.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/Logic/Logic.hs /hets/Makefile /hets/Propositional/Analysis.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Parse_AS_Basic.hs /hets/TopHybrid.hs /hets/TopHybrid/AS_TopHybrid.der.hs /hets/TopHybrid/AS_TopHybrid.hs /hets/TopHybrid/ATC_TopHybrid.der.hs /hets/TopHybrid/ATC_TopHybrid.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
f9a337c44fbf30e9ea2058ccdb023cdb54bf92ff 27-Mar-2013 Jonathan von Schroeder <sternkinder@gmail.com>

changed target sublogic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17827 cec4b9c1-7d33-0410-9eda-942365e851bb
7cad2789c70e29f733effaed840d034e4a9e7aad 27-Mar-2013 Jonathan von Schroeder <sternkinder@gmail.com>

first version of comorphism TFHP -&gt; HasCASL (todo: numbering of bound variables?) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17826 cec4b9c1-7d33-0410-9eda-942365e851bb
81e71677da25aee1caa7fef177c45ddd69bbf22e 27-Mar-2013 Jonathan von Schroeder <sternkinder@gmail.com>

removed useless semantic extension git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17819 cec4b9c1-7d33-0410-9eda-942365e851bb
ce2aa52cf67a45b753e1695a46d0ba8400934fa7 02-Dec-2012 Jonathan von Schroeder <sternkinder@gmail.com>

added products to comorphism from HasCASL to THF git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17664 cec4b9c1-7d33-0410-9eda-942365e851bb
33058801ab5d25176a18013fe052489a49175bb0 29-Nov-2012 Jonathan von Schroeder <sternkinder@gmail.com>

* adjusted sublogics for thf internal comorphisms * fixed detection for ShortTypes extension git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17650 cec4b9c1-7d33-0410-9eda-942365e851bb
bf453a6867cca0aa530bc8cac9eed9c3f70594b4 29-Nov-2012 Jonathan von Schroeder <sternkinder@gmail.com>

added infrastructure for polymorphism in thf0 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17647 cec4b9c1-7d33-0410-9eda-942365e851bb
ee9093207e84fdb2f9578e3c33fc61fb5cb1b2ff 17-Oct-2012 Christian Maeder <Christian.Maeder@dfki.de>

moved content from CommonLogic2CASLCompact to CommonLogic2CASL and deleted files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17575 cec4b9c1-7d33-0410-9eda-942365e851bb
1233e4dc235245cee0a6888f71cba0377934ae8f 17-Oct-2012 Christian Maeder <Christian.Maeder@dfki.de>

renamed comorphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17574 cec4b9c1-7d33-0410-9eda-942365e851bb
12ba16b2f63d9fabaf9f49c05d391d28b01788d7 15-Oct-2012 Christian Maeder <Christian.Maeder@dfki.de>

create signature only for Seq comorphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17566 cec4b9c1-7d33-0410-9eda-942365e851bb
f9b4684c7d2aadcc970d74bd53c2ffdd999a780e 15-Oct-2012 Christian Maeder <Christian.Maeder@dfki.de>

use the full sublogic as comorphism indicator git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17565 cec4b9c1-7d33-0410-9eda-942365e851bb
c40f92ca02d1553c1250dc49ed6f7b5c71401f17 14-Oct-2012 Jonathan von Schroeder <sternkinder@gmail.com>

added file missing in last commit git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17558 cec4b9c1-7d33-0410-9eda-942365e851bb
da386d94a33b67b44c0a3d38fcb1e86c47b16cab 14-Oct-2012 Mihai Codescu <mcodescu@informatik.uni-bremen.de>

FOLSeq2CFOL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17557 cec4b9c1-7d33-0410-9eda-942365e851bb
5b6ade33b580d76b6df7feaf235b3d47f6ce0327 13-Oct-2012 Jonathan von Schroeder <sternkinder@gmail.com>

added comorphism to remove ShortTypes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17553 cec4b9c1-7d33-0410-9eda-942365e851bb
55dfa79a16e5f0ddb60bceab3717c07e62e65846 13-Oct-2012 Jonathan von Schroeder <sternkinder@gmail.com>

made semantic extension explicit git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17552 cec4b9c1-7d33-0410-9eda-942365e851bb
510721537a32e4fb45f572576356d907aa6e2cf0 12-Oct-2012 Christian Maeder <Christian.Maeder@dfki.de>

prepared for CommonLogicImp2CASLCompact git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17540 cec4b9c1-7d33-0410-9eda-942365e851bb
b3c65c964090c079cf82fc09191b021fcae2419b 11-Oct-2012 Christian Maeder <Christian.Maeder@dfki.de>

renamed CommonLogic2CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17529 cec4b9c1-7d33-0410-9eda-942365e851bb
d0916b96ca9f90822c0bb6062b13d5de83bf410a 03-Oct-2012 Soeren D. Schulze <soeren.d.schulze@gmx.de>

recognize IRIs for "logic" and "serialization" git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17475 cec4b9c1-7d33-0410-9eda-942365e851bb
99b4ae53a7d2f1b71e8e737c82cacd3a7ec64e9b 01-Oct-2012 Jonathan von Schroeder <sternkinder@gmail.com>

first version of comorphism THFP2THF0 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17462 cec4b9c1-7d33-0410-9eda-942365e851bb
914b90f3d6644fd464c5b26712b65d515a58c037 01-Oct-2012 Christian Maeder <Christian.Maeder@dfki.de>

added ExtModal comorphisms to code out subsorts and partial functions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17457 cec4b9c1-7d33-0410-9eda-942365e851bb
7c44d0c6ca67c2e2f7bb3b95dbc2e8cf7aa20e11 18-Sep-2012 Christian Maeder <Christian.Maeder@dfki.de>

created curried HasCASL signature git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17351 cec4b9c1-7d33-0410-9eda-942365e851bb
c549c7db6c5c3fa20df0df194eb968fc0bd377b3 18-Sep-2012 Christian Maeder <Christian.Maeder@dfki.de>

generalized signature and symbol mapping git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17348 cec4b9c1-7d33-0410-9eda-942365e851bb
91e9fabb7e21a8ca74be83cfbb06e79b99f4e42c 06-Sep-2012 Christian Maeder <Christian.Maeder@dfki.de>

use ExtModal2CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17303 cec4b9c1-7d33-0410-9eda-942365e851bb
e16215e4bbdbab16b50cd2e0e6fff19682baaa39 31-Aug-2012 Soeren D. Schulze <soeren.d.schulze@gmx.de>

CommonLogic2Isabelle stub git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17280 cec4b9c1-7d33-0410-9eda-942365e851bb
233c9bf946d6f3689b7901dfab3255300c873187 23-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

added ExtModal2OWL comorphism git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17231 cec4b9c1-7d33-0410-9eda-942365e851bb
1ea4b86ab3f5a34824945e099176785070496d2d 20-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

some translations work git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17212 cec4b9c1-7d33-0410-9eda-942365e851bb
fdb0456772ace0c63f206610a692b1de9b8b894d 08-Aug-2012 Christian Maeder <Christian.Maeder@dfki.de>

omit unfinished comorphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17150 cec4b9c1-7d33-0410-9eda-942365e851bb
1070181294f9381ac4ac19eba1c3ecc40fc731a4 01-Aug-2012 Mihaela Turcu <m.turcu@jacobs-university.de>

started comorphism from ext modal to casl git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17088 cec4b9c1-7d33-0410-9eda-942365e851bb
aa7cc6042ab7f01edc6a66d4f80951ed40562a27 31-Jul-2012 Christian Maeder <Christian.Maeder@dfki.de>

added comorphism skeleton git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17080 cec4b9c1-7d33-0410-9eda-942365e851bb
f8065e835104ae5eaa148e9b37a81e768990724b 01-May-2012 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

added IRI expansion on library/structure/architecture level git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16844 cec4b9c1-7d33-0410-9eda-942365e851bb
dabd165ae9e9b9dc3498eb54839efb5c57a42cc0 14-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

added comorphism CL2CASL-Compact git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16288 cec4b9c1-7d33-0410-9eda-942365e851bb
91cba1f3e1492aaa327d5558583c684aaebc67de 13-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

fixed compiletime error git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16286 cec4b9c1-7d33-0410-9eda-942365e851bb
298cf1492fd48721ce991b70b7744a00ceb0d216 13-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

minor fixes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16285 cec4b9c1-7d33-0410-9eda-942365e851bb
8eb651219fe25f4f98beef71ab00677c15e9c11f 12-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

changed comorphism name git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16269 cec4b9c1-7d33-0410-9eda-942365e851bb
8b6fee95f9d848c78824b9aeccdf9a081efaebd3 05-Oct-2011 Felix Gabriel Mance <f.mance@jacobs-university.de>

added part of Propositional2OWL2 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16235 cec4b9c1-7d33-0410-9eda-942365e851bb
0fefa32a0a32ce300e3a436457f19a04c1ca07f7 12-Sep-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

more use of SoftFOL.Sign in SoftFOL2CL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16117 cec4b9c1-7d33-0410-9eda-942365e851bb
e3ed0ae47dd551ddd9d74c33fff11b19a23a1d97 03-Sep-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

added Prop2CL Comorphism git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16086 cec4b9c1-7d33-0410-9eda-942365e851bb
308834907a120fd8771e18292ed2ca9cd767c12d 25-Aug-2011 Christian Maeder <Christian.Maeder@dfki.de>

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

DMU2OWL.hs KnownProvers.hs LogicGraph.hs LogicList.hs OWL2CASL.hs OWL2CommonLogic.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/Makefile /hets/OWL.hs /hets/OWL/AS.hs /hets/OWL/AnalysisNotes.txt /hets/OWL/ColimSign.hs /hets/OWL/ColonKeywords.hs /hets/OWL/ColonKeywords.list /hets/OWL/Conservativity.hs /hets/OWL/Keywords.hs /hets/OWL/Keywords.list /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/ProverState.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/OWL/doc/README_pellet_de.txt /hets/OWL/doc/README_pellet_en.txt /hets/OWL/doc/owl-casl-doc_en.tex /hets/OWL/java/Makefile /hets/OWL/java/README.txt /hets/OWL/java/build.xml /hets/OWL/java/de/unibremen/informatik/Fact/Fact.java /hets/OWL/java/de/unibremen/informatik/FactProver/FactProver.java /hets/OWL/java/de/unibremen/informatik/FactProver/Prove.java /hets/OWL/java/de/unibremen/informatik/atermRenderer/ATermFunc.java /hets/OWL/java/de/unibremen/informatik/atermRenderer/OWL2ATerm.java /hets/OWL/java/de/unibremen/informatik/atermRenderer/OWLATermFormat.java /hets/OWL/java/de/unibremen/informatik/atermRenderer/OWLATermObjectRenderer.java /hets/OWL/java/de/unibremen/informatik/atermRenderer/OWLATermRenderer.java /hets/OWL/java/de/unibremen/informatik/atermRenderer/OWLATermStorer.java /hets/OWL/java/de/unibremen/informatik/locality/LocalityChecker.java /hets/OWL/java/lib/FaCTpp-OWLAPI-v1.4.0.1.jar /hets/OWL/java/lib/native/i686/libFaCTPlusPlusJNI.so /hets/OWL/java/lib/native/x86_64/libFaCTPlusPlusJNI.so /hets/OWL/java/testStuff/ontoTestV2.java /hets/OWL/java/testStuff/ontoTestV3.java /hets/OWL/java/testStuff/photography.owl /hets/OWL/output.tmp /hets/OWL/tests/ActorDefault.owl /hets/OWL/tests/AnnoTestProLite.owl /hets/OWL/tests/BravoAirGrounding.owl /hets/OWL/tests/BravoAirGrounding.wsdl /hets/OWL/tests/BravoAirProcess.owl /hets/OWL/tests/BravoAirProfile.owl /hets/OWL/tests/BravoAirService.owl /hets/OWL/tests/Concepts.owl /hets/OWL/tests/CongoGrounding.owl /hets/OWL/tests/CongoGrounding.wsdl /hets/OWL/tests/CongoProcess.owl /hets/OWL/tests/CongoProfile.owl /hets/OWL/tests/CongoService.owl /hets/OWL/tests/Country.owl /hets/OWL/tests/Expression.owl /hets/OWL/tests/Grounding.owl /hets/OWL/tests/Makefile /hets/OWL/tests/ObjectList.owl /hets/OWL/tests/Process.owl /hets/OWL/tests/Profile.owl /hets/OWL/tests/ProfileAdditionalParameters.owl /hets/OWL/tests/ProfileHierarchy.owl /hets/OWL/tests/Service.owl /hets/OWL/tests/Test2.owl /hets/OWL/tests/beer.owl /hets/OWL/tests/family.owl /hets/OWL/tests/pizza.owl /hets/OWL/tests/replaceLinks.sh /hets/OWL/tests/run.sh /hets/OWL/tests/test1.xml /hets/OWL/tests/test3.owl /hets/OWL/tests/time-entry.owl /hets/OWL/tests/wine.rdf /hets/OWL/tests/wine.xml /hets/hets.hs
658187feb755694eb5ff29561bda7109c22c743c 24-Aug-2011 Alexis Tsogias <Alexis.Tsogias@dfki.de>

Added a Comorphism for HasCasl to THF0. Some other minor changes. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16011 cec4b9c1-7d33-0410-9eda-942365e851bb
ce5fb67d0cc1313da4e63feeb6da2d318773f589 24-Aug-2011 Christian Maeder <Christian.Maeder@dfki.de>

added embedding comorphism to ExtModal git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16009 cec4b9c1-7d33-0410-9eda-942365e851bb
a74ab3c5acce836728749fef70e3f21eeff4a486 06-Aug-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

CommonLogic2CommonLogic finished git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15907 cec4b9c1-7d33-0410-9eda-942365e851bb
a14f8718962397b20a50b662f2e5b3101991b195 27-Jul-2011 Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de>

OWL22CommonLogic comorphism added git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15741 cec4b9c1-7d33-0410-9eda-942365e851bb
6122c5e77abe39b3c296c2f273159178bd7a3e71 21-Jul-2011 Francisc Nicolae Bungiu <f.bungiu@jacobs-university.de>

DMU2OWL2 comorphism added git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15648 cec4b9c1-7d33-0410-9eda-942365e851bb
f88469d6b07144237111e8148a7acf0652127066 12-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

added OWL22CASL comorphism to logic graph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15533 cec4b9c1-7d33-0410-9eda-942365e851bb
e657b7607878955a69f627e959c7cf99133f7f76 01-Apr-2011 Christian Maeder <Christian.Maeder@dfki.de>

added yet identical SoftFOL induction variant git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14838 cec4b9c1-7d33-0410-9eda-942365e851bb
a74f814d3b445eadad6f68737a98a7a303698aff 17-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

revert replacement of Map.foldWithKey to allow compilation using ghc-6.10.4 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14229 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/CASL/Amalgamability.hs /hets/CASL/Freeness.hs /hets/CASL/Morphism.hs /hets/CASL/Qualify.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToSExpr.hs /hets/CASL_DL/StatAna.hs /hets/CSL/Analysis.hs /hets/CSL/EPRelation.hs /hets/CSL/SMTComparison.hs /hets/CSL/Symbol.hs /hets/Common/Lib/Rel.hs /hets/Common/Utils.hs CASL2Prop.hs CASL2TopSort.hs CFOL2IsabelleHOL.hs CommonLogic2CASL.hs HasCASL2IsabelleHOL.hs HetLogicGraph.hs Hs2HOLCF.hs LogicGraph.hs Modal2CASL.inline.hs OWL2CASL.hs PPolyTyConsHOL2IsaUtils.hs SuleCFOL2SoftFOL.hs /hets/CspCASL/Morphism.hs /hets/GUI/GraphAbstraction.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeRel.hs /hets/Interfaces/GenericATPState.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Maude/Morphism.hs /hets/Maude/PreComorphism.hs /hets/Maude/Sign.hs /hets/OMDoc/CASLOutput.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocOutput.hs /hets/OWL/Namespace.hs /hets/OWL/StructureAnalysis.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/SoftFOL/Conversions.hs /hets/Static/AnalysisStructured.hs /hets/Static/DevGraph.hs /hets/Static/ToXml.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Temporal/Symbol.hs
9e5c10805bd50b5baaf6bf1f6a3f085c7afb17d8 16-Nov-2010 Christian Maeder <Christian.Maeder@dfki.de>

use Map.foldrWithKey git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14227 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/CASL/Amalgamability.hs /hets/CASL/Freeness.hs /hets/CASL/Morphism.hs /hets/CASL/Qualify.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToSExpr.hs /hets/CASL_DL/StatAna.hs /hets/Common/Utils.hs CASL2Prop.hs CASL2TopSort.hs CFOL2IsabelleHOL.hs CommonLogic2CASL.hs HasCASL2IsabelleHOL.hs HetLogicGraph.hs Hs2HOLCF.hs LogicGraph.hs Modal2CASL.inline.hs OWL2CASL.hs PPolyTyConsHOL2IsaUtils.hs SuleCFOL2SoftFOL.hs /hets/CspCASL/Morphism.hs /hets/GUI/GraphAbstraction.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeRel.hs /hets/Interfaces/GenericATPState.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Maude/Morphism.hs /hets/Maude/PreComorphism.hs /hets/Maude/Sign.hs /hets/OMDoc/CASLOutput.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocOutput.hs /hets/OWL/Namespace.hs /hets/OWL/StructureAnalysis.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/SoftFOL/Conversions.hs /hets/Static/AnalysisStructured.hs /hets/Static/DevGraph.hs /hets/Static/ToXml.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Temporal/Symbol.hs
6fc41a5f93c1859888c6e6d6eb0ddff86d48fb45 26-Oct-2010 Mihai Codescu <mcodescu@informatik.uni-bremen.de>

hurried implementation of the comorphism git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14165 cec4b9c1-7d33-0410-9eda-942365e851bb
98890889ffb2e8f6f722b00e265a211f13b5a861 01-Sep-2010 Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de>

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

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

added Adl signature translation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13885 cec4b9c1-7d33-0410-9eda-942365e851bb
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 CASL2CoCASL.hs CASL2CspCASL.hs CASL2HasCASL.hs CASL2Modal.hs CASL2PCFOL.hs CASL2Prop.hs CASL2SubCFOL.hs CASL2TopSort.hs CASL2VSE.hs CASL2VSEImport.hs CASL2VSERefine.hs CASL_DL2CASL.hs CFOL2IsabelleHOL.hs CoCASL2CoPCFOL.hs CoCASL2CoSubCFOL.hs CoCFOL2IsabelleHOL.hs CommonLogic2CASL.hs CspCASL2Modal.hs DFOL2CASL.hs DMU2OWL.hs DynLogicList.hs GetPreludeLib.hs HasCASL2HasCASL.hs HasCASL2Haskell.hs HasCASL2IsabelleHOL.hs HasCASL2PCoClTyConsHOL.hs HetLogicGraph.hs Hs2HOLCF.hs Hs2HOLCFaux.hs KnownProvers.hs LogicGraph.hs LogicList.hs Maude2CASL.hs Modal2CASL.inline.hs MonadicHasCASLTranslation.hs OWL2CASL.hs OWL2CommonLogic.hs PCoClTyConsHOL2IsabelleHOL.hs PCoClTyConsHOL2PairsInIsaHOL.hs PPolyTyConsHOL2IsaUtils.hs Prop2CASL.hs Prop2QBF.hs QBF2Prop.hs RelScheme2CASL.hs SuleCFOL2SoftFOL.hs test/showKP.hs test/sublogicGraph.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/Print_AS.hs /hets/ConstraintCASL/StaticAna.hs /hets/Constraints/AS_BASIC_Constraints.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Comorphisms.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/CspProver_Consts.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/testwrap.hs /hets/CspCASLProver.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs /hets/Driver/AnaLib.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/ExtModal.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/ExtModalSystems.hs /hets/ExtModal/Keywords.hs /hets/ExtModal/Logic_ExtModal.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/StatAna.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogic.hs /hets/GMP/CompositionalityExperiment.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Con.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/GenericSequent.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GMP/Proof.hs /hets/GMP/SegExamples.hs /hets/GMP/versioning/coloss-0.0.4/Combination.hs /hets/GMP/versioning/coloss-0.0.4/Generic.hs /hets/GMP/versioning/coloss-0.0.4/examples.coalition.hs /hets/GMP/versioning/coloss-0.0.4/examples.gluings.hs /hets/GMP/versioning/coloss-0.0.4/examples.gml.hs /hets/GMP/versioning/coloss-0.0.4/examples.hml.hs /hets/GMP/versioning/coloss-0.0.4/examples.pml.hs /hets/GMP/versioning/coloss-0.0.4/examples.segala.hs /hets/GMP/versioning/coloss-0.0.4/gg.head.hs /hets/GMP/versioning/coloss-0.0.4/gg.tmpl.hs /hets/GMP/versioning/coloss-0.0.4/gg.util.hs /hets/GMP/versioning/gmp-0.0.1/GMP/CoalitionL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPAS.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPSAT.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GenericML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GradedML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Lexer.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Main.hs /hets/GMP/versioning/gmp-0.0.1/GMP/MajorityL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalK.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalKD.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalLogic.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/IneqSolvTester.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/LWBParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/TestGenGML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/ToRacer.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompAS.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompGeneric.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Main.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/C.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/CKCM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Con.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/DisjUnion.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/G.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/HM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/K.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/KD.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Mon.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/P.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/SysS.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Prover.hs /hets/GMP/versioning/gmp-coloss-0.0.3/Main.hs /hets/GUI.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/GenericATP.hs /hets/GUI/Glade/Template.append.hs /hets/GUI/GraphAbstraction.hs /hets/GUI/GraphDisplay.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/GUI/GraphTypes.hs /hets/GUI/GtkAutomaticProofs.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkDisprove.hs /hets/GUI/GtkGenericATP.hs /hets/GUI/GtkLinkTypeChoice.hs /hets/GUI/GtkProverGUI.hs /hets/GUI/GtkUtils.hs /hets/GUI/HTkGenericATP.hs /hets/GUI/HTkProofDetails.hs /hets/GUI/HTkProverGUI.hs /hets/GUI/HTkUtils.hs /hets/GUI/ProverGUI.hs /hets/GUI/ShowGraph.hs /hets/GUI/ShowLibGraph.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/ShowRefTree.hs /hets/GUI/Taxonomy.hs /hets/GUI/UDGUtils.hs /hets/GUI/Utils.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/HasCASL.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/HToken.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/ToItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/ProgramaticaPrelude.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/h2h.hs /hets/Haskell/h2hf.hs /hets/Haskell/hana.hs /hets/Haskell/test/HOL/Map2.hs /hets/Haskell/test/HOL/ex_class.hs /hets/Haskell/test/HOL/ex_let.hs /hets/Haskell/test/HOL/ex_list.hs /hets/Haskell/test/HOL/mrec.hs /hets/Haskell/test/HOL/mrec3.hs /hets/Haskell/test/HOL/wcard.hs /hets/Haskell/test/HOLCF/PPrel.hs /hets/Haskell/test/HOLCF/ex_fibon.hs /hets/Haskell/test/HOLCF/ex_mutrec.hs /hets/Haskell/test/HOLCF/incmpl.hs /hets/Haskell/wrap.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Interfaces/Utils.hs /hets/Isabelle.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/Isabelle/isa.hs /hets/LF/AS.hs /hets/LF/Analysis.hs /hets/LF/Framework.hs /hets/LF/Logic_LF.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Lottery/Test.hs /hets/Lottery/Zaehler.hs /hets/Maude/AS_Maude.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/Parse.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sentence.hs /hets/Maude/Shellout.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc.hs /hets/OMDoc/ATerm.hs /hets/OMDoc/Base64.hs /hets/OMDoc/CASLDefs.hs /hets/OMDoc/CASLOutput.hs /hets/OMDoc/Container.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/Import.hs /hets/OMDoc/KeyDebug.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/OMDocOutput.hs /hets/OMDoc/OMDocXml.hs /hets/OMDoc/Sentences.hs /hets/OMDoc/Util.hs /hets/OMDoc/XmlHandling.hs /hets/OMDoc/XmlInterface.hs /hets/OWL/AS.hs /hets/OWL/ColimSign.hs /hets/OWL/ColonKeywords.hs /hets/OWL/Conservativity.hs /hets/OWL/Keywords.hs /hets/OWL/Logic_OWL.hs /hets/OWL/Morphism.hs /hets/OWL/Namespace.hs /hets/OWL/OWLAnalysis.hs /hets/OWL/OWLParser.hs /hets/OWL/Parse.hs /hets/OWL/Print.hs /hets/OWL/ProveFact.hs /hets/OWL/ProvePellet.hs /hets/OWL/ReadWrite.der.hs /hets/OWL/Sign.hs /hets/OWL/StaticAnalysis.hs /hets/OWL/StructureAnalysis.hs /hets/OWL/Sublogic.hs /hets/OWL/Taxonomy.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs /hets/PGIP/ParseProofScript.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/PGIP/tests/Server.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/PathifyNames.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/VSE.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/ChildMessage.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Conversions.hs /hets/Propositional/Fold.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/Prop2CNF.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Analysis.hs /hets/QBF/Logic_QBF.hs /hets/QBF/Morphism.hs /hets/QBF/Parse_AS_Basic.hs /hets/QBF/ProveDepQBF.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QBF/Tools.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/Logic_Rel.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Search/CASL/FormulaWrapper.hs /hets/Search/CASL/NormalizationDB.hs /hets/Search/CASL/Retrieval.hs /hets/Search/Common/ACINormalization.hs /hets/Search/Common/ACStandardization.hs /hets/Search/Common/BooleanRing.hs /hets/Search/Common/CNF.hs /hets/Search/Common/Data.hs /hets/Search/Common/Intersection.hs /hets/Search/Common/Normalization.hs /hets/Search/Common/Select.hs /hets/Search/Config.hs /hets/Search/DB/Connection.hs /hets/Search/DB/DBSpec.hs /hets/Search/DB/Export.hs /hets/Search/DB/FormulaDB.hs /hets/Search/DB/FormulaDB/Inclusion.hs /hets/Search/DB/FormulaDB/Profile.hs /hets/Search/DB/FormulaDB/Statistics.hs /hets/Search/DB/MPTP.hs /hets/Search/DB/MPTP/Inclusion.hs /hets/Search/DB/MPTP/Profile.hs /hets/Search/DB/MPTP/Statistics.hs /hets/Search/SPASS/DB.hs /hets/Search/SPASS/DFGParser.hs /hets/Search/SPASS/FormulaWrapper.hs /hets/Search/SPASS/InterActiveTesting.hs /hets/Search/SPASS/Intersection.hs /hets/Search/SPASS/ReusedTheorems.hs /hets/Search/SPASS/Sign.hs /hets/Search/SPASS/UnWrap.hs /hets/Search/Utils/List.hs /hets/Search/Utils/ListSet.hs /hets/Search/Utils/SetMap.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ParseTPTP.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHyperHyper.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/dfg.hs /hets/SoftFOL/tests/GUI_tests.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/SoftFOL/tptp.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/GTheory.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs /hets/Static/test/TestDGTrans.hs /hets/Syntax/ADoc.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/Syntax/hetpa.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/Test.hs /hets/ToHaskell/test/BoolEx.hascasl.hs /hets/ToHaskell/test/Builtin.hascasl.hs /hets/ToHaskell/test/Expr.hascasl.hs /hets/ToHaskell/test/FiniteSet.hascasl.hs /hets/ToHaskell/test/Foldl.hascasl.hs /hets/ToHaskell/test/ListEx.hascasl.hs /hets/ToHaskell/test/NatEx.hascasl.hs /hets/ToHaskell/test/OpDecls.hascasl.hs /hets/ToHaskell/test/Pair.hascasl.hs /hets/ToHaskell/test/PatternEq.hascasl.hs /hets/ToHaskell/test/Sorting.hascasl.hs /hets/ToHaskell/test/Test.hascasl.hs /hets/VSE/Ana.hs /hets/VSE/As.hs /hets/VSE/Fold.hs /hets/VSE/Logic_VSE.hs /hets/VSE/Parse.hs /hets/VSE/Prove.hs /hets/VSE/ToSExpr.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Base64.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/hets.hs /hets/mini/Grothendieck.hs /hets/mini/Logic.hs /hets/mini/Main.hs /hets/mini/Parser.hs /hets/mini/Proof.hs /hets/mini/StaticAnalysis.hs /hets/mini/Structured.hs /hets/test/Map.hs /hets/test/childProcessTest.hs /hets/utils/DrIFT-src/ChaseImports.hs /hets/utils/DrIFT-src/CommandP.hs /hets/utils/DrIFT-src/DataP.hs /hets/utils/DrIFT-src/ParseLib2.hs /hets/utils/DrIFT-src/RuleUtils.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs /hets/utils/GenerateRules/GenerateRules.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/InlineAxioms/ExtInlineAxioms.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/Setup.hs /hets/utils/appendHaskellPreludeString.hs /hets/utils/createKeywordDecls.hs /hets/utils/itcor/GenItCorrections.hs
e036e115761fe7c09c210c337440a1864d794093 03-Aug-2010 Martha Rohte <mata@informatik.uni-bremen.de>

OWL2CommonLogic mapMorphism git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13809 cec4b9c1-7d33-0410-9eda-942365e851bb
eb8bd58b5980a12a7f60ed40f9baf7263bc53946 28-Jul-2010 Jonathan von Schroeder <sternkinder@gmail.com>

changes comorphisms Prop &lt;=&gt; QBF git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13774 cec4b9c1-7d33-0410-9eda-942365e851bb
12732dade065521caf9b5772b0b4001d06e17917 28-Jun-2010 Karl Luc <kluc@tzi.de>

added CommonLogic back to LogicGraph, outcommented OWL2CommonLogic due changes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13644 cec4b9c1-7d33-0410-9eda-942365e851bb
0833beb79f31e71a77e39dabdf37b2e77b8525d7 25-Jun-2010 Kristina Sojakova <kristinas@cmu.edu>

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13630 cec4b9c1-7d33-0410-9eda-942365e851bb
5b2a2c254e1072447628a5f5d95d951b7f43ec5d 12-May-2010 Karl Luc <kluc@tzi.de>

first approach of CommonLogic2Casl translation, not working yet git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13428 cec4b9c1-7d33-0410-9eda-942365e851bb
2fbb2ead4af2c1222b58504449fb63006fa3ca9d 12-May-2010 Martha Rohte <mata@informatik.uni-bremen.de>

Updated and included OWL2CommonLogic. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13423 cec4b9c1-7d33-0410-9eda-942365e851bb
2d00b580613fcdc777040a3f855e5cdbdac5d8df 22-Dec-2009 Christian Maeder <Christian.Maeder@dfki.de>

removed warnings (detected by ghc-6.12.1) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12953 cec4b9c1-7d33-0410-9eda-942365e851bb
09943dce50b9804d3729d0b989f07202205986e0 03-Nov-2009 Christian Maeder <Christian.Maeder@dfki.de>

moved lookup square and added Ord instances git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12776 cec4b9c1-7d33-0410-9eda-942365e851bb
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 CASL2PCFOL.hs CASL_DL2CASL.hs CoCASL2CoPCFOL.hs CoCASL2CoSubCFOL.hs Haskell2IsabelleHOLCF.hs Hs2HOLCF.hs Hs2HOLCFaux.hs LogicGraph.hs OWL2CASL.hs /hets/CspCASL/StatAnaCSP.hs /hets/Driver/Options.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/GraphAbstraction.hs /hets/GUI/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
d00500d90db0ff1397a9c8e82f9fb16ff68645a2 21-Oct-2009 Christian Maeder <Christian.Maeder@dfki.de>

added DMU to OWL translation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12684 cec4b9c1-7d33-0410-9eda-942365e851bb
f66d509b0e67058c91f60a7c20d6e58b67ac7720 14-Oct-2009 Christian Maeder <Christian.Maeder@dfki.de>

allow to compile without CASLEXTENSIONS git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12647 cec4b9c1-7d33-0410-9eda-942365e851bb
342beb91d58bcf41178240c37d0f6c0c4f83c53e 09-Oct-2009 Mihai Codescu <mcodescu@informatik.uni-bremen.de>

Normalization of freeness works for Maude. Needs improvements. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12611 cec4b9c1-7d33-0410-9eda-942365e851bb
2665d7759e63acff0bcd4135678f2cc6f2041d46 21-Sep-2009 Christian Maeder <Christian.Maeder@dfki.de>

switched from OPTIONS to LANGUAGE pragma git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12478 cec4b9c1-7d33-0410-9eda-942365e851bb
0f77efdcc159eee5682aabf2b9a3c178c467b466 24-Aug-2009 Adrián Riesco <ariesco@fdi.ucm.es>

Maude2CASL comorphism added again git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12272 cec4b9c1-7d33-0410-9eda-942365e851bb
d9f083ad186edd34f1c29e332efc6ea4824ef4dd 20-Aug-2009 Martin Kühl <martin.kuehl@gmail.com>

Fix the build(tm). git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12182 cec4b9c1-7d33-0410-9eda-942365e851bb
8178ab1a9429c7298930ce3482f106e6fd172989 19-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

added Maude2CASL comorphism git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12159 cec4b9c1-7d33-0410-9eda-942365e851bb
4278792968573e39da24e8eb73f931ba9c15cd50 09-Jun-2009 Christian Maeder <Christian.Maeder@dfki.de>

added monadic HasCASL translation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11788 cec4b9c1-7d33-0410-9eda-942365e851bb
b0614ce452d26051ba4c94d3b41156fb3f4b100e 15-Apr-2009 Kristina Sojakova <kristinas@cmu.edu>

Adding the implementation of Logic.Comorphism for DFOL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11688 cec4b9c1-7d33-0410-9eda-942365e851bb
228f49c7667370745d5b07c12e49b06b55e2dab5 17-Mar-2009 Christian Maeder <Christian.Maeder@dfki.de>

added CASL2Prop git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11536 cec4b9c1-7d33-0410-9eda-942365e851bb
f661402744c3babf18d3211e95ae1cc9690d4ab4 23-Feb-2009 Liam O'Reilly <csliam@swansea.ac.uk>

Removed the comorphism CspCASL2Isabelle and supporting files. The comorphism has been moved to the prover CspCASLProver which is a better "fit" for our system git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11422 cec4b9c1-7d33-0410-9eda-942365e851bb
dd1a0e54a051de7a8a49e677f0d4082b640c75c7 23-Jan-2009 Christian Maeder <Christian.Maeder@dfki.de>

added the plain CASL2VSE inclusion since this happens when CASL is read as logic VSE git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11303 cec4b9c1-7d33-0410-9eda-942365e851bb
286f4deb69d3912337bb09dd7f81284d12912ce8 21-Jan-2009 Christian Maeder <Christian.Maeder@dfki.de>

added CspCASL comorphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11292 cec4b9c1-7d33-0410-9eda-942365e851bb
317bcd45211dd8f28a8ebb3dee7a67197391fc0d 10-Nov-2008 Dominik Luecke <luecke@informatik.uni-bremen.de>

removed DL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10984 cec4b9c1-7d33-0410-9eda-942365e851bb
4faf99623e8c83a1bc94af8304db9244b8956f1b 07-Nov-2008 Dominik Luecke <luecke@informatik.uni-bremen.de>

bypassing casl_dl in owl2casl git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10968 cec4b9c1-7d33-0410-9eda-942365e851bb
c4451dc7da4a15726ba96179aecf046a5df5cae1 20-Oct-2008 Christian Maeder <Christian.Maeder@dfki.de>

allow to exclude OWL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10849 cec4b9c1-7d33-0410-9eda-942365e851bb
c3cbbe724ffe79f6ff5d53b14a42d2c5a3353c2b 10-Oct-2008 Christian Maeder <Christian.Maeder@dfki.de>

lookup yields Maybe git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10805 cec4b9c1-7d33-0410-9eda-942365e851bb
59c57d304252f055c88e49d218029dfb44ccc34e 15-Sep-2008 Christian Maeder <Christian.Maeder@dfki.de>

removed plain CASL2VSE in favour of CASL2VSEImport git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10683 cec4b9c1-7d33-0410-9eda-942365e851bb
31d95eb87da83c0463988e5ca2a520a4b1af5e4f 14-Aug-2008 Mihai Codescu <mcodescu@informatik.uni-bremen.de>

added ref comorphism to logic graph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10499 cec4b9c1-7d33-0410-9eda-942365e851bb
0b06cf161496343f3320e45d228ad4bc2f1f2b0f 12-Aug-2008 Mihai Codescu <mcodescu@informatik.uni-bremen.de>

begin comorphism with default implementations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10486 cec4b9c1-7d33-0410-9eda-942365e851bb
fc0740994421eb2773590efbf1043ecb09d15938 04-Aug-2008 Christian Maeder <Christian.Maeder@dfki.de>

new comorphism skeleton git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10445 cec4b9c1-7d33-0410-9eda-942365e851bb
6a00a2b0961b1553d4f5106d655f6f90bb6c1777 29-Jul-2008 Christian Maeder <Christian.Maeder@dfki.de>

keep non-composed inclusions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10407 cec4b9c1-7d33-0410-9eda-942365e851bb
e4257c7b13b1122a1e6ec9e43753f3e565b88449 29-Jul-2008 Christian Maeder <Christian.Maeder@dfki.de>

started #557 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10406 cec4b9c1-7d33-0410-9eda-942365e851bb
a4a01ddab418043fd569676d24d5df7f23a84490 21-Jul-2008 Christian Maeder <Christian.Maeder@dfki.de>

compute transitive inclusions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10375 cec4b9c1-7d33-0410-9eda-942365e851bb
ae35803bc1d25904228b519ebed6a7d841435c42 14-Jul-2008 Christian Maeder <Christian.Maeder@dfki.de>

shortened too long lines git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10317 cec4b9c1-7d33-0410-9eda-942365e851bb
a65b135c4ed7e68b2510bc218018ffa8f9a34fe8 03-Jul-2008 Liam O'Reilly <csliam@swansea.ac.uk>

Liam O'Reilly (Swansea): Setup Comorphism from CspCASL to IsabelleHOL. This morphism does not do anything useful yet. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10252 cec4b9c1-7d33-0410-9eda-942365e851bb
2add146602f6eb47058b67142bd91ae40a32fd66 27-Jun-2008 Christian Maeder <Christian.Maeder@dfki.de>

moved imports git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10217 cec4b9c1-7d33-0410-9eda-942365e851bb
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

LogicGraph.hs /hets/Driver/WriteFn.hs /hets/GUI/GraphLogic.hs /hets/GUI/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
37b12d1a8f271366b7a80ce2ec992f98004fd4da 03-Jun-2008 Christian Maeder <Christian.Maeder@dfki.de>

added embedding of CASL into VSE git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10055 cec4b9c1-7d33-0410-9eda-942365e851bb
cebd258d089dd05ba16927c90f0b09b8895eaaeb 01-Apr-2008 Dominik Luecke <luecke@informatik.uni-bremen.de>

added non-trivial inclusion DL-&gt;CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9855 cec4b9c1-7d33-0410-9eda-942365e851bb
fa0ee3a3fcd7ca061f2957d14ab394fe096fd63c 26-Mar-2008 Mihai Codescu <mcodescu@informatik.uni-bremen.de>

added comorphism RelScheme -&gt; CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9837 cec4b9c1-7d33-0410-9eda-942365e851bb
a406e4512e77395a77726ad41e16108f571e3d92 26-Mar-2008 Mihai Codescu <mcodescu@informatik.uni-bremen.de>

added comorphism RelScheme -&gt; CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9836 cec4b9c1-7d33-0410-9eda-942365e851bb
556f473448dfcceee22afaa89ed7a364489cdbbb 19-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

moved Any types out of Grothendieck git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9807 cec4b9c1-7d33-0410-9eda-942365e851bb
ebe4d5a8e51f6009d6e7ca465f5963ce46a07fd2 19-Mar-2008 Christian Maeder <Christian.Maeder@dfki.de>

construct inclusions of logic graph from comorphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9801 cec4b9c1-7d33-0410-9eda-942365e851bb
60e525d70f0adee5b947abc2fd47fc3cc576cc8e 13-Mar-2008 Dominik Luecke <luecke@informatik.uni-bremen.de>

added Comorphism DL2CASL_DL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9763 cec4b9c1-7d33-0410-9eda-942365e851bb
cf14e6261612b01737cb0f3d4d8e948422baab91 17-Jan-2008 Dominik Luecke <luecke@informatik.uni-bremen.de>

added CASL_DL Syntax Parser git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9445 cec4b9c1-7d33-0410-9eda-942365e851bb
917793c4f698cccff468ba82a37c65ef58d6114d 09-Jan-2008 Christian Maeder <Christian.Maeder@dfki.de>

OWL2CASL should not exist git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9416 cec4b9c1-7d33-0410-9eda-942365e851bb
0ccedaa1271b84aaabbb4b09269a04d6b11610ef 06-Jan-2008 Dominik Luecke <luecke@informatik.uni-bremen.de>

OWL2CASL_DL now included hopefully git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9410 cec4b9c1-7d33-0410-9eda-942365e851bb
6df64cc5d232c0c0d6ca337573c00544cc00d894 22-Dec-2007 Christian Maeder <Christian.Maeder@dfki.de>

Comorphisms.OWL2CASL_DL is missing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9401 cec4b9c1-7d33-0410-9eda-942365e851bb
9b8fcbb7f9a953d75d64a3fcf5c99f174b46fc1a 20-Dec-2007 Dominik Luecke <luecke@informatik.uni-bremen.de>

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

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

deleted trailing spaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9095 cec4b9c1-7d33-0410-9eda-942365e851bb
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
1cbee24256e1c03a06103283c9dd8dcd97a10f70 08-Oct-2007 Christian Maeder <Christian.Maeder@dfki.de>

added the current logic to the logic graph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9003 cec4b9c1-7d33-0410-9eda-942365e851bb
f4cf6a84492d99bc7f5ce91a121b0e5a7d30e20b 02-Oct-2007 Christian Maeder <Christian.Maeder@dfki.de>

added HasCASL2Haskell as inclusion git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8980 cec4b9c1-7d33-0410-9eda-942365e851bb
9533de2aedd63b932f9941016ad29654711c77c7 01-Oct-2007 Christian Maeder <Christian.Maeder@dfki.de>

added CspCASL2Modal git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8967 cec4b9c1-7d33-0410-9eda-942365e851bb
b4e40b91734dc997c7edbe5676d0408e49f65f0b 10-Sep-2007 Christian Maeder <Christian.Maeder@dfki.de>

renamed CASL2SoftFOL to SuleCFOL2SoftFOL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8824 cec4b9c1-7d33-0410-9eda-942365e851bb
1d581e55c7ec020a445684310394c3a5fc056e96 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@8690 cec4b9c1-7d33-0410-9eda-942365e851bb
7c8e78fd66aca3d24b77a9f9635f201e2f576d27 23-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

added more descriptive TreatFormula datatype git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8689 cec4b9c1-7d33-0410-9eda-942365e851bb
f1decd64e7a0c0d7201b5d3e0fa8196766651882 22-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

added parameters to CASL2SubCFOL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8677 cec4b9c1-7d33-0410-9eda-942365e851bb
bb4d3b6e93db1495f02de46aff5076862e30517b 09-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

added injection and projection functions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8573 cec4b9c1-7d33-0410-9eda-942365e851bb
cf7e0d6750e408ddb47545d6b8349a70cf0b47af 08-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

started implementing ticket #1 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8563 cec4b9c1-7d33-0410-9eda-942365e851bb
5096ec953f946191a5654e612feddb0ebe56f5f2 12-Jul-2007 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

removed CspCASL2Modal because this is too unfinished git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8345 cec4b9c1-7d33-0410-9eda-942365e851bb
96f0ef61a405144ff30a9d77963881dc32113750 06-Jul-2007 Klaus Luettich <luettich@informatik.uni-bremen.de>

* cleanup of unused imports in Comorphisms.LogicGraph * new heterogenous sublogic graph is implemented according to comments in ticket #336 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8279 cec4b9c1-7d33-0410-9eda-942365e851bb
2b565fe5cfb9f99857fd25b52304758d8544e266 04-Jul-2007 Mihai Codescu <codescu@iws.cs.uni-magdeburg.de>

Wrote institution comorphism modification class and added modifications as field in the logic graph. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8238 cec4b9c1-7d33-0410-9eda-942365e851bb
d000408bc0e4519f75e60555c69d5a0d1a1dd67c 29-Jun-2007 Klaus Luettich <luettich@informatik.uni-bremen.de>

claculation of heterogeneous sublogic graph has its own module now. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8201 cec4b9c1-7d33-0410-9eda-942365e851bb
bba825b39570777866d560bfde3807731131097e 28-Jun-2007 Klaus Luettich <luettich@informatik.uni-bremen.de>

* Made mapSublogic in class Comorphism partial (result type is now Maybe sublogics) * preliminary incomplete implementation of hetSublogicGraph (not accessible form the GUI yet) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8183 cec4b9c1-7d33-0410-9eda-942365e851bb
7ff59aa438d7a210789cad2c2c745bc9967eff82 28-Jun-2007 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

clarified the notion of inclusion git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8180 cec4b9c1-7d33-0410-9eda-942365e851bb
d51a78fa9460b15e5de552ca18e0014f08c96a32 27-Jun-2007 Dominik Luecke <luecke@informatik.uni-bremen.de>

Reworked Sublogics of Propositional git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8155 cec4b9c1-7d33-0410-9eda-942365e851bb
f04e8f3ff56405901be968fd4c6e9769239f1a9b 26-Jun-2007 Klaus Luettich <luettich@informatik.uni-bremen.de>

Renamed almost all files with SPASS into SoftFOL. Only SoftFOL/Logic_SPASS remains. It will be updated very soon. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8150 cec4b9c1-7d33-0410-9eda-942365e851bb

CASL2SoftFOL.hs KnownProvers.hs LogicGraph.hs LogicList.hs /hets/Driver/WriteFn.hs /hets/Makefile /hets/Propositional/Prop2CNF.hs /hets/Propositional/TestProp2CNF.hs /hets/SoftFOL.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/Logic_SPASS.hs /hets/SoftFOL/MathServCommunication.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/Prove.hs /hets/SoftFOL/ProveHelp.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/Utils.hs /hets/SoftFOL/doc/Generic_aufgabe.tex /hets/SoftFOL/tests/CMDL_tests.hs /hets/SoftFOL/tests/GUI_tests.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/SPASSTest.het /hets/SoftFOL/tests/SPASSTest.hpf /hets/SoftFOL/tests/Sokrates.hs /hets/SoftFOL/tests/asym.tptp /hets/SoftFOL/tests/check.sh /hets/SoftFOL/tests/checkMathServe.pl /hets/SoftFOL/tests/soapTest.hs
aa4679922a8363b4e494079f53aaf4f64554aae0 09-May-2007 Christian Maeder <Christian.Maeder@dfki.de>

cleaned up git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7881 cec4b9c1-7d33-0410-9eda-942365e851bb
934473566cf3a8e4044ed10e408b4c44079684b1 02-May-2007 Christian Maeder <Christian.Maeder@dfki.de>

made it compile without uni git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7859 cec4b9c1-7d33-0410-9eda-942365e851bb
017df765f5278a6033c976f86d6632b997691c5b 03-Apr-2007 Dominik Luecke <luecke@informatik.uni-bremen.de>

Prop2CNF has spass parser now git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7774 cec4b9c1-7d33-0410-9eda-942365e851bb
3987ab280f8eab8bda64da0f1e70e3f19316a551 20-Mar-2007 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

CspCASL2Modal not stable yet git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7715 cec4b9c1-7d33-0410-9eda-942365e851bb
a361e7a237379d97cc3cb963eaea97d8ee31abb4 20-Mar-2007 Razvan Pascanu <r.pascanu@jacobs-university.de>

small changes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7710 cec4b9c1-7d33-0410-9eda-942365e851bb
f43c099a90e2e435852e0a9aeb2a3b66adbb6a33 19-Mar-2007 Dominik Luecke <luecke@informatik.uni-bremen.de>

improved DFG parser git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7705 cec4b9c1-7d33-0410-9eda-942365e851bb
c6e08d5840bcbe83fb81efce17fc2c3c19e15710 19-Mar-2007 Dominik Luecke <luecke@informatik.uni-bremen.de>

Major cleanups in prop logic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7699 cec4b9c1-7d33-0410-9eda-942365e851bb
c5c3ba1d1735af9ae35b4b1cb6e60777c9ea2fb1 15-Mar-2007 Dominik Luecke <luecke@informatik.uni-bremen.de>

added some comorphisms + improved static analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7684 cec4b9c1-7d33-0410-9eda-942365e851bb
4336edf6ada5b582667322f91e705b4366798953 13-Mar-2007 Dominik Luecke <luecke@informatik.uni-bremen.de>

Added comorphism Prop-&gt;CASL pls test it git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7671 cec4b9c1-7d33-0410-9eda-942365e851bb
ad270004874ce1d0697fb30d7309f180553bb315 21-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

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

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

only the name of the first comorphism is displayed in the logic graph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7276 cec4b9c1-7d33-0410-9eda-942365e851bb
74c400939c0300510e5d789392af6245ac4fa63f 07-Nov-2006 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

added simulated induction git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7133 cec4b9c1-7d33-0410-9eda-942365e851bb
fe0e5e7c16ae2d6172cc583e0a9b8a54fce0dd55 25-Jul-2006 Christian Maeder <Christian.Maeder@dfki.de>

use CASL2SubCFOL for PCFOL2CFOL and CoCASL2SubCFOL for CoPCFOL2CoCFOL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6715 cec4b9c1-7d33-0410-9eda-942365e851bb
029ecf30a67b0f902fd270fef3bc97fce36e86ef 23-May-2006 Christian Maeder <Christian.Maeder@dfki.de>

added PCoClTyConsHOL2IsabelleHOL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6384 cec4b9c1-7d33-0410-9eda-942365e851bb
39aba3124920b29f37927f6522a81ffb5d8f892e 19-May-2006 Klaus Luettich <luettich@informatik.uni-bremen.de>

renamed logic SPASS to logic SoftFOL and comorphism CASL2SPASS to SuleCFOL2SoftFOL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6364 cec4b9c1-7d33-0410-9eda-942365e851bb
69a2065adec96bde44bf3682cb1475aed95dcbf7 17-May-2006 Christian Maeder <Christian.Maeder@dfki.de>

removed monad/thymorph comorphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6337 cec4b9c1-7d33-0410-9eda-942365e851bb
306e32e1cf1b4a38a2e64e03d8b2ac80b2dcbd0c 16-May-2006 Christian Maeder <Christian.Maeder@dfki.de>

added comorphisms for Paolo's Haskell to Isabelle translations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6334 cec4b9c1-7d33-0410-9eda-942365e851bb
e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0 29-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

expanded tabs to spaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5106 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/ATCTest.hs /hets/ATC/ATCTest2.hs /hets/ATC/DevGraph.der.hs /hets/CASL/AS_Basic_CASL.der.hs /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.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/Formula.hs /hets/CASL/LaTeX_AS_Basic.hs /hets/CASL/LaTeX_CASL.hs /hets/CASL/LiteralFuns.hs /hets/CASL/Logic_CASL.hs /hets/CASL/OpItem.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/Quantification.hs /hets/CASL/SortItem.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/Utils.hs /hets/CASL/capa.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/LaTeX_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/Common/AS_Annotation.der.hs /hets/Common/ATerm/ATermLibTest.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/ATerm/Lib.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/DefaultMorphism.hs /hets/Common/GlobalAnnotations.hs /hets/Common/LaTeX_AS_Annotation.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_utils.hs /hets/Common/Lib/Map.hs /hets/Common/Lib/RelCheck.hs /hets/Common/Lib/Set.hs /hets/Common/Lib/State.hs /hets/Common/PPUtils.hs /hets/Common/PrettyPrint.hs /hets/Common/PrintLaTeX.hs /hets/Common/Print_AS_Annotation.hs /hets/Common/RunParsers.hs /hets/Common/SimpPretty.hs /hets/Common/Token.hs /hets/Common/annos.hs /hets/Common/test_parser.hs /hets/Comorphisms.hs CASL2CoCASL.hs CASL2CspCASL.hs CASL2Modal.hs CspCASL2Modal.hs HasCASL2Haskell.hs LogicGraph.hs LogicList.hs Modal2CASL.inline.hs /hets/CspCASL.hs /hets/CspCASL/AS_CSP_CASL.hs /hets/CspCASL/CCKeywords.hs /hets/CspCASL/LaTeX_AS_CSP_CASL.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Main.hs /hets/CspCASL/Parse_AS_CSP_CASL.hs /hets/CspCASL/Print_AS_CSP_CASL.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/print_csp.hs /hets/Driver.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/GUI.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/GUI/HTkUtils.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/Taxonomy.hs /hets/GUI/WebInterface.hs /hets/GUI/hets_cgi.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Hatchet/HaskellUtils.hs /hets/Hatchet/HatAna.hs /hets/Hatchet/HatParser.hs /hets/Hatchet/Logic_Hatchet.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Lottery/Test.hs /hets/Lottery/Zaehler.hs /hets/Modal.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/LaTeX_Modal.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/OWL_DL/Logic_OWL_DL.hs /hets/OWL_DL/Namespace.hs /hets/OWL_DL/OWLAnalysis.hs /hets/OWL_DL/Parser.hs /hets/OWL_DL/Print.hs /hets/OWL_DL/ReadWrite.hs /hets/OWL_DL/Sign.hs /hets/OWL_DL/StaticAna.hs /hets/OWL_DL/StructureAna.hs /hets/OWL_DL/ToHaskellAS.hs /hets/Proofs/Composition.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/SPASS/Logic_SPASS.hs /hets/SPASS/Prove.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Syntax/ADoc.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/GlobalLibraryAnnotations.hs /hets/Syntax/LaTeX_AS_Library.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Print_HetCASL.hs /hets/Taxonomy/AbstractGraphView.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/ToHaskell/h2h.hs /hets/ToHaskell/h2hf.hs /hets/hets.hs
2ff24403408aaeb5a019c689ef4771fbe6503a9b 29-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

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

added CASL2SubCFOL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4743 cec4b9c1-7d33-0410-9eda-942365e851bb
b565cd55a13dbccc4e66c344316da525c961e4ca 16-Jul-2005 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

added coding of partiality and subsorting for CoCASL; properly renamed some encodings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4684 cec4b9c1-7d33-0410-9eda-942365e851bb
ba8deec65cff34b3f03bfc5a77072b913d5a72e9 27-Jun-2005 Klaus Luettich <luettich@informatik.uni-bremen.de>

Added CASL2SPASS to the known comorphisms. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4516 cec4b9c1-7d33-0410-9eda-942365e851bb
f3a94a197960e548ecd6520bb768cb0d547457bb 15-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

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

/hets/ATC/Set.hs /hets/ATC/Sml_cats.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/SignFuns.hs /hets/CASL/Formula.hs /hets/CASL/Inject.hs /hets/CASL/LaTeX_AS_Basic.hs /hets/CASL/LaTeX_CASL.hs /hets/CASL/LiteralFuns.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Quantification.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/capa.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Sign.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/LaTeX_COL.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LaTeX_CoCASL.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/Common/AS_Annotation.der.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/Anno_Parser.hs /hets/Common/ConvertGlobalAnnos.hs /hets/Common/ConvertLiteral.hs /hets/Common/DynamicUtils.hs /hets/Common/Earley.hs /hets/Common/GlobalAnnotations.hs /hets/Common/Id.hs /hets/Common/Keywords.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_utils.hs /hets/Common/Lexer.hs /hets/Common/Lib/Map.hs /hets/Common/Lib/Pretty.hs /hets/Common/Lib/Rel.hs /hets/Common/Lib/Set.hs /hets/Common/PPUtils.hs /hets/Common/PrettyPrint.hs /hets/Common/PrintLaTeX.hs /hets/Common/Result.hs /hets/Common/RunParsers.hs /hets/Common/SimpPretty.hs /hets/Common/Token.hs /hets/Common/Utils.hs CASL2CoCASL.hs CASL2CspCASL.hs CASL2HasCASL.hs CASL2IsabelleHOL.hs CASL2Modal.hs CASL2PCFOL.inline.hs CASL2TopSort.inline.hs CoCASL2IsabelleHOL.hs CspCASL2Modal.hs HasCASL2HasCASL.hs HasCASL2Haskell.hs HasCASL2IsabelleHOL.hs Haskell2IsabelleHOLCF.hs Hs2HOLCF.hs LogicGraph.hs LogicList.hs Modal2CASL.inline.hs /hets/CspCASL/AS_CSP_CASL.hs /hets/CspCASL/CCKeywords.hs /hets/CspCASL/CCLexer.hs /hets/CspCASL/CCToken.hs /hets/CspCASL/LaTeX_AS_CSP_CASL.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Parse_hugo.hs /hets/CspCASL/Print_AS_CSP_CASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/StatAnaCSP.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/GUI/HTkUtils.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/Utils.hs /hets/GUI/hetdg.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsToIds.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/ClassDecl.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/HToken.hs /hets/HasCASL/LaTeX_HasCASL.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/Merge.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/Unify.hs /hets/HasCASL/UniqueId.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Hatchet/ExtHaskellCvrt.hs /hets/Hatchet/HatAna.hs /hets/Hatchet/HatParser.hs /hets/Hatchet/Logic_Hatchet.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/CreateThy.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/Translate.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/LaTeX_Grothendieck.hs /hets/Logic/Languages.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/LaTeX_Modal.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/OWL_DL/AS.hs /hets/OWL_DL/Parser.hs /hets/OWL_DL/ReadWrite.hs /hets/OWL_DL/Sign.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/Proofs.hs /hets/Proofs/TheoremHideShift.hs /hets/SPASS/Conversions.hs /hets/SPASS/Logic_SPASS.hs /hets/SPASS/Print.hs /hets/SPASS/Prove.hs /hets/SPASS/Sign.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/LogicStructured.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/GlobalLibraryAnnotations.hs /hets/Syntax/LaTeX_AS_Architecture.hs /hets/Syntax/LaTeX_AS_Library.hs /hets/Syntax/LaTeX_AS_Structured.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/Print_HetCASL.hs /hets/ToHaskell/h2h.hs /hets/ToHaskell/h2hf.hs /hets/hets.hs /hets/utils/appendHaskellPreludeString.hs
97018cf5fa25b494adffd7e9b4e87320dae6bf47 15-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

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

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

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

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

changed PosItem and ShATermConversion instance generation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4217 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Graph.header.hs /hets/ATC/Grothendieck.hs /hets/ATC/Haskell.header.hs /hets/ATC/Hatchet.header.hs /hets/ATC/Proofs.header.hs /hets/ATC/Sml_cats.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/StaticAna.hs /hets/Common/ATerm/AbstractSyntax.hs /hets/Common/ATerm/ConvInstances.hs /hets/Common/ATerm/Conversion.hs /hets/Common/ATerm/Lib.hs /hets/Common/DefaultMorphism.hs /hets/Common/Id.hs /hets/Common/Result.hs HasCASL2Haskell.hs HasCASL2IsabelleHOL.hs LogicGraph.hs LogicList.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/test/Alias.hascasl.output /hets/HasCASL/test/AsPattern.hascasl.output /hets/HasCASL/test/B1.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/CMonad.hascasl.output /hets/HasCASL/test/Constrain.hascasl.output /hets/HasCASL/test/Foldl.hascasl.output /hets/HasCASL/test/Graphs.hascasl.output /hets/HasCASL/test/Lazy.hascasl.output /hets/HasCASL/test/ListEx.hascasl.output /hets/HasCASL/test/MixfixFormula.casl.output /hets/HasCASL/test/MixfixTerms.casl.output /hets/HasCASL/test/OpDecls.hascasl.output /hets/HasCASL/test/OpWithInst.hascasl.output /hets/HasCASL/test/Pair.hascasl.output /hets/HasCASL/test/PatternEq.hascasl.output /hets/HasCASL/test/PetriSystemCategory.hascasl.output /hets/HasCASL/test/PlainTypes.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/WrongMixfixTerms.hascasl.output /hets/HasCASL/test/XInternal.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/HasCASL/test/ZMapArgs.hascasl.output /hets/Logic/Logic.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs
6e29f2565572024b963af2f6d486b567307dc770 20-Mar-2005 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

named list of ordinary comorphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3985 cec4b9c1-7d33-0410-9eda-942365e851bb
f2a87c712ea3cd13f86a95cae738f861f6c4a908 21-Feb-2005 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

fixed wrong cancellation of id comorphisms on sublogics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3831 cec4b9c1-7d33-0410-9eda-942365e851bb
6fe4f162a274ea2c609e11cf662f27a997c46c32 25-Jan-2005 Paolo Torrini <paolot@informatik.uni-bremen.de>

modified to include Haskell to Isabelle HOLCF git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3710 cec4b9c1-7d33-0410-9eda-942365e851bb
58b429c45eeb9eea394b6efb521e7489feef75a6 29-Dec-2004 Christian Maeder <Christian.Maeder@dfki.de>

included HasCASL2Haskell git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3600 cec4b9c1-7d33-0410-9eda-942365e851bb
9d34a8049237647d0188ee2ec88db2dc45f1f848 19-Dec-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

Made heterogeneous spec CCS_Automaton go through; inserted true unions of Grothendieck signatures everywhere git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3574 cec4b9c1-7d33-0410-9eda-942365e851bb
a0c2edf89c8b51141bc8919b920c85548e388d00 08-Dec-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

translation CspCASL to ModalCASL added git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3536 cec4b9c1-7d33-0410-9eda-942365e851bb
c0c2380bced8159ff0297ece14eba948bd236471 24-Nov-2004 Christian Maeder <Christian.Maeder@dfki.de>

based haskell logic on programatic but only allow for --just-parse currently git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3461 cec4b9c1-7d33-0410-9eda-942365e851bb
708f4239cae428668c80488c4afb111da65ac790 09-Nov-2004 Christian Maeder <Christian.Maeder@dfki.de>

included Haskell2IsabelleHOLCF git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3408 cec4b9c1-7d33-0410-9eda-942365e851bb
410307167d116ddab45e02698eac31043619ed05 05-Nov-2004 Christian Maeder <Christian.Maeder@dfki.de>

merged in Paolo's changes of IsaSign git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3382 cec4b9c1-7d33-0410-9eda-942365e851bb
b3dca469a9e267d6d71acfdeca7bf284d0581dc7 29-Sep-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

Made CspCASL logic more completed Completed static analysis of data specs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3201 cec4b9c1-7d33-0410-9eda-942365e851bb
51e836611726885f6d2719d959ed1b51f8fd06f4 09-Aug-2004 Klaus Luettich <luettich@informatik.uni-bremen.de>

Added the Comorphism Modal2CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3035 cec4b9c1-7d33-0410-9eda-942365e851bb
ce8b15da31cd181b7e90593cbbca98f47eda29d6 22-Jul-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

Completed PCFOL2FOL Modularized CoCASL2ISabelleHOL (Partly) solved Qual_var problem in Overload git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2969 cec4b9c1-7d33-0410-9eda-942365e851bb
6d9f68d2b5fafea0b5e0fc59a1d557174e032c02 01-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

added HasCASL2HasCASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2792 cec4b9c1-7d33-0410-9eda-942365e851bb
4bc517a4dd3ac82361154d0c847cb33ad279cd0d 01-Jun-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

CoCASL coding to Isabelle Added instance Ord G_sublogics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2784 cec4b9c1-7d33-0410-9eda-942365e851bb
c4e3cade80a00690374e97f050fb5ade9d292850 01-Jun-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

CoCASL setup - cont'd git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2765 cec4b9c1-7d33-0410-9eda-942365e851bb
04d17d4f8862860f968f6b72b902163aacda6343 17-May-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

Added HasCASL2IsabelleHOL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2621 cec4b9c1-7d33-0410-9eda-942365e851bb
f2d72b2254513ef810b0951f0b13a62c2921cb4d 15-May-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

CASL2PCFOL added to logic graph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2615 cec4b9c1-7d33-0410-9eda-942365e851bb
4b3a2c618e849a0ad4fb18eba58d24f37c57272e 01-May-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

Added comorphism from CASL to Modal git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2530 cec4b9c1-7d33-0410-9eda-942365e851bb
41b374310469a547c7c2ae83f5531c77575ae2bb 26-Apr-2004 Christian Maeder <Christian.Maeder@dfki.de>

put web-page in ankle brackets for haddock git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2478 cec4b9c1-7d33-0410-9eda-942365e851bb
bf76f4fcf07abaebea587df8135de8356c26a363 24-Apr-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

Split logic graph into logics and comorphisms (needed for inlineAxioms) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2476 cec4b9c1-7d33-0410-9eda-942365e851bb
d37f5c1bc7ed59644fbfb98e124e6d6d33b5b54f 20-Apr-2004 Christian Maeder <Christian.Maeder@dfki.de>

added Logic Modal git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2438 cec4b9c1-7d33-0410-9eda-942365e851bb
968edf72c9abb1e35ad5f41419d0399c6d9acf32 19-Apr-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

Basic inference debugged git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2416 cec4b9c1-7d33-0410-9eda-942365e851bb
7d09621f989f5e6dfbf603b36b2fccbacf639a3c 12-Mar-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

Comorphism from CASL to Isabelle git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2260 cec4b9c1-7d33-0410-9eda-942365e851bb
fa410b6f6294ad9cd4db2e5e9976d39de60dc987 19-Feb-2004 Christian Maeder <Christian.Maeder@dfki.de>

adapted translation to Hatchet and add comorphism git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2214 cec4b9c1-7d33-0410-9eda-942365e851bb
1549f3abf73c1122acff724f718b615c82fa3648 10-Jan-2004 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

Adapted lookupComorphism; it now parses the name and composes the involved comorphisms todo lists updated git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1936 cec4b9c1-7d33-0410-9eda-942365e851bb
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5 22-Sep-2003 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

Added inclusion list to logic graph. Better representation for CASL signature morphisms. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1713 cec4b9c1-7d33-0410-9eda-942365e851bb