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

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

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

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

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

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

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

Made use of new lemmas sentence (in IsaSign) in CspCASLProver git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13272 cec4b9c1-7d33-0410-9eda-942365e851bb
d9c1248c7972dfdafbacb1b73b2eb965eac9ef42 15-Mar-2009 Liam O'Reilly <csliam@swansea.ac.uk>

Improved pretty printing of typed channels in CspCASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11524 cec4b9c1-7d33-0410-9eda-942365e851bb
fd8af3ecf2dff782cb2496c1c9bf9d0a76faa98b 24-Jan-2009 Liam O'Reilly <csliam@swansea.ac.uk>

Added a better structure to the files for CspCASLProver - fucntions are now in appropriate places such as Consts, Utils and IsabelleUtils Produced the preAlphabet and created the "linking" between CspCASLProver's Isabelle theory files git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11314 cec4b9c1-7d33-0410-9eda-942365e851bb
bba1e274cf727c39b4f1dd8970539a2bb967f20f 20-Jan-2009 Liam O'Reilly <csliam@swansea.ac.uk>

Started a draft implementation of CspCASLProver. Most parts need to be moved from the comorphism CspCASL2Isabelle into CspCASLProver git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11288 cec4b9c1-7d33-0410-9eda-942365e851bb