Cross Reference: /hets/Common/Doc.hs

History log of /hets/Common/Doc.hs
Revision	Date	Author	Comments Expand
e9458b1a7a19a63aa4c179f9ab20f4d50681c168	25-Mar-2016	Jens Elkner <jel+git@iws.cs.uni-magdeburg.de>	applied utils/replaceAllHeaders.sh - all $Header$ tokens in doc comments replaced with corresponding filename /hets/ATC/ATCTest.hs /hets/ATC/ATCTest2.hs /hets/ATC/Grothendieck.der.hs /hets/ATC/Sml_cats.hs /hets/Adl/As.hs /hets/Adl/Logic_Adl.hs /hets/Adl/Parse.hs /hets/Adl/Print.hs /hets/Adl/Sign.hs /hets/Adl/StatAna.hs /hets/Adl/adl.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/Keywords.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/CompositionTable/ModelFormula.hs /hets/CASL/CompositionTable/ModelTable.hs /hets/CASL/CompositionTable/ParseSparQ.hs /hets/CASL/CompositionTable/ParseTable2.hs /hets/CASL/CompositionTable/Pretty2.hs /hets/CASL/CompositionTable/ToXml.hs /hets/CASL/Cycle.hs /hets/CASL/Disambiguate.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Freeness.hs /hets/CASL/Induction.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Monoton.hs /hets/CASL/Morphism.hs /hets/CASL/OMDoc.hs /hets/CASL/OMDocExport.hs /hets/CASL/OMDocImport.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Qualify.hs /hets/CASL/Quantification.hs /hets/CASL/QuickCheck.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/ToItem.hs /hets/CASL/ToSExpr.hs /hets/CASL/Utils.hs /hets/CASL/World.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Logic_CASL_DL.hs /hets/CASL_DL/Parse_AS.hs /hets/CASL_DL/Print_AS.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/CASL_DL/Sublogics.hs /hets/CMDL/Commands.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypes.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Interface.hs /hets/CMDL/ParseProofScript.hs /hets/CMDL/ProcessScript.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CSL/ASUtils.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/AnEvenTool.hs /hets/CSL/Analysis.hs /hets/CSL/BoolBasic.hs /hets/CSL/CSL2HasCASL.hs /hets/CSL/DependencyGraph.hs /hets/CSL/EPElimination.hs /hets/CSL/EPRelation.hs /hets/CSL/EvalSpec.hs /hets/CSL/ExtendedParameter.hs /hets/CSL/Fold.hs /hets/CSL/GeneralExtendedParameter.hs /hets/CSL/GenericInterpreter.hs /hets/CSL/GuardedDependencies.hs /hets/CSL/HasCASL2CSL.hs /hets/CSL/InteractiveTests.hs /hets/CSL/Interpreter.hs /hets/CSL/Keywords.hs /hets/CSL/Lemma_Export.hs /hets/CSL/Logic_CSL.hs /hets/CSL/MapleInterpreter.hs /hets/CSL/MathematicaInterpreter.hs /hets/CSL/Morphism.hs /hets/CSL/Parse_AS_Basic.hs /hets/CSL/Parse_Test.hs /hets/CSL/Print_AS.hs /hets/CSL/ReduceInterpreter.hs /hets/CSL/ReduceProve.hs /hets/CSL/Reduce_Interface.hs /hets/CSL/SMTComparison.hs /hets/CSL/Sign.hs /hets/CSL/SimpleExtendedParameter.hs /hets/CSL/Symbol.hs /hets/CSL/Tools.hs /hets/CSL/Transformation.hs /hets/CSL/TreePO.hs /hets/CSL/Verification.hs /hets/CSL/quickchecks.hs /hets/CSMOF/As.hs /hets/CSMOF/Logic_CSMOF.hs /hets/CSMOF/ParseXmiAsLibDefn.hs /hets/CSMOF/Parser.hs /hets/CSMOF/Print.hs /hets/CSMOF/Sign.hs /hets/CSMOF/StatAna.hs /hets/CSMOF/XMLKeywords.hs /hets/CSMOF/tests/Test_As.hs /hets/CSMOF/tests/Test_Logic.hs /hets/CSMOF/tests/Test_Parser.hs /hets/CSMOF/tests/Test_StatAna.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LTS/lts.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/CoCASL/Sublogic.hs AS_Annotation.der.hs ATerm/ATermDiffMain.hs ATerm/ATermLibTest.hs ATerm/ConvInstances.hs Amalgamate.hs AnalyseAnnos.hs AnnoParser.hs AnnoState.hs AutoProofUtils.hs Consistency.hs ConvertGlobalAnnos.hs ConvertLiteral.hs ConvertMixfixToken.hs Data.hs DefaultMorphism.hs Doc.hs DocUtils.hs Earley.hs ExampleMixIds.hs ExtSign.hs FileType.hs GlobalAnnotations.hs GraphAlgo.hs Http.hs IO.hs IOS.hs IRI.hs Id.hs InjMap.hs Item.hs Json.hs Keywords.hs LaTeX_funs.hs LaTeX_maps.hs Lattice.hs Lexer.hs Lib/Graph.hs Lib/MapSet.hs Lib/Maybe.hs Lib/Rel.hs Lib/RelCheck.hs Lib/SizedList.hs Lib/State.hs Lib/Tabular.hs LibName.hs LogicT.hs MathLink.hs OrderedMap.hs Parsec.hs Partial.hs Percent.hs Prec.hs PrintLaTeX.hs ProofTree.hs ProofUtils.hs ProverTools.hs Result.hs ResultT.hs RunParsers.hs SAX.hs SExpr.hs SFKT.hs SZSOntology.hs SetColimit.hs Taxonomy.hs Timing.hs ToXml.hs Token.hs Unlit.hs Utils.hs XPath.hs XUpdate.hs XmlDiff.hs XmlExpat.hs XmlParser.hs XmlPickler.hs testxmldiff.hs testxpath.hs testxupdate.hs /hets/CommonLogic/AS_CommonLogic.der.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/CASLSig.hs /hets/CommonLogic/ClTests.hs /hets/CommonLogic/ExpandCurie.hs /hets/CommonLogic/Lexer_CLIF.hs /hets/CommonLogic/Lexer_KIF.hs /hets/CommonLogic/Logic_CommonLogic.hs /hets/CommonLogic/ModuleElimination.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/OMDoc.hs /hets/CommonLogic/OMDocExport.hs /hets/CommonLogic/OMDocImport.hs /hets/CommonLogic/ParseCLAsLibDefn.hs /hets/CommonLogic/Parse_CLIF.hs /hets/CommonLogic/Parse_KIF.hs /hets/CommonLogic/PredefinedCASLAxioms.hs /hets/CommonLogic/Print_KIF.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Sublogic.hs /hets/CommonLogic/Symbol.hs /hets/CommonLogic/Tools.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2ExtModal.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSE.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CSMOF2CASL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CoCFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CommonLogic2IsabelleHOL.hs /hets/Comorphisms/CommonLogicModuleElimination.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/DFOL2CASL.hs /hets/Comorphisms/DynLogicList.hs /hets/Comorphisms/ExtModal2CASL.hs /hets/Comorphisms/ExtModal2ExtModalNoSubsorts.hs /hets/Comorphisms/ExtModal2ExtModalTotal.hs /hets/Comorphisms/ExtModal2HasCASL.hs /hets/Comorphisms/ExtModal2OWL.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/HasCASL2PCoClTyConsHOL.hs /hets/Comorphisms/HasCASL2THFP_P.hs /hets/Comorphisms/Haskell2IsabelleHOLCF.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/HolLight2Isabelle.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/Hybrid2CASL.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.hs /hets/Comorphisms/MonadicHasCASLTranslation.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs /hets/Comorphisms/PPolyTyConsHOL2IsaUtils.hs /hets/Comorphisms/Prop2CASL.hs /hets/Comorphisms/Prop2CommonLogic.hs /hets/Comorphisms/Prop2QBF.hs /hets/Comorphisms/QBF2Prop.hs /hets/Comorphisms/QVTR2CASL.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SoftFOL2CommonLogic.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/Comorphisms/THFP2THF0.hs /hets/Comorphisms/THFP_P2HasCASL.hs /hets/Comorphisms/THFP_P2THFP.hs /hets/Comorphisms/test/showKP.hs /hets/Comorphisms/test/sublogicGraph.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/Print_AS.hs /hets/ConstraintCASL/StaticAna.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Comorphisms.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/SymMapAna.hs /hets/CspCASL/SymbItems.hs /hets/CspCASL/Symbol.hs /hets/CspCASLProver.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs /hets/Driver/AnaLib.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/ReadLibDefn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModal2Ship.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/Keywords.hs /hets/ExtModal/Logic_ExtModal.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Parse_AS.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/Ship.hs /hets/ExtModal/StatAna.hs /hets/ExtModal/Sublogic.hs /hets/Fpl/As.der.hs /hets/Fpl/Logic_Fpl.hs /hets/Fpl/Morphism.hs /hets/Fpl/Sign.hs /hets/Fpl/StatAna.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogicUtils.hs /hets/FreeCAD/As.hs /hets/FreeCAD/HetPrinter.hs /hets/FreeCAD/Logic_FreeCAD.hs /hets/FreeCAD/PrintAs.hs /hets/FreeCAD/Translator.hs /hets/FreeCAD/VecTools.hs /hets/FreeCAD/XMLPrinter.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Cond.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/GenericATP.hs /hets/GUI/GraphAbstraction.hs /hets/GUI/GraphDisplay.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/GUI/GraphTypes.hs /hets/GUI/GtkAddSentence.hs /hets/GUI/GtkAutomaticProofs.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkDisprove.hs /hets/GUI/GtkGenericATP.hs /hets/GUI/GtkLinkTypeChoice.hs /hets/GUI/GtkProverGUI.hs /hets/GUI/GtkUtils.hs /hets/GUI/HTkGenericATP.hs /hets/GUI/HTkProofDetails.hs /hets/GUI/HTkProverGUI.hs /hets/GUI/HTkUtils.hs /hets/GUI/ProverGUI.hs /hets/GUI/ShowGraph.hs /hets/GUI/ShowLibGraph.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/ShowRefTree.hs /hets/GUI/Taxonomy.hs /hets/GUI/UDGUtils.hs /hets/GUI/Utils.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/HToken.hs /hets/HasCASL/InteractiveTests.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MatchCAD.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/ToItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/HolLight/Helper.hs /hets/HolLight/HolLight2DG.hs /hets/HolLight/Logic_HolLight.hs /hets/HolLight/Sentence.hs /hets/HolLight/Sign.hs /hets/HolLight/Term.hs /hets/Hybrid/AS_Hybrid.der.hs /hets/Hybrid/HybridSign.hs /hets/Hybrid/Keywords.hs /hets/Hybrid/Logic_Hybrid.hs /hets/Hybrid/Parse_AS.hs /hets/Hybrid/Print_AS.hs /hets/Hybrid/StatAna.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Interfaces/Process.hs /hets/Interfaces/Utils.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/Isa2DG.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/LF/AS.hs /hets/LF/Analysis.hs /hets/LF/Framework.hs /hets/LF/ImplOL.hs /hets/LF/Logic_LF.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/KnownIris.hs /hets/Logic/LGToJson.hs /hets/Logic/LGToXml.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/MMT/Hets2mmt.hs /hets/MMT/Tools.hs /hets/MMT/XMLtoPT.hs /hets/Maude/AS_Maude.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/Parse.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sentence.hs /hets/Maude/Shellout.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/ModalSystems.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/Import.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/XmlInterface.hs /hets/OWL2/AS.hs /hets/OWL2/CASL2OWL.hs /hets/OWL2/ColimSign.hs /hets/OWL2/ColonKeywords.hs /hets/OWL2/Conservativity.hs /hets/OWL2/CreateOWL.hs /hets/OWL2/DMU2OWL2.hs /hets/OWL2/Extract.hs /hets/OWL2/ExtractModule.hs /hets/OWL2/Function.hs /hets/OWL2/Keywords.hs /hets/OWL2/Logic_OWL2.hs /hets/OWL2/MS.hs /hets/OWL2/MS2Ship.hs /hets/OWL2/ManchesterParser.hs /hets/OWL2/ManchesterPrint.hs /hets/OWL2/Medusa.hs /hets/OWL2/MedusaToJson.hs /hets/OWL2/Morphism.hs /hets/OWL2/OWL22CASL.hs /hets/OWL2/OWL22CommonLogic.hs /hets/OWL2/Parse.hs /hets/OWL2/ParseOWL.hs /hets/OWL2/ParseOWLAsLibDefn.hs /hets/OWL2/Print.hs /hets/OWL2/Profiles.hs /hets/OWL2/ProfilesAndSublogics.hs /hets/OWL2/Propositional2OWL2.hs /hets/OWL2/ProveFact.hs /hets/OWL2/ProvePellet.hs /hets/OWL2/ProverState.hs /hets/OWL2/Rename.hs /hets/OWL2/ShipSyntax.hs /hets/OWL2/Sign.hs /hets/OWL2/StaticAnalysis.hs /hets/OWL2/Sublogic.hs /hets/OWL2/Symbols.hs /hets/OWL2/Taxonomy.hs /hets/OWL2/Theorem.hs /hets/OWL2/Translate.hs /hets/OWL2/XML.hs /hets/OWL2/XMLConversion.hs /hets/OWL2/XMLKeywords.hs /hets/OWL2/scripts/runConv.hs /hets/OWL2/scripts/runManchester.hs /hets/OWL2/scripts/runXML.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs /hets/PGIP/ParseProofScript.hs /hets/PGIP/Query.hs /hets/PGIP/Server.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/TriangleCons.hs /hets/Proofs/VSE.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Conversions.hs /hets/Propositional/Fold.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Analysis.hs /hets/QBF/Logic_QBF.hs /hets/QBF/Morphism.hs /hets/QBF/Parse_AS_Basic.hs /hets/QBF/ProveDepQBF.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QBF/Tools.hs /hets/QVTR/As.hs /hets/QVTR/Logic_QVTR.hs /hets/QVTR/ParseQvtAsLibDefn.hs /hets/QVTR/Parser.hs /hets/QVTR/Print.hs /hets/QVTR/Sign.hs /hets/QVTR/StatAna.hs /hets/RDF/AS.hs /hets/RDF/Function.hs /hets/RDF/Logic_RDF.hs /hets/RDF/Morphism.hs /hets/RDF/Parse.hs /hets/RDF/ParseRDFAsLibDefn.hs /hets/RDF/Print.hs /hets/RDF/Sign.hs /hets/RDF/StaticAnalysis.hs /hets/RDF/Symbols.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/Logic_Rel.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Scratch.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/EProver.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ParseTPTP.hs /hets/SoftFOL/ParseTPTPAsLibDefn.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHyperHyper.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveMetis.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/StatAna.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/ConsInclusions.hs /hets/Static/DGNavigation.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DgUtils.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/FromXmlUtils.hs /hets/Static/GTheory.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/SpecLoader.hs /hets/Static/ToJson.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs /hets/Static/XGraph.hs /hets/Static/XSimplePath.hs /hets/Static/test/TestDGTrans.hs /hets/Syntax.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/Syntax/hetpa.hs /hets/THF/As.der.hs /hets/THF/Cons.hs /hets/THF/HasCASL2THF0Buildins.hs /hets/THF/Logic_THF.hs /hets/THF/ParseTHF.hs /hets/THF/Poly.hs /hets/THF/Print.hs /hets/THF/PrintTHF.hs /hets/THF/ProveIsabelle.hs /hets/THF/ProveLeoII.hs /hets/THF/ProveSatallax.hs /hets/THF/ProverState.hs /hets/THF/SZSProver.hs /hets/THF/Sign.hs /hets/THF/StaticAnalysisTHF.hs /hets/THF/Sublogic.hs /hets/THF/Translate.hs /hets/THF/Utils.hs /hets/Taxonomy/AbstractGraphView.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/TopHybrid/AS_TopHybrid.der.hs /hets/TopHybrid/Logic_TopHybrid.hs /hets/TopHybrid/Parse_AS.hs /hets/TopHybrid/Print_AS.hs /hets/TopHybrid/StatAna.hs /hets/TopHybrid/TopHybridSign.hs /hets/TopHybrid/Utilities.hs /hets/VSE/Ana.hs /hets/VSE/As.hs /hets/VSE/Fold.hs /hets/VSE/Logic_VSE.hs /hets/VSE/Parse.hs /hets/VSE/Prove.hs /hets/VSE/ToSExpr.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Base64.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/utils/itcor/GenItCorrections.hs
01ddc4cad68fa84b4e9dd41089ad876329bae5b0	03-Apr-2014	Christian Maeder <Christian.Maeder@dfki.de>	renamed ankle to angle bracket git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18568 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs IRI.hs LibName.hs /hets/OWL2/Parse.hs /hets/OWL2/ParseOWLAsLibDefn.hs /hets/OWL2/StaticAnalysis.hs /hets/Static/DgUtils.hs /hets/Static/ToXml.hs /hets/Syntax/ToXml.hs
eb7a68d8b3e7fdad204b006d1f63a72c7bb5cb11	06-Mar-2014	Christian Maeder <Christian.Maeder@dfki.de>	do not keep the colon in the map git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18526 cec4b9c1-7d33-0410-9eda-942365e851bb AnnoParser.hs Doc.hs
2780da8c615a3ecad37566e343ebf8f029cab640	15-Nov-2013	Christian Maeder <Christian.Maeder@dfki.de>	made printing of strings reparsable git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18306 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs /hets/OWL2/Print.hs
544c60683756b3ad5869a2e19bdb3d285eba16c6	28-Jun-2013	Jonathan von Schroeder <sternkinder@gmail.com>	removed property svn:executable git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18033 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/Logic_CASL.hs /hets/CASL/StaticAna.hs Doc.hs /hets/Comorphisms/Hybrid2CASL.hs /hets/Comorphisms/LogicList.hs /hets/FreeCAD/As.hs /hets/FreeCAD/Logic_FreeCAD.hs /hets/FreeCAD/Translator.hs /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/HolLight/OcamlTools/debian/rules /hets/Hybrid/AS_Hybrid.der.hs /hets/Hybrid/HybridSign.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/THF/Test/hcspectest.txt /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
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 ConvertLiteral.hs Doc.hs Keywords.hs Lib/MapSet.hs /hets/Comorphisms/CASL2Hybrid.hs /hets/Comorphisms/Hybrid2CASL.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/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
78c294da55788b25e175180168371c9536a6d440	04-Mar-2013	Christian Maeder <Christian.Maeder@dfki.de>	introduced shorter output formats see #1120 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17774 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs /hets/Driver/Options.hs /hets/Driver/WriteLibDefn.hs /hets/PGIP/Server.hs
dbf709b27cf1f5706064ec517100f16b72b01f98	12-Feb-2013	Christian Maeder <Christian.Maeder@dfki.de>	do not look deeper into arguments within parens git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17749 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
c5d4f3bc031faf33b2f2f787afaf3356b444acd3	12-Feb-2013	Christian Maeder <Christian.Maeder@dfki.de>	refactored further by just collecting bools for parens git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17748 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
35100c9c3f46349e95f202d64e126b11f8e1d2cb	12-Feb-2013	Christian Maeder <Christian.Maeder@dfki.de>	refactored by making fold function global git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17747 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
09cff718cd8961fac2566baad00779f604786bbf	14-Jun-2012	Christian Maeder <Christian.Maeder@dfki.de>	differently removed HetCASL prefixes from global annos git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16934 cec4b9c1-7d33-0410-9eda-942365e851bb ConvertGlobalAnnos.hs Doc.hs /hets/Static/ToXml.hs
ba028dec432ecc7fb53b5812d7a6dd4bdf6d0542	13-Jun-2012	Christian Maeder <Christian.Maeder@dfki.de>	really only output parsable prefix maps but keep them for merging git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16930 cec4b9c1-7d33-0410-9eda-942365e851bb ConvertGlobalAnnos.hs Doc.hs
a13eed9dda9e0c7b8916d7777599855e6dc995f1	13-Jun-2012	Christian Maeder <Christian.Maeder@dfki.de>	do not output unparsable prefix maps git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16929 cec4b9c1-7d33-0410-9eda-942365e851bb ConvertGlobalAnnos.hs Doc.hs /hets/test/ParameterSpecTest/ParamView.pp.xml /hets/test/ParameterSpecTest/ParamView.xml
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 /hets/CMDL/DgCommands.hs ConvertGlobalAnnos.hs Doc.hs DocUtils.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/ExpandCurie.hs /hets/CommonLogic/TestData/curie.clif /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/test/ParameterSpecTest/ParamView.pp.xml /hets/test/ParameterSpecTest/ParamView.xml
741091b655e6d94dff2dd555d3912196c27c8db9	13-Apr-2012	Christian Maeder <Christian.Maeder@dfki.de>	avoid html labels git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16801 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
380ae92e7a3645d7155de00576bbe9c7ff3070a0	05-Oct-2011	Christian Maeder <Christian.Maeder@dfki.de>	use text renderer rather than show git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16233 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs Result.hs /hets/HasCASL/RunMixfixParser.hs
6fe828ede404d57c247149ef525cdfc44dfd102a	05-Oct-2011	Christian Maeder <Christian.Maeder@dfki.de>	restore original style parameter git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16228 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
861966ea61da34e4f1dfd91deaba3e569f57bd2a	04-Oct-2011	Christian Maeder <Christian.Maeder@dfki.de>	added trailing spaces removal to Show Doc instance git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16224 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs /hets/Driver/WriteLibDefn.hs
98b26cd1433379613f29f175713c5cec2c18293e	04-Oct-2011	Christian Maeder <Christian.Maeder@dfki.de>	adjusted to pretty-1.1.0.0 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16217 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs LaTeX_funs.hs Lib/Pretty.hs PrintLaTeX.hs
99cf1c277851e5ac7725b8b18980284d9e9aeb99	06-Apr-2011	Christian Maeder <Christian.Maeder@dfki.de>	wibbled pretty printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14862 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs /hets/Modal/Logic_Modal.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs
e67a1c08a9d53b61bae0615dd2b57ff9db2f7f22	31-Mar-2011	Christian Maeder <Christian.Maeder@dfki.de>	cleared some csp-casl symbols git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14833 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
84178c3b067748d3d592c1498e5e65fa8c5ea4c2	30-Mar-2011	Christian Maeder <Christian.Maeder@dfki.de>	changed escaping git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14830 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs LaTeX_funs.hs
c9ecd2ffda2b908cf66e5dbddc3f9805dbdc7eae	30-Mar-2011	Christian Maeder <Christian.Maeder@dfki.de>	reverted spechub/Hets@48fe1344d040a83683caaa5f0bb4a58989807c5b as it escaped twice git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14829 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
48fe1344d040a83683caaa5f0bb4a58989807c5b	29-Mar-2011	Christian Maeder <Christian.Maeder@dfki.de>	escape some more latex chars git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14827 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
25c08eb925626bface8837607538a67fe34b1243	01-Feb-2011	Ewaryst Schulz <Ewaryst.Schulz@dfki.de>	added a raw output for Doc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14463 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
08971280553faf84234bbb17091a3608d466b9db	07-Jan-2011	Christian Maeder <Christian.Maeder@dfki.de>	removed dead links git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14345 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
eff2986dc9c9ca850bf61587b968c0e58b329392	14-Dec-2010	Christian Maeder <Christian.Maeder@dfki.de>	made flush right work as for texts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14319 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
cd0b9b0c58a5db6519f8a0f7b666f2571ace187a	13-Dec-2010	Christian Maeder <Christian.Maeder@dfki.de>	refined html rendering git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14317 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
511284753313165e629cedf508752d6818ccc4d2	10-Dec-2010	Christian Maeder <Christian.Maeder@dfki.de>	added a simple html renderer for docs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14316 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs /hets/Driver/Options.hs /hets/Driver/WriteLibDefn.hs
3931a3ca777583c44542f09b942a84316bcb9e6f	18-Nov-2010	Christian Maeder <Christian.Maeder@dfki.de>	removed ghc-7 warnings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14239 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
0a5fe4d355f0dc6c73e2d6c3cdf78cfdf6a135d8	15-Oct-2010	Christian Maeder <Christian.Maeder@dfki.de>	added comments to avoid labels and hlinted git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14150 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
98890889ffb2e8f6f722b00e265a211f13b5a861	01-Sep-2010	Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de>	Added see license.txt to license field git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC.hs /hets/ATC/ATCTest.hs /hets/ATC/ATCTest2.hs /hets/ATC/ExtSign.hs /hets/ATC/Grothendieck.der.hs /hets/ATC/Sml_cats.hs /hets/Adl/As.hs /hets/Adl/Logic_Adl.hs /hets/Adl/Parse.hs /hets/Adl/Print.hs /hets/Adl/Sign.hs /hets/Adl/StatAna.hs /hets/Adl/adl.hs /hets/CASL.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/CompositionTable/ParseSparQ.hs /hets/CASL/CompositionTable/ToXml.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Freeness.hs /hets/CASL/Induction.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Monoton.hs /hets/CASL/Morphism.hs /hets/CASL/OMDoc.hs /hets/CASL/OMDocExport.hs /hets/CASL/OMDocImport.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Qualify.hs /hets/CASL/Quantification.hs /hets/CASL/QuickCheck.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/ToItem.hs /hets/CASL/ToSExpr.hs /hets/CASL/Utils.hs /hets/CASL/capa.hs /hets/CASL/fromKif.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Comorphism_specs/makePreludeString.hs /hets/CASL_DL/Logic_CASL_DL.hs /hets/CASL_DL/PredefinedCASLAxioms.hs /hets/CASL_DL/PredefinedGlobalAnnos.hs /hets/CASL_DL/Print_AS.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/CASL_DL/Sublogics.hs /hets/CMDL/Commands.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypes.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Interface.hs /hets/CMDL/ParseProofScript.hs /hets/CMDL/ProcessScript.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/Analysis.hs /hets/CSL/CSL2HasCASL.hs /hets/CSL/HasCASL2CSL.hs /hets/CSL/Interpreter.hs /hets/CSL/Keywords.hs /hets/CSL/Lemma_Export.hs /hets/CSL/Logic_CSL.hs /hets/CSL/MapleInterpreter.hs /hets/CSL/Morphism.hs /hets/CSL/Parse_AS_Basic.hs /hets/CSL/Parse_Test.hs /hets/CSL/ReduceInterpreter.hs /hets/CSL/ReduceProve.hs /hets/CSL/ReduceTest.hs /hets/CSL/Reduce_Interface.hs /hets/CSL/Sign.hs /hets/CSL/Symbol.hs /hets/CSL/Tools.hs /hets/CSL/Transformation.hs /hets/CoCASL.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LTS/lts.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/CoCASL/Sublogic.hs /hets/Common.hs AS_Annotation.der.hs ATerm/ATermDiffMain.hs ATerm/ATermLibTest.hs ATerm/ConvInstances.hs Amalgamate.hs AnalyseAnnos.hs AnnoParser.hs AnnoState.hs Consistency.hs ConvertGlobalAnnos.hs ConvertLiteral.hs ConvertMixfixToken.hs DefaultMorphism.hs Doc.hs DocUtils.hs Earley.hs ExampleMixIds.hs ExtSign.hs GlobalAnnotations.hs IO.hs IOS.hs Id.hs InjMap.hs Item.hs Keywords.hs LaTeX_funs.hs LaTeX_maps.hs Lexer.hs Lib/Graph.hs Lib/Pretty.hs Lib/Rel.hs Lib/RelCheck.hs Lib/SizedList.hs Lib/State.hs LibName.hs LogicT.hs OrderedMap.hs Parsec.hs Partial.hs Prec.hs PrintLaTeX.hs ProofTree.hs ProofUtils.hs ProverTools.hs Result.hs ResultT.hs RunParsers.hs SExpr.hs SFKT.hs SZSOntology.hs SetColimit.hs Taxonomy.hs Timing.hs ToId.hs ToXml.hs Token.hs UniUtils.hs Utils.hs XPath.hs XUpdate.hs XmlExpat.hs XmlParser.hs annos.hs testxpath.hs testxupdate.hs /hets/CommonLogic/AS_CommonLogic.der.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/CASLSig.hs /hets/CommonLogic/ClTests.hs /hets/CommonLogic/Logic_CommonLogic.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/OMDoc.hs /hets/CommonLogic/OMDocExport.hs /hets/CommonLogic/OMDocImport.hs /hets/CommonLogic/Parse_CLIF.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Symbol.hs /hets/Comorphisms.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSE.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CoCFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/DFOL2CASL.hs /hets/Comorphisms/DMU2OWL.hs /hets/Comorphisms/DynLogicList.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/HasCASL2PCoClTyConsHOL.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/MonadicHasCASLTranslation.hs /hets/Comorphisms/OWL2CASL.hs /hets/Comorphisms/OWL2CommonLogic.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs /hets/Comorphisms/PPolyTyConsHOL2IsaUtils.hs /hets/Comorphisms/Prop2CASL.hs /hets/Comorphisms/Prop2QBF.hs /hets/Comorphisms/QBF2Prop.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/Comorphisms/test/showKP.hs /hets/Comorphisms/test/sublogicGraph.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/Print_AS.hs /hets/ConstraintCASL/StaticAna.hs /hets/Constraints/AS_BASIC_Constraints.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Comorphisms.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/CspProver_Consts.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/testwrap.hs /hets/CspCASLProver.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs /hets/Driver/AnaLib.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/ExtModal.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/ExtModalSystems.hs /hets/ExtModal/Keywords.hs /hets/ExtModal/Logic_ExtModal.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/StatAna.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogic.hs /hets/GMP/CompositionalityExperiment.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Con.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/GenericSequent.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GMP/Proof.hs /hets/GMP/SegExamples.hs /hets/GMP/versioning/coloss-0.0.4/Combination.hs /hets/GMP/versioning/coloss-0.0.4/Generic.hs /hets/GMP/versioning/coloss-0.0.4/examples.coalition.hs /hets/GMP/versioning/coloss-0.0.4/examples.gluings.hs /hets/GMP/versioning/coloss-0.0.4/examples.gml.hs /hets/GMP/versioning/coloss-0.0.4/examples.hml.hs /hets/GMP/versioning/coloss-0.0.4/examples.pml.hs /hets/GMP/versioning/coloss-0.0.4/examples.segala.hs /hets/GMP/versioning/coloss-0.0.4/gg.head.hs /hets/GMP/versioning/coloss-0.0.4/gg.tmpl.hs /hets/GMP/versioning/coloss-0.0.4/gg.util.hs /hets/GMP/versioning/gmp-0.0.1/GMP/CoalitionL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPAS.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPSAT.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GenericML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GradedML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Lexer.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Main.hs /hets/GMP/versioning/gmp-0.0.1/GMP/MajorityL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalK.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalKD.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalLogic.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/IneqSolvTester.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/LWBParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/TestGenGML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/ToRacer.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompAS.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompGeneric.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Main.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/C.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/CKCM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Con.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/DisjUnion.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/G.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/HM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/K.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/KD.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Mon.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/P.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/SysS.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Prover.hs /hets/GMP/versioning/gmp-coloss-0.0.3/Main.hs /hets/GUI.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/GenericATP.hs /hets/GUI/Glade/Template.append.hs /hets/GUI/GraphAbstraction.hs /hets/GUI/GraphDisplay.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/GUI/GraphTypes.hs /hets/GUI/GtkAutomaticProofs.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkDisprove.hs /hets/GUI/GtkGenericATP.hs /hets/GUI/GtkLinkTypeChoice.hs /hets/GUI/GtkProverGUI.hs /hets/GUI/GtkUtils.hs /hets/GUI/HTkGenericATP.hs /hets/GUI/HTkProofDetails.hs /hets/GUI/HTkProverGUI.hs /hets/GUI/HTkUtils.hs /hets/GUI/ProverGUI.hs /hets/GUI/ShowGraph.hs /hets/GUI/ShowLibGraph.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/ShowRefTree.hs /hets/GUI/Taxonomy.hs /hets/GUI/UDGUtils.hs /hets/GUI/Utils.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/HasCASL.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/HToken.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/ToItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/h2h.hs /hets/Haskell/h2hf.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Interfaces/Process.hs /hets/Interfaces/Utils.hs /hets/Isabelle.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/Isabelle/isa.hs /hets/LF/AS.hs /hets/LF/Analysis.hs /hets/LF/Framework.hs /hets/LF/Logic_LF.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Lottery/Test.hs /hets/Lottery/Zaehler.hs /hets/Maude/AS_Maude.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/Parse.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sentence.hs /hets/Maude/Shellout.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc.hs /hets/OMDoc/ATerm.hs /hets/OMDoc/Base64.hs /hets/OMDoc/CASLDefs.hs /hets/OMDoc/CASLOutput.hs /hets/OMDoc/Container.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/Import.hs /hets/OMDoc/KeyDebug.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/OMDocOutput.hs /hets/OMDoc/OMDocXml.hs /hets/OMDoc/Sentences.hs /hets/OMDoc/Util.hs /hets/OMDoc/XmlHandling.hs /hets/OMDoc/XmlInterface.hs /hets/OWL/AS.hs /hets/OWL/ColimSign.hs /hets/OWL/ColonKeywords.hs /hets/OWL/Conservativity.hs /hets/OWL/Keywords.hs /hets/OWL/Logic_OWL.hs /hets/OWL/Morphism.hs /hets/OWL/Namespace.hs /hets/OWL/OWLAnalysis.hs /hets/OWL/OWLParser.hs /hets/OWL/Parse.hs /hets/OWL/Print.hs /hets/OWL/ProveFact.hs /hets/OWL/ProvePellet.hs /hets/OWL/ReadWrite.der.hs /hets/OWL/Sign.hs /hets/OWL/StaticAnalysis.hs /hets/OWL/StructureAnalysis.hs /hets/OWL/Sublogic.hs /hets/OWL/Taxonomy.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs /hets/PGIP/ParseProofScript.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/PGIP/tests/Server.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/PathifyNames.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/VSE.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/ChildMessage.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Conversions.hs /hets/Propositional/Fold.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/Prop2CNF.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Analysis.hs /hets/QBF/Logic_QBF.hs /hets/QBF/Morphism.hs /hets/QBF/Parse_AS_Basic.hs /hets/QBF/ProveDepQBF.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QBF/Tools.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/Logic_Rel.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Search/CASL/FormulaWrapper.hs /hets/Search/CASL/NormalizationDB.hs /hets/Search/CASL/Retrieval.hs /hets/Search/Common/ACINormalization.hs /hets/Search/Common/ACStandardization.hs /hets/Search/Common/BooleanRing.hs /hets/Search/Common/CNF.hs /hets/Search/Common/Data.hs /hets/Search/Common/Intersection.hs /hets/Search/Common/Normalization.hs /hets/Search/Common/Select.hs /hets/Search/Config.hs /hets/Search/DB/Connection.hs /hets/Search/DB/DBSpec.hs /hets/Search/DB/Export.hs /hets/Search/DB/FormulaDB.hs /hets/Search/DB/FormulaDB/Inclusion.hs /hets/Search/DB/FormulaDB/Profile.hs /hets/Search/DB/FormulaDB/Statistics.hs /hets/Search/DB/MPTP.hs /hets/Search/DB/MPTP/Inclusion.hs /hets/Search/DB/MPTP/Profile.hs /hets/Search/DB/MPTP/Statistics.hs /hets/Search/SPASS/DB.hs /hets/Search/SPASS/DFGParser.hs /hets/Search/SPASS/FormulaWrapper.hs /hets/Search/SPASS/InterActiveTesting.hs /hets/Search/SPASS/Intersection.hs /hets/Search/SPASS/ReusedTheorems.hs /hets/Search/SPASS/Sign.hs /hets/Search/SPASS/UnWrap.hs /hets/Search/Utils/List.hs /hets/Search/Utils/ListSet.hs /hets/Search/Utils/SetMap.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ParseTPTP.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHyperHyper.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/dfg.hs /hets/SoftFOL/tests/GUI_tests.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/SoftFOL/tptp.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/GTheory.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs /hets/Static/test/TestDGTrans.hs /hets/Syntax/ADoc.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/Syntax/hetpa.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/Test.hs /hets/VSE/Ana.hs /hets/VSE/As.hs /hets/VSE/Fold.hs /hets/VSE/Logic_VSE.hs /hets/VSE/Parse.hs /hets/VSE/Prove.hs /hets/VSE/ToSExpr.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Base64.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/hets.hs /hets/mini/Grothendieck.hs /hets/mini/Logic.hs /hets/mini/Main.hs /hets/mini/Parser.hs /hets/mini/Proof.hs /hets/mini/StaticAnalysis.hs /hets/mini/Structured.hs /hets/test/childProcessTest.hs /hets/utils/DrIFT-src/ChaseImports.hs /hets/utils/DrIFT-src/CommandP.hs /hets/utils/DrIFT-src/DataP.hs /hets/utils/DrIFT-src/ParseLib2.hs /hets/utils/DrIFT-src/RuleUtils.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs /hets/utils/GenerateRules/GenerateRules.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/InlineAxioms/ExtInlineAxioms.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/Setup.hs /hets/utils/appendHaskellPreludeString.hs /hets/utils/createKeywordDecls.hs /hets/utils/itcor/GenItCorrections.hs
78dbe7880a07f2645ec5868f8a5c003fbfed38a2	11-Aug-2010	Christian Maeder <Christian.Maeder@dfki.de>	exported formating function and changed printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13867 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Adl/Print.hs Doc.hs
b87efd3db0d2dc41615ea28669faf80fc1b48d56	11-Aug-2010	Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de>	Changed haddock headers and inserted empty headers for the ones missing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC.hs /hets/ATC/ATCTest.hs /hets/ATC/ATCTest2.hs /hets/ATC/ExtSign.hs /hets/ATC/Grothendieck.der.hs /hets/ATC/Sml_cats.hs /hets/Adl/As.hs /hets/Adl/Logic_Adl.hs /hets/Adl/Parse.hs /hets/Adl/Print.hs /hets/Adl/Sign.hs /hets/Adl/StatAna.hs /hets/Adl/adl.hs /hets/CASL.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/CompositionTable/ModelChecker.hs /hets/CASL/CompositionTable/ParseSparQ.hs /hets/CASL/CompositionTable/ToXml.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Freeness.hs /hets/CASL/Induction.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Monoton.hs /hets/CASL/Morphism.hs /hets/CASL/OMDoc.hs /hets/CASL/OMDocExport.hs /hets/CASL/OMDocImport.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Qualify.hs /hets/CASL/Quantification.hs /hets/CASL/QuickCheck.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/ToItem.hs /hets/CASL/ToSExpr.hs /hets/CASL/Utils.hs /hets/CASL/capa.hs /hets/CASL/fromKif.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Comorphism_specs/makePreludeString.hs /hets/CASL_DL/Logic_CASL_DL.hs /hets/CASL_DL/Parse_AS.hs /hets/CASL_DL/PredefinedCASLAxioms.hs /hets/CASL_DL/PredefinedGlobalAnnos.hs /hets/CASL_DL/Print_AS.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/CASL_DL/Sublogics.hs /hets/CMDL/Commands.hs /hets/CMDL/ConsCommands.hs /hets/CMDL/DataTypes.hs /hets/CMDL/DataTypesUtils.hs /hets/CMDL/DgCommands.hs /hets/CMDL/InfoCommands.hs /hets/CMDL/Interface.hs /hets/CMDL/ParseProofScript.hs /hets/CMDL/ProcessScript.hs /hets/CMDL/ProveCommands.hs /hets/CMDL/ProveConsistency.hs /hets/CMDL/Shell.hs /hets/CMDL/UndoRedo.hs /hets/CMDL/Utils.hs /hets/COL/AS_COL.der.hs /hets/COL/COLSign.hs /hets/COL/Logic_COL.hs /hets/COL/Parse_AS.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CSL/AS_BASIC_CSL.hs /hets/CSL/Analysis.hs /hets/CSL/CSL2HasCASL.hs /hets/CSL/HasCASL2CSL.hs /hets/CSL/Keywords.hs /hets/CSL/Lemma_Export.hs /hets/CSL/Logic_CSL.hs /hets/CSL/Morphism.hs /hets/CSL/Parse_AS_Basic.hs /hets/CSL/Parse_Test.hs /hets/CSL/ReduceProve.hs /hets/CSL/Reduce_Interface.hs /hets/CSL/Sign.hs /hets/CSL/Symbol.hs /hets/CSL/Tools.hs /hets/CSL/Transformation.hs /hets/CoCASL.hs /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/LTS/lts.hs /hets/CoCASL/Logic_CoCASL.hs /hets/CoCASL/Parse_AS.hs /hets/CoCASL/Print_AS.hs /hets/CoCASL/StatAna.hs /hets/CoCASL/Sublogic.hs /hets/Common.hs AS_Annotation.der.hs ATerm/ATermDiffMain.hs ATerm/ATermLibTest.hs ATerm/ConvInstances.hs Amalgamate.hs AnalyseAnnos.hs AnnoParser.hs AnnoState.hs Consistency.hs ConvertGlobalAnnos.hs ConvertLiteral.hs ConvertMixfixToken.hs DefaultMorphism.hs Doc.hs DocUtils.hs Earley.hs ExampleMixIds.hs ExtSign.hs GlobalAnnotations.hs IO.hs Id.hs InjMap.hs Item.hs Keywords.hs LaTeX_funs.hs LaTeX_maps.hs Lexer.hs Lib/Graph.hs Lib/Pretty.hs Lib/Rel.hs Lib/RelCheck.hs Lib/SizedList.hs Lib/State.hs LibName.hs LogicT.hs OrderedMap.hs Parsec.hs Partial.hs Prec.hs PrintLaTeX.hs ProofTree.hs ProofUtils.hs ProverTools.hs Result.hs ResultT.hs RunParsers.hs SExpr.hs SFKT.hs SZSOntology.hs SetColimit.hs Taxonomy.hs Timing.hs ToId.hs ToXml.hs Token.hs UniUtils.hs Utils.hs XPath.hs XUpdate.hs XmlExpat.hs XmlParser.hs annos.hs testxpath.hs testxupdate.hs /hets/CommonLogic/AS_CommonLogic.der.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/CASLSig.hs /hets/CommonLogic/ClTests.hs /hets/CommonLogic/Logic_CommonLogic.hs /hets/CommonLogic/Morphism.hs /hets/CommonLogic/OMDoc.hs /hets/CommonLogic/OMDocExport.hs /hets/CommonLogic/OMDocImport.hs /hets/CommonLogic/Parse_CLIF.hs /hets/CommonLogic/Sign.hs /hets/CommonLogic/Symbol.hs /hets/Comorphisms.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.hs /hets/Comorphisms/CASL2Prop.hs /hets/Comorphisms/CASL2SubCFOL.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL2VSE.hs /hets/Comorphisms/CASL2VSEImport.hs /hets/Comorphisms/CASL2VSERefine.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CoCFOL2IsabelleHOL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/DFOL2CASL.hs /hets/Comorphisms/DMU2OWL.hs /hets/Comorphisms/DynLogicList.hs /hets/Comorphisms/GetPreludeLib.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/HasCASL2PCoClTyConsHOL.hs /hets/Comorphisms/HetLogicGraph.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/MonadicHasCASLTranslation.hs /hets/Comorphisms/OWL2CASL.hs /hets/Comorphisms/OWL2CommonLogic.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2PairsInIsaHOL.hs /hets/Comorphisms/PPolyTyConsHOL2IsaUtils.hs /hets/Comorphisms/Prop2CASL.hs /hets/Comorphisms/Prop2QBF.hs /hets/Comorphisms/QBF2Prop.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/Comorphisms/SuleCFOL2SoftFOL.hs /hets/Comorphisms/test/showKP.hs /hets/Comorphisms/test/sublogicGraph.hs /hets/ConstraintCASL/AS_ConstraintCASL.hs /hets/ConstraintCASL/Formula.hs /hets/ConstraintCASL/Logic_ConstraintCASL.hs /hets/ConstraintCASL/Print_AS.hs /hets/ConstraintCASL/StaticAna.hs /hets/Constraints/AS_BASIC_Constraints.hs /hets/CspCASL/AS_CspCASL.der.hs /hets/CspCASL/AS_CspCASL_Process.der.hs /hets/CspCASL/Comorphisms.hs /hets/CspCASL/Core_CspCASL.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/CspProver_Consts.hs /hets/CspCASL/LocalTop.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/Morphism.hs /hets/CspCASL/Parse_CspCASL.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/SimplifySen.hs /hets/CspCASL/StatAnaCSP.hs /hets/CspCASL/testwrap.hs /hets/CspCASLProver.hs /hets/CspCASLProver/Consts.hs /hets/CspCASLProver/CspCASLProver.hs /hets/CspCASLProver/CspProverConsts.hs /hets/CspCASLProver/IsabelleUtils.hs /hets/CspCASLProver/TransProcesses.hs /hets/CspCASLProver/Utils.hs /hets/DFOL/AS_DFOL.hs /hets/DFOL/Analysis_DFOL.hs /hets/DFOL/Colimit.hs /hets/DFOL/Comorphism.hs /hets/DFOL/Logic_DFOL.hs /hets/DFOL/Morphism.hs /hets/DFOL/Parse_AS_DFOL.hs /hets/DFOL/Sign.hs /hets/DFOL/Symbol.hs /hets/DFOL/Utils.hs /hets/DMU/Logic_DMU.hs /hets/Driver/AnaLib.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/Driver/WriteLibDefn.hs /hets/ExtModal.hs /hets/ExtModal/AS_ExtModal.der.hs /hets/ExtModal/ExtModalSign.hs /hets/ExtModal/ExtModalSystems.hs /hets/ExtModal/Keywords.hs /hets/ExtModal/Logic_ExtModal.hs /hets/ExtModal/MorphismExtension.hs /hets/ExtModal/Print_AS.hs /hets/ExtModal/StatAna.hs /hets/Framework/AS.hs /hets/Framework/Analysis.hs /hets/Framework/Logic_Framework.hs /hets/Framework/WriteLogic.hs /hets/GMP/CompositionalityExperiment.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/C.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/CKCM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Con.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/DisjUnion.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/G.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Generic.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/HM.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/IneqSolver.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/K.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/KD.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/Mon.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/P.hs /hets/GMP/GMP-CoLoSS/GMP/Logics/SysS.hs /hets/GMP/GMP-CoLoSS/GMP/Parser.hs /hets/GMP/GMP-CoLoSS/GMP/Prover.hs /hets/GMP/GMP-CoLoSS/Main.hs /hets/GMP/GenericSequent.hs /hets/GMP/Main.hs /hets/GMP/ModalLogic.hs /hets/GMP/Parser.hs /hets/GMP/Proof.hs /hets/GMP/SegExamples.hs /hets/GMP/versioning/coloss-0.0.4/Combination.hs /hets/GMP/versioning/coloss-0.0.4/Generic.hs /hets/GMP/versioning/coloss-0.0.4/examples.coalition.hs /hets/GMP/versioning/coloss-0.0.4/examples.gluings.hs /hets/GMP/versioning/coloss-0.0.4/examples.gml.hs /hets/GMP/versioning/coloss-0.0.4/examples.hml.hs /hets/GMP/versioning/coloss-0.0.4/examples.pml.hs /hets/GMP/versioning/coloss-0.0.4/examples.segala.hs /hets/GMP/versioning/coloss-0.0.4/gg.head.hs /hets/GMP/versioning/coloss-0.0.4/gg.tmpl.hs /hets/GMP/versioning/coloss-0.0.4/gg.util.hs /hets/GMP/versioning/gmp-0.0.1/GMP/CoalitionL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPAS.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GMPSAT.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GenericML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/GradedML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Lexer.hs /hets/GMP/versioning/gmp-0.0.1/GMP/Main.hs /hets/GMP/versioning/gmp-0.0.1/GMP/MajorityL.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalK.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalKD.hs /hets/GMP/versioning/gmp-0.0.1/GMP/ModalLogic.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/IneqSolvTester.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/LWBParser.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/TestGenGML.hs /hets/GMP/versioning/gmp-0.0.1/GMP/extra/ToRacer.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompAS.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/CompGeneric.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Main.hs /hets/GMP/versioning/gmp-coloss-0.0.2/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/C.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/CKCM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Con.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/DisjUnion.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/G.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Generic.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/HM.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/IneqSolver.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/K.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/KD.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/Mon.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/P.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Logics/SysS.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Parser.hs /hets/GMP/versioning/gmp-coloss-0.0.3/GMP/Prover.hs /hets/GMP/versioning/gmp-coloss-0.0.3/Main.hs /hets/GUI.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/GenericATP.hs /hets/GUI/Glade/Template.append.hs /hets/GUI/GraphAbstraction.hs /hets/GUI/GraphDisplay.hs /hets/GUI/GraphLogic.hs /hets/GUI/GraphMenu.hs /hets/GUI/GraphTypes.hs /hets/GUI/GtkAutomaticProofs.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkDisprove.hs /hets/GUI/GtkGenericATP.hs /hets/GUI/GtkLinkTypeChoice.hs /hets/GUI/GtkProverGUI.hs /hets/GUI/GtkUtils.hs /hets/GUI/HTkGenericATP.hs /hets/GUI/HTkProofDetails.hs /hets/GUI/HTkProverGUI.hs /hets/GUI/HTkUtils.hs /hets/GUI/ProverGUI.hs /hets/GUI/ShowGraph.hs /hets/GUI/ShowLibGraph.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/ShowRefTree.hs /hets/GUI/Taxonomy.hs /hets/GUI/UDGUtils.hs /hets/GUI/Utils.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/HasCASL.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/ConvertTypePattern.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/FoldTerm.hs /hets/HasCASL/FoldType.hs /hets/HasCASL/HToken.hs /hets/HasCASL/Le.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/MapTerm.hs /hets/HasCASL/MatchingWithDefinitions.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintSubst.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Subst.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/ToItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/TypeRel.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/hacapa.hs /hets/Haskell.hs /hets/Haskell/BaseATC.hs /hets/Haskell/CreateModules.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/ProgramaticaPrelude.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/h2h.hs /hets/Haskell/h2hf.hs /hets/Haskell/hana.hs /hets/Haskell/test/HOL/Map2.hs /hets/Haskell/test/HOL/ex_class.hs /hets/Haskell/test/HOL/ex_let.hs /hets/Haskell/test/HOL/ex_list.hs /hets/Haskell/test/HOL/mrec.hs /hets/Haskell/test/HOL/mrec3.hs /hets/Haskell/test/HOL/wcard.hs /hets/Haskell/test/HOLCF/PPrel.hs /hets/Haskell/test/HOLCF/ex_fibon.hs /hets/Haskell/test/HOLCF/ex_mutrec.hs /hets/Haskell/test/HOLCF/incmpl.hs /hets/Haskell/wrap.hs /hets/Interfaces/CmdAction.hs /hets/Interfaces/Command.hs /hets/Interfaces/DataTypes.hs /hets/Interfaces/GenericATPState.hs /hets/Interfaces/History.hs /hets/Interfaces/Utils.hs /hets/Isabelle.hs /hets/Isabelle/CreateTheories.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/MarkSimp.hs /hets/Isabelle/Translate.hs /hets/Isabelle/isa.hs /hets/LF/AS.hs /hets/LF/Analysis.hs /hets/LF/Framework.hs /hets/LF/Logic_LF.hs /hets/LF/Morphism.hs /hets/LF/Parse.hs /hets/LF/Sign.hs /hets/LF/Twelf2DG.hs /hets/LF/Twelf2GR.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/ExtSign.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Modification.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Lottery/Test.hs /hets/Lottery/Zaehler.hs /hets/Maude/AS_Maude.hs /hets/Maude/Language.hs /hets/Maude/Logic_Maude.hs /hets/Maude/Maude2DG.hs /hets/Maude/Meta.hs /hets/Maude/Meta/AsSymbol.hs /hets/Maude/Meta/HasLabels.hs /hets/Maude/Meta/HasName.hs /hets/Maude/Meta/HasOps.hs /hets/Maude/Meta/HasSorts.hs /hets/Maude/Morphism.hs /hets/Maude/Parse.hs /hets/Maude/PreComorphism.hs /hets/Maude/Printing.hs /hets/Maude/Sentence.hs /hets/Maude/Shellout.hs /hets/Maude/Sign.hs /hets/Maude/Symbol.hs /hets/Maude/Util.hs /hets/Modal.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/ModalSign.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/Modal/Utils.hs /hets/Modifications/ModalEmbedding.hs /hets/OMDoc.hs /hets/OMDoc/ATerm.hs /hets/OMDoc/Base64.hs /hets/OMDoc/CASLDefs.hs /hets/OMDoc/CASLOutput.hs /hets/OMDoc/Container.hs /hets/OMDoc/DataTypes.hs /hets/OMDoc/Export.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/Import.hs /hets/OMDoc/KeyDebug.hs /hets/OMDoc/Logic_OMDoc.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocInterface.hs /hets/OMDoc/OMDocOutput.hs /hets/OMDoc/OMDocXml.hs /hets/OMDoc/Sentences.hs /hets/OMDoc/Util.hs /hets/OMDoc/XmlHandling.hs /hets/OMDoc/XmlInterface.hs /hets/OWL/AS.hs /hets/OWL/ColimSign.hs /hets/OWL/ColonKeywords.hs /hets/OWL/Conservativity.hs /hets/OWL/Keywords.hs /hets/OWL/Logic_OWL.hs /hets/OWL/Morphism.hs /hets/OWL/Namespace.hs /hets/OWL/OWLAnalysis.hs /hets/OWL/OWLParser.hs /hets/OWL/Parse.hs /hets/OWL/Print.hs /hets/OWL/ProveFact.hs /hets/OWL/ProvePellet.hs /hets/OWL/ReadWrite.der.hs /hets/OWL/Sign.hs /hets/OWL/StaticAnalysis.hs /hets/OWL/StructureAnalysis.hs /hets/OWL/Sublogic.hs /hets/OWL/Taxonomy.hs /hets/Omega/DataTypes.hs /hets/Omega/Export.hs /hets/Omega/Terms.hs /hets/Omega/ToLisp.hs /hets/PGIP/ParseProofScript.hs /hets/PGIP/XMLparsing.hs /hets/PGIP/XMLstate.hs /hets/PGIP/tests/Server.hs /hets/Proofs/AbstractState.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/Composition.hs /hets/Proofs/ComputeColimit.hs /hets/Proofs/Conservativity.hs /hets/Proofs/ConsistencyCheck.hs /hets/Proofs/DGFlattening.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/FreeDefLinks.hs /hets/Proofs/Freeness.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/NormalForm.hs /hets/Proofs/PathifyNames.hs /hets/Proofs/QualifyNames.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Proofs/VSE.hs /hets/Propositional/AS_BASIC_Propositional.der.hs /hets/Propositional/Analysis.hs /hets/Propositional/ChildMessage.hs /hets/Propositional/Conservativity.hs /hets/Propositional/Conversions.hs /hets/Propositional/Fold.hs /hets/Propositional/Logic_Propositional.hs /hets/Propositional/Morphism.hs /hets/Propositional/Parse_AS_Basic.hs /hets/Propositional/Prop2CASLHelpers.hs /hets/Propositional/Prop2CNF.hs /hets/Propositional/Prove.hs /hets/Propositional/ProveMinisat.hs /hets/Propositional/ProveWithTruthTable.hs /hets/Propositional/ProverState.hs /hets/Propositional/Sign.hs /hets/Propositional/Sublogic.hs /hets/Propositional/Symbol.hs /hets/Propositional/TestProp2CNF.hs /hets/Propositional/Tools.hs /hets/QBF/AS_BASIC_QBF.der.hs /hets/QBF/Analysis.hs /hets/QBF/Logic_QBF.hs /hets/QBF/Morphism.hs /hets/QBF/Parse_AS_Basic.hs /hets/QBF/ProveDepQBF.hs /hets/QBF/ProverState.hs /hets/QBF/Sublogic.hs /hets/QBF/Symbol.hs /hets/QBF/Tools.hs /hets/RelationalScheme/AS.der.hs /hets/RelationalScheme/Keywords.hs /hets/RelationalScheme/Logic_Rel.hs /hets/RelationalScheme/ParseRS.hs /hets/RelationalScheme/Sign.hs /hets/RelationalScheme/StaticAnalysis.hs /hets/Search/CASL/FormulaWrapper.hs /hets/Search/CASL/NormalizationDB.hs /hets/Search/CASL/Retrieval.hs /hets/Search/Common/ACINormalization.hs /hets/Search/Common/ACStandardization.hs /hets/Search/Common/BooleanRing.hs /hets/Search/Common/CNF.hs /hets/Search/Common/Data.hs /hets/Search/Common/Intersection.hs /hets/Search/Common/Normalization.hs /hets/Search/Common/Select.hs /hets/Search/Config.hs /hets/Search/DB/Connection.hs /hets/Search/DB/DBSpec.hs /hets/Search/DB/Export.hs /hets/Search/DB/FormulaDB.hs /hets/Search/DB/FormulaDB/Inclusion.hs /hets/Search/DB/FormulaDB/Profile.hs /hets/Search/DB/FormulaDB/Statistics.hs /hets/Search/DB/MPTP.hs /hets/Search/DB/MPTP/Inclusion.hs /hets/Search/DB/MPTP/Profile.hs /hets/Search/DB/MPTP/Statistics.hs /hets/Search/SPASS/DB.hs /hets/Search/SPASS/DFGParser.hs /hets/Search/SPASS/FormulaWrapper.hs /hets/Search/SPASS/InterActiveTesting.hs /hets/Search/SPASS/Intersection.hs /hets/Search/SPASS/ReusedTheorems.hs /hets/Search/SPASS/Sign.hs /hets/Search/SPASS/UnWrap.hs /hets/Search/Utils/List.hs /hets/Search/Utils/ListSet.hs /hets/Search/Utils/SetMap.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/DFGParser.hs /hets/SoftFOL/Logic_SoftFOL.hs /hets/SoftFOL/MathServMapping.hs /hets/SoftFOL/MathServParsing.hs /hets/SoftFOL/Morphism.hs /hets/SoftFOL/ParseTPTP.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/PrintTPTP.hs /hets/SoftFOL/ProveDarwin.hs /hets/SoftFOL/ProveHyperHyper.hs /hets/SoftFOL/ProveMathServ.hs /hets/SoftFOL/ProveSPASS.hs /hets/SoftFOL/ProveVampire.hs /hets/SoftFOL/ProverState.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/dfg.hs /hets/SoftFOL/tests/GUI_tests.hs /hets/SoftFOL/tests/PrintTPTPTests.hs /hets/SoftFOL/tests/PrintTests.hs /hets/SoftFOL/tests/Sokrates.hs /hets/SoftFOL/tptp.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ApplyChanges.hs /hets/Static/ArchDiagram.hs /hets/Static/ChangeGraph.hs /hets/Static/CheckGlobalContext.hs /hets/Static/ComputeTheory.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/FromXml.hs /hets/Static/GTheory.hs /hets/Static/History.hs /hets/Static/PrintDevGraph.hs /hets/Static/ToXml.hs /hets/Static/WACocone.hs /hets/Static/test/TestDGTrans.hs /hets/Syntax/ADoc.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs /hets/Syntax/ToXml.hs /hets/Syntax/hetpa.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Taxonomy/OntoParser.hs /hets/Taxonomy/taxonomyTool.hs /hets/Temporal/AS_BASIC_Temporal.hs /hets/Temporal/Ctl.hs /hets/Temporal/Kripke.hs /hets/Temporal/Logic_Temporal.hs /hets/Temporal/Main.hs /hets/Temporal/ModalCasl.hs /hets/Temporal/ModalCaslToCtl.hs /hets/Temporal/ModalCaslToMu.hs /hets/Temporal/ModalCaslToNuSmvLtl.hs /hets/Temporal/Morphism.hs /hets/Temporal/Mu.hs /hets/Temporal/NuSmv.hs /hets/Temporal/NuSmvLtl.hs /hets/Temporal/Sign.hs /hets/Temporal/Symbol.hs /hets/Test.hs /hets/ToHaskell/test/BoolEx.hascasl.hs /hets/ToHaskell/test/Builtin.hascasl.hs /hets/ToHaskell/test/Expr.hascasl.hs /hets/ToHaskell/test/FiniteSet.hascasl.hs /hets/ToHaskell/test/Foldl.hascasl.hs /hets/ToHaskell/test/ListEx.hascasl.hs /hets/ToHaskell/test/NatEx.hascasl.hs /hets/ToHaskell/test/OpDecls.hascasl.hs /hets/ToHaskell/test/Pair.hascasl.hs /hets/ToHaskell/test/PatternEq.hascasl.hs /hets/ToHaskell/test/Sorting.hascasl.hs /hets/ToHaskell/test/Test.hascasl.hs /hets/VSE/Ana.hs /hets/VSE/As.hs /hets/VSE/Fold.hs /hets/VSE/Logic_VSE.hs /hets/VSE/Parse.hs /hets/VSE/Prove.hs /hets/VSE/ToSExpr.hs /hets/atermlib/src/ATerm/AbstractSyntax.hs /hets/atermlib/src/ATerm/Base64.hs /hets/atermlib/src/ATerm/Conversion.hs /hets/atermlib/src/ATerm/Diff.hs /hets/atermlib/src/ATerm/Lib.hs /hets/atermlib/src/ATerm/ReadWrite.hs /hets/atermlib/src/ATerm/SimpPretty.hs /hets/atermlib/src/ATerm/Unshared.hs /hets/hets.hs /hets/mini/Grothendieck.hs /hets/mini/Logic.hs /hets/mini/Main.hs /hets/mini/Parser.hs /hets/mini/Proof.hs /hets/mini/StaticAnalysis.hs /hets/mini/Structured.hs /hets/test/Map.hs /hets/test/childProcessTest.hs /hets/utils/DrIFT-src/ChaseImports.hs /hets/utils/DrIFT-src/CommandP.hs /hets/utils/DrIFT-src/DataP.hs /hets/utils/DrIFT-src/ParseLib2.hs /hets/utils/DrIFT-src/RuleUtils.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs /hets/utils/GenerateRules/GenerateRules.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/InlineAxioms/ExtInlineAxioms.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/Setup.hs /hets/utils/appendHaskellPreludeString.hs /hets/utils/createKeywordDecls.hs /hets/utils/itcor/GenItCorrections.hs
408623bfee2394e622e59d28decb0190ff25d82d	30-Jul-2010	Christian Maeder <Christian.Maeder@dfki.de>	added some symbols git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13794 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Adl/Print.hs Doc.hs
95f9aba082f12181da6ce648377ee9cd2177a4cd	08-Jun-2010	Ewaryst Schulz <Ewaryst.Schulz@dfki.de>	added a sepBySemi function git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13544 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
ceef5f7843a1f96fe5a62e0f6880e38b3d5f4708	10-Mar-2010	Christian Maeder <Christian.Maeder@dfki.de>	removed semicolons git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13197 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/QuickCheck.hs /hets/CASL/ToItem.hs Doc.hs Item.hs LaTeX_funs.hs /hets/CspCASLProver/TransProcesses.hs /hets/GUI/GtkConsistencyChecker.hs /hets/GUI/GtkProverGUI.hs /hets/GUI/GtkUtils.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/ParseItem.hs /hets/Haskell/ProgramaticaPrelude.hs /hets/Haskell/Scanner.hs /hets/Haskell/scan.hs /hets/Maude/Language.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocXml.hs /hets/OMDoc/XmlInterface.hs /hets/SoftFOL/DFGParser.hs /hets/test/childProcessTest.hs
7f913d8cb39c97ca9cc15767b6c8b80df4c26f05	22-Dec-2009	Christian Maeder <Christian.Maeder@dfki.de>	removed rec identifier for ghc-6.12.1 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12946 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
6bcdf8fc684a7a2d03f41bba002cfeaa0fbe023c	09-Nov-2009	Christian Maeder <Christian.Maeder@dfki.de>	hlinted git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12805 cec4b9c1-7d33-0410-9eda-942365e851bb AS_Annotation.der.hs ConvertLiteral.hs ConvertMixfixToken.hs Doc.hs Earley.hs Id.hs OrderedMap.hs Partial.hs Prec.hs PrintLaTeX.hs RunParsers.hs
cdb68707ccdbff6aef4f34a897a8650515685fee	03-Jan-2009	Christian Maeder <Christian.Maeder@dfki.de>	refactored (according to hlint) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11208 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs DocUtils.hs Earley.hs Partial.hs Result.hs ResultT.hs RunParsers.hs SimpPretty.hs Utils.hs
f5d02a841c8123d5aca0911b998647e1610cd8e6	19-Aug-2008	Christian Maeder <Christian.Maeder@dfki.de>	juxtaposition application binds stronger than postfix git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10537 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs /hets/HasCASL/test/MixfixTerms.hascasl.output
835f9a86e8897278895e503f6eaf9f65cafe799a	21-Mar-2008	Christian Maeder <Christian.Maeder@dfki.de>	pp changes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9827 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs DocUtils.hs /hets/Static/PrintDevGraph.hs
481f59b483d1e012e779676f14d5e7eee34929d2	01-Feb-2008	Andy Gimblett <a.m.gimblett@swansea.ac.uk>	CspCASL - more tweaking LaTeX pretty printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9512 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
c20713342cc0989339454bd74dc7fe062dde35d0	01-Feb-2008	Christian Maeder <Christian.Maeder@dfki.de>	changed []() to text for latex git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9511 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
fab5f5e033ca6ee17e923da6cfa74415fe32a4c1	01-Feb-2008	Christian Maeder <Christian.Maeder@dfki.de>	changed hiding_proc to backslash git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9509 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
2660e5ee1912570c65d62a62efd42c08e4a32378	01-Feb-2008	Christian Maeder <Christian.Maeder@dfki.de>	hiding_procS clashes with lambdaSymb git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9504 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
ce42fd0f4e927de31f7a1a2348ef68f64a2dbb0b	31-Jan-2008	Christian Maeder <Christian.Maeder@dfki.de>	reverted accidental change of synchronous git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9499 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
beddade7ab7cb0a12448a63f4ecb826b0760867b	31-Jan-2008	Christian Maeder <Christian.Maeder@dfki.de>	made prefix_procS equal to funS git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9498 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
89738114dd82ea4ad5bcb35e27d97a63312531f1	30-Jan-2008	Andy Gimblett <a.m.gimblett@swansea.ac.uk>	CspCASL - fixed a misleading comment git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9496 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
20ed727452613e36c0a95ddabf7ecc81cf941ed2	30-Jan-2008	Andy Gimblett <a.m.gimblett@swansea.ac.uk>	CspCASL - integrating CspCASL symbols into LaTeX pretty printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9495 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs Keywords.hs /hets/CspCASL/CspCASL_Keywords.hs /hets/CspCASL/Parse_CspCASL_Process.hs /hets/CspCASL/Print_CspCASL.hs
bf0a12ff587940621f70ef590176d498ff4c7847	18-Sep-2007	Christian Maeder <Christian.Maeder@dfki.de>	considered newlines in text docs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8863 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/test/WrongMixfixTerms.casl.output Doc.hs test/Annotations.casl.global.output test/WrongPrecedence.annos.global.output /hets/HasCASL/test/Alias.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/BoundedOrd.hascasl.output /hets/HasCASL/test/CTree.hascasl.output /hets/HasCASL/test/ContraVariance.hascasl.output /hets/HasCASL/test/EmptyLambda.hascasl.output /hets/HasCASL/test/FunctorMonadTransformer.hascasl.output /hets/HasCASL/test/Lazy.hascasl.output /hets/HasCASL/test/ListEx.hascasl.output /hets/HasCASL/test/MixfixTerms.casl.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/XUnion.hascasl.output /hets/HasCASL/test/ZMapArgs.hascasl.output
07e378a9c399b1e7fb218477b3b7eaf165f3365d	10-Jul-2007	Christian Maeder <Christian.Maeder@dfki.de>	removed wrong markup in Description git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8325 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs DocUtils.hs Result.hs ResultT.hs
3f69b6948966979163bdfe8331c38833d5d90ecd	05-Jul-2007	Christian Maeder <Christian.Maeder@dfki.de>	changed my maintainer email git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/DevGraph.der.hs /hets/ATC/Grothendieck.hs /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Quantification.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/ToDoc.hs /hets/CASL/capa.hs /hets/CASL/fromKif.hs /hets/CoCASL.hs /hets/CoCASL/Sublogic.hs /hets/Common.hs AS_Annotation.der.hs ATerm/AbstractSyntax.hs ATerm/ConvInstances.hs ATerm/Conversion.hs ATerm/Lib.hs ATerm/ReadWrite.hs ATerm/Unshared.hs AnalyseAnnos.hs AnnoState.hs Anno_Parser.hs CaslLanguage.hs ConvertGlobalAnnos.hs ConvertLiteral.hs ConvertMixfixToken.hs DefaultMorphism.hs Doc.hs Earley.hs GlobalAnnotations.hs Id.hs InjMap.hs Keywords.hs Lexer.hs Lib/Graph.hs Lib/Rel.hs Lib/RelCheck.hs Lib/State.hs Partial.hs Prec.hs Result.hs ResultT.hs RunParsers.hs SimpPretty.hs ToId.hs Token.hs Trace.hs annos.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2PCFOL.inline.hs /hets/Comorphisms/CASL2SubCFOL.inline.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/OWL_DL2CASL.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/ConstraintCASL/Parse_AS_Basic.hs /hets/Driver/Options.hs /hets/Driver/WriteFn.hs /hets/GUI/ConsoleUtils.hs /hets/GUI/ShowGraph.hs /hets/GUI/Utils.hs /hets/HasCASL.hs /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/HToken.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/PrintLe.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/SubtypeDecl.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/TypeMixAna.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/Hatchet/Docs.hs /hets/Haskell/Hatchet/FiniteMaps.hs /hets/Haskell/Hatchet/TIHetsModule.hs /hets/Haskell/Hatchet/TIPhase.hs /hets/Haskell/Logic_Haskell.hs /hets/Haskell/PreludeString.append.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Haskell/Wrapper.hs /hets/Haskell/h2h.hs /hets/Haskell/hana.hs /hets/Haskell/wrap.hs /hets/Isabelle/IsaConsts.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Logic_Isabelle.hs /hets/Isabelle/Translate.hs /hets/Isabelle/isa.hs /hets/Modal.hs /hets/OWL_DL/ReadWrite.der.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/ADoc.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/hets.hs /hets/utils/DrIFT-src/UserRulesHetCATS.hs /hets/utils/GenerateRules/GenerateRules.hs /hets/utils/GenerateRules/ParseFile.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/appendHaskellPreludeString.hs
94446c0c3880e58053219473819d7b35d6736cfc	26-Feb-2007	Christian Maeder <Christian.Maeder@dfki.de>	changed printing of multiline blocks and attached mixfix tokens to a following argument git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7535 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
ad270004874ce1d0697fb30d7309f180553bb315	21-Feb-2007	Christian Maeder <Christian.Maeder@dfki.de>	switched to Data.Set, Data.Map and Data.Dynamic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7491 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/ATC/ATCTest2.hs /hets/ATC/DevGraph.der.hs /hets/ATC/Grothendieck.hs /hets/ATC/Set.hs /hets/ATC/Sml_cats.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/CCC/SignFuns.hs /hets/CASL/CCC/TermFormula.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/Kif2CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/Overload.hs /hets/CASL/Quantification.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/Sign.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/Taxonomy.hs /hets/CASL/Utils.hs /hets/CASL_DL/Sign.hs /hets/CASL_DL/StatAna.hs /hets/COL/COLSign.hs /hets/COL/Print_AS.hs /hets/COL/StatAna.hs /hets/CoCASL/CoCASLSign.hs /hets/CoCASL/StatAna.hs /hets/Common.hs ATerm/AbstractSyntax.hs ATerm/ConvInstances.hs ATerm/Conversion.hs ATerm/ReadWrite.hs AnalyseAnnos.hs Anno_Parser.hs ConvertGlobalAnnos.hs Doc.hs DocUtils.hs DynamicUtils.hs Earley.hs GlobalAnnotations.hs InjMap.hs LaTeX_funs.hs LaTeX_maps.hs LaTeX_maps.svmono.hs Lib/Graph.hs Lib/Map.hs Lib/Rel.hs Lib/RelCheck.hs Lib/Set.hs OrderedMap.hs Prec.hs ProofUtils.hs ToId.hs Utils.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2PCFOL.inline.hs /hets/Comorphisms/CASL2SPASS.hs /hets/Comorphisms/CASL2SubCFOL.inline.hs /hets/Comorphisms/CASL2TopSort.inline.hs /hets/Comorphisms/CFOL2IsabelleHOL.hs /hets/Comorphisms/CoCASL2CoPCFOL.hs /hets/Comorphisms/CoCASL2CoSubCFOL.hs /hets/Comorphisms/CspCASL2IsabelleHOL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/HasCASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/Hs2HOLCF.hs /hets/Comorphisms/Hs2HOLCFaux.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/LogicGraph.hs /hets/Comorphisms/LogicList.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/ConstraintCASL/StaticAna.hs /hets/CspCASL/Logic_CspCASL.hs /hets/CspCASL/SignCSP.hs /hets/CspCASL/StatAnaCSP.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/GUI/DGTranslation.hs /hets/GUI/GenericATP.hs /hets/GUI/GenericATPState.hs /hets/GUI/PrintUtils.hs /hets/GUI/ProofManagement.hs /hets/GUI/ShowLogicGraph.hs /hets/GUI/displayDependencyGraph.hs /hets/GUI/hets_cgi.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/Le.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/ProgEq.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/Haskell/BaseATC.hs /hets/Haskell/Haskell2DG.hs /hets/Haskell/HatAna.hs /hets/Haskell/TiATC.der.hs /hets/Haskell/TiDecorateATC.der.hs /hets/Haskell/TiPropATC.der.hs /hets/Haskell/TranslateId.hs /hets/Isabelle/IsaParse.hs /hets/Isabelle/IsaPrint.hs /hets/Isabelle/IsaProve.hs /hets/Isabelle/IsaSign.hs /hets/Isabelle/IsaStrings.hs /hets/Isabelle/Translate.hs /hets/Isabelle/isa.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/Makefile /hets/Modal/ModalSign.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/OMDoc/Container.hs /hets/OMDoc/HetsDefs.hs /hets/OMDoc/HetsInterface.hs /hets/OMDoc/Integrate.hs /hets/OMDoc/KeyDebug.hs /hets/OMDoc/OMDocDefs.hs /hets/OMDoc/OMDocInput.hs /hets/OMDoc/OMDocOutput.hs /hets/OWL_DL/AS.hs /hets/OWL_DL/Namespace.hs /hets/OWL_DL/OWLAnalysis.hs /hets/OWL_DL/Print.hs /hets/OWL_DL/ReadWrite.der.hs /hets/OWL_DL/Sign.hs /hets/OWL_DL/StaticAna.hs /hets/OWL_DL/StructureAna.hs /hets/OWL_DL/ToHaskellAS.hs /hets/PGIP/Common.hs /hets/Proofs/Automatic.hs /hets/Proofs/BatchProcessing.hs /hets/Proofs/GUIState.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Propositional/Morphism.hs /hets/SPASS/Conversions.hs /hets/SPASS/Sign.hs /hets/SPASS/Translate.hs /hets/SPASS/tests/CMDL_tests.hs /hets/SPASS/tests/GUI_tests.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/PrintDevGraph.hs /hets/Static/test/Main.hs /hets/Static/test/TestDGTrans.hs /hets/Taxonomy/AbstractGraphView.hs /hets/Taxonomy/MMiSSOntology.hs /hets/Taxonomy/MMiSSOntologyGraph.hs /hets/Test.hs /hets/utils/InlineAxioms/InlineAxioms.hs /hets/utils/Omdoc/HetsDataTypes.hs /hets/utils/Omdoc/HetsInterface.hs /hets/utils/Omdoc/Integrate.hs /hets/utils/itcor/GenItCorrections.hs
926bd13236896436beac3a2787d39b35b924a7a7	12-Feb-2007	Christian Maeder <Christian.Maeder@dfki.de>	removed local const hFun git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7418 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
6090bfaef3bfb806d3c08ff2f2b16e50fa3b7ee4	12-Feb-2007	Christian Maeder <Christian.Maeder@dfki.de>	better propagate addLBrace git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7414 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
277f12a72ee6876b9c48f01ef34d7cde65a423c8	08-Feb-2007	Christian Maeder <Christian.Maeder@dfki.de>	refined printing of parens for HasCASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7394 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs Id.hs Keywords.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/test/CMonad.hascasl.output /hets/HasCASL/test/Graphs.hascasl.output /hets/HasCASL/test/MixfixFormula.casl.output /hets/HasCASL/test/MixfixTerms.casl.output /hets/HasCASL/test/MixfixTerms.hascasl /hets/HasCASL/test/MixfixTerms.hascasl.output /hets/HasCASL/test/PetriSystemCategory.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output
be8bd0bd8a9e3a55ee9c50cd4b49af0a671d7167	05-Feb-2007	Christian Maeder <Christian.Maeder@dfki.de>	tune parens for HasCASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7384 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
c3838592b62664f023ad897c5475f790e8d452c8	05-Feb-2007	Christian Maeder <Christian.Maeder@dfki.de>	added more parens for the HasCASL's applId git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7375 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
e6d40133bc9f858308654afb1262b8b483ec5922	01-Jan-2007	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	added Description header git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7287 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/AS_Basic_CASL.der.hs /hets/CASL/AlphaConvert.hs /hets/CASL/Amalgamability.hs /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/CompositionTable.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/Fold.hs /hets/CASL/Formula.hs /hets/CASL/Inject.hs /hets/CASL/Kif.hs /hets/CASL/Kif2CASL.hs /hets/CASL/Logic_CASL.hs /hets/CASL/MapSentence.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/Project.hs /hets/CASL/Quantification.hs /hets/CASL/RunMixfixParser.hs /hets/CASL/RunStaticAna.hs /hets/CASL/ShowMixfix.hs /hets/CASL/Sign.hs /hets/CASL/Simplify.hs /hets/CASL/SimplifySen.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/Sublogic.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs /hets/CASL/Taxonomy.hs /hets/CASL/ToDoc.hs /hets/CASL/Utils.hs AS_Annotation.der.hs Amalgamate.hs AnalyseAnnos.hs AnnoState.hs Anno_Parser.hs ConvertGlobalAnnos.hs ConvertLiteral.hs ConvertMixfixToken.hs DefaultMorphism.hs Doc.hs DocUtils.hs DynamicUtils.hs Earley.hs GlobalAnnotations.hs Id.hs InjMap.hs Keywords.hs LaTeX_funs.hs LaTeX_maps.hs Lexer.hs Lib/Graph.hs Lib/Map.hs Lib/Pretty.hs Lib/Rel.hs Lib/RelCheck.hs Lib/Set.hs Lib/State.hs OrderedMap.hs Partial.hs Prec.hs PrintLaTeX.hs ProofUtils.hs Result.hs ResultT.hs RunParsers.hs SimpPretty.hs Taxonomy.hs Token.hs Trace.hs Utils.hs /hets/Driver/Options.hs /hets/Driver/ReadFn.hs /hets/Driver/WriteFn.hs /hets/GUI/AbstractGraphView.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/Logic/Coerce.hs /hets/Logic/Comorphism.hs /hets/Logic/Grothendieck.hs /hets/Logic/Logic.hs /hets/Logic/Morphism.hs /hets/Logic/Prover.hs /hets/PGIP/Command_Parser.hs /hets/PGIP/Commands.hs /hets/PGIP/Common.hs /hets/PGIP/Utils.hs /hets/Proofs/Automatic.hs /hets/Proofs/Composition.hs /hets/Proofs/EdgeUtils.hs /hets/Proofs/Global.hs /hets/Proofs/HideTheoremShift.hs /hets/Proofs/InferBasic.hs /hets/Proofs/Local.hs /hets/Proofs/SimpleTheoremHideShift.hs /hets/Proofs/StatusUtils.hs /hets/Proofs/TheoremHideShift.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Static/DGTranslation.hs /hets/Static/DevGraph.hs /hets/Static/DotGraph.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/AS_Architecture.der.hs /hets/Syntax/AS_Library.der.hs /hets/Syntax/AS_Structured.der.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs
d543cf2bb0c810781625c76fe135476d46270d88	01-Jan-2007	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	added Description header git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7285 cec4b9c1-7d33-0410-9eda-942365e851bb AS_Annotation.der.hs Amalgamate.hs AnalyseAnnos.hs AnnoState.hs Anno_Parser.hs CaslLanguage.hs ConvertGlobalAnnos.hs ConvertLiteral.hs ConvertMixfixToken.hs DefaultMorphism.hs Doc.hs DocUtils.hs DynamicUtils.hs Earley.hs GlobalAnnotations.hs Id.hs InjMap.hs Keywords.hs LaTeX_funs.hs Lexer.hs OrderedMap.hs Partial.hs Prec.hs PrintLaTeX.hs ProofUtils.hs Result.hs ResultT.hs RunParsers.hs SimpPretty.hs Taxonomy.hs ToId.hs Token.hs Trace.hs Utils.hs annos.hs
5eee4cb5fa6075d953b9aa3b88092ecc8ee95a23	08-Aug-2006	Christian Maeder <Christian.Maeder@dfki.de>	reverted previous change and considered Native code within IdLabel two times for isNative stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6789 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
98ffcc045e5c85739b8dd30e89c083568446017e	08-Aug-2006	Christian Maeder <Christian.Maeder@dfki.de>	reverted latex Native translation to that of spechub/Hets@4529ee79473b32f708b559d4e01fe3a222047ef4.22 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6788 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
2f2237571ed7885b0f1ccb2c17996e8922f3d12d	07-Aug-2006	Christian Maeder <Christian.Maeder@dfki.de>	avoided final spaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6780 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.casl.output /hets/CASL/test/BasicSpec.sentences.output /hets/CASL/test/BasicSpec.signature.output /hets/CASL/test/MixfixTerms.casl.output /hets/CASL/test/X1.casl.output /hets/CASL/test/X2.casl.output /hets/CASL/test/X3.casl.output /hets/CASL/test/X4.casl.output /hets/CASL/test/XOver1.casl.output /hets/CASL/test/XTest.casl.output Doc.hs test/Annotations.casl.global.output test/Annotations.casl.output test/Annotations.casl.perLine.output /hets/HasCASL/test/Alias.hascasl.output /hets/HasCASL/test/BasicSpec.casl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.parser.output /hets/HasCASL/test/CMonad.hascasl.output /hets/HasCASL/test/Constrain.hascasl.output /hets/HasCASL/test/Double.hascasl.output /hets/HasCASL/test/Expr.hascasl.output /hets/HasCASL/test/Foldl.hascasl.output /hets/HasCASL/test/Graphs.hascasl.output /hets/HasCASL/test/Items.hascasl.output /hets/HasCASL/test/ListEx.hascasl.output /hets/HasCASL/test/MixfixTerms.casl.output /hets/HasCASL/test/Num.hascasl.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/Prelude.hascasl.output /hets/HasCASL/test/SuperClassErrors.hascasl.output /hets/HasCASL/test/Terms.hascasl.output /hets/HasCASL/test/XInternal.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/HasCASL/test/ZMapArgs.hascasl.output
88ec22bf558d5e5b3bbf1d1bd334cc269e5a92d2	03-Aug-2006	Christian Maeder <Christian.Maeder@dfki.de>	moved constants from LaTex_funs to Doc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6776 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs LaTeX_funs.hs
0c508ed04c38a0a0899f7e5cd9376fb43035510f	03-Aug-2006	Christian Maeder <Christian.Maeder@dfki.de>	added predicate applications git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6766 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/ToDoc.hs Doc.hs
7e8613081e4a95e598878c8ebb5f6d0ce7622c8b	03-Aug-2006	Christian Maeder <Christian.Maeder@dfki.de>	changed HetsLabel using two arguments git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6765 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs /hets/utils/hetcasl.sty
66939c546b3eaf25eb34d1dc36c0c82943f85552	02-Aug-2006	Christian Maeder <Christian.Maeder@dfki.de>	allowed for labels of declared identifiers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6759 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/ToDoc.hs Doc.hs
70cf3c3c9f61b4cfdfce09fafc050b90f85e4972	31-Jul-2006	Christian Maeder <Christian.Maeder@dfki.de>	exported codeToken, added identifier label git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6746 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
b8b9b89d0ff041c8f6293db1546fe27c5ae86b9a	28-Jul-2006	Christian Maeder <Christian.Maeder@dfki.de>	added HetsLabel git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6736 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs /hets/utils/hetcasl.sty
e0e264f0f7b759aeb101b55e4856219c0ec2fca5	18-Jul-2006	Christian Maeder <Christian.Maeder@dfki.de>	used AltBar macro git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6680 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
33fa750afd4b53f807c21141d0912991e3997e84	13-Jul-2006	Christian Maeder <Christian.Maeder@dfki.de>	changed displayFormat to commentText git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6661 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
b09390ddf0a066ccbb220b0424e4030d5168463d	11-Jul-2006	Christian Maeder <Christian.Maeder@dfki.de>	cleaned up entirely with old PrettyPrint git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6654 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs DocUtils.hs PrettyPrint.hs Print_AS_Annotation.hs
8e4d284b9578b300b3b93dba75143a6b6640fda8	10-Jul-2006	Christian Maeder <Christian.Maeder@dfki.de>	added documentation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6649 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
bce5814d5ae7e2f9d5e387eeacbd5c4661201a65	04-Jul-2006	Christian Maeder <Christian.Maeder@dfki.de>	shortened code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6583 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
2424b7187abc20deab5b36ea6ce09b7280a0e5f6	04-Jul-2006	Christian Maeder <Christian.Maeder@dfki.de>	moved sepByCommas into Doc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6581 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs DocUtils.hs
eab576044505ba1fbc64610323053490fbd9e82c	03-Jul-2006	Christian Maeder <Christian.Maeder@dfki.de>	added topSigKey git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6563 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/ToDoc.hs /hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.casl.output Doc.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/test/BasicSpec.casl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.parser.output /hets/HasCASL/test/Items.hascasl.output /hets/HasCASL/test/ListEx.hascasl.output /hets/HasCASL/test/Pair.hascasl.output /hets/HasCASL/test/PatternEq.hascasl.output /hets/HasCASL/test/PetriSystemCategory.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/XInternal.hascasl.output /hets/HasCASL/test/YCombinator.hascasl.output /hets/HasCASL/test/ZMapArgs.hascasl.output
23a00c966f2aa8da525d7a7c51933c99964426c0	30-Jun-2006	Christian Maeder <Christian.Maeder@dfki.de>	moved class Pretty from Doc to DocUtils git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6555 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/CCC/TerminationProof.hs /hets/CASL/Inject.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/Overload.hs /hets/CASL/SimplifySen.hs DefaultMorphism.hs Doc.hs DocUtils.hs Result.hs /hets/Comorphisms/CASL2SPASS.hs /hets/GUI/ConvertDevToAbstractGraph.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/Merge.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/VarDecl.hs /hets/Haskell/CreateModules.hs /hets/Haskell/HatAna.hs /hets/Haskell/HatParser.hs /hets/Haskell/Logic_Haskell.hs /hets/Isabelle/IsaParse.hs /hets/Logic/Logic.hs /hets/Logic/Prover.hs /hets/Modal/LaTeX_Modal.hs /hets/OWL_DL/Logic_OWL_DL.hs /hets/SPASS/Print.hs /hets/Static/ArchDiagram.hs /hets/Static/DevGraph.hs
37354e3ed68875fb527338105a610df481f98cb0	30-Jun-2006	Christian Maeder <Christian.Maeder@dfki.de>	added a quMark Doc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6554 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/Print_AS_Basic.hs /hets/CASL/ToDoc.hs /hets/CoCASL/Print_AS.hs Doc.hs /hets/HasCASL/PrintAs.hs
47d6bc7bc9a708427f96be8d805f712697ad3d9e	30-Jun-2006	Christian Maeder <Christian.Maeder@dfki.de>	phased out PPUtils, used showDoc for showPretty, and moved instances and utilities to DocUtils git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6552 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/TerminationProof.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/ToDoc.hs /hets/COL/Print_AS.hs /hets/CoCASL/Print_AS.hs ConvertGlobalAnnos.hs Doc.hs DocUtils.hs LaTeX_AS_Annotation.hs PPUtils.hs Print_AS_Annotation.hs Result.hs /hets/Driver/WriteFn.hs /hets/HasCASL/PrintAs.hs /hets/Isabelle/IsaPrint.hs /hets/Modal/Print_AS.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/PrintDevGraph.hs /hets/Syntax/Print_AS_Architecture.hs
2f953c23da49e3d5eef38d3015bcb2c9aa1feeaf	30-Jun-2006	Christian Maeder <Christian.Maeder@dfki.de>	avoid indenting after open spec brace git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6551 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
47effe93ff7169a3f2aac5c9fb86adf71cec8607	30-Jun-2006	Christian Maeder <Christian.Maeder@dfki.de>	export startsWithSemanticAnno git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6547 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
00fe5054312a4d01ef0604b0c23909bee8235092	29-Jun-2006	Christian Maeder <Christian.Maeder@dfki.de>	moved functions to Doc and considered semantic annos git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6535 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs DocUtils.hs
35d5e815cf9d034b94232852d86550e159d8afd0	23-Jun-2006	Christian Maeder <Christian.Maeder@dfki.de>	generalized to changeGlobalAnnos git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6491 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
887583f0578b4adc19e1110a4cc515e0991a7091	23-Jun-2006	Christian Maeder <Christian.Maeder@dfki.de>	allow to add global annos git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6489 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
942cd94b523c5f8d5b72fc45e1dfa43fe3d4484b	31-May-2006	Christian Maeder <Christian.Maeder@dfki.de>	added Show instance for Doc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6407 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
065bbd1003ea42e2b6f02cedb18c4403f9e8c17e	31-May-2006	Christian Maeder <Christian.Maeder@dfki.de>	added vsep stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6406 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
ad46243dc18269aea995241775be02bdfce05188	27-Apr-2006	Christian Maeder <Christian.Maeder@dfki.de>	removed indentBy stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6274 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
c184c32f97b04351abcff96a49f09086fb92fd98	27-Apr-2006	Christian Maeder <Christian.Maeder@dfki.de>	added greater git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6262 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
015103a92faa96f44d5384d171aec1caf93b1006	25-Apr-2006	Christian Maeder <Christian.Maeder@dfki.de>	avoided initial tabs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6252 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
f2edaf72ce957b07787e9096da10e9df5fd82392	12-Apr-2006	Christian Maeder <Christian.Maeder@dfki.de>	avoided to much escaping git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6199 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs LaTeX_funs.hs
aac4180ea138482bbfbbe866e84b253b78098cd3	11-Apr-2006	Christian Maeder <Christian.Maeder@dfki.de>	rewrote escape latex git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6191 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs LaTeX_funs.hs
7ac396cb2970523b02bed1a6c721f5e857a394a3	07-Apr-2006	Christian Maeder <Christian.Maeder@dfki.de>	corrected lambda, inserted rmTopKey, removed empty docs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6179 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
1d4af077f64d8634de7155b26376ec83667d9af7	05-Apr-2006	Christian Maeder <Christian.Maeder@dfki.de>	made colon a symbol, export only specBraces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6167 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
d5bafd42bc0cadf07032b4e7a1a92d90afb7c973	04-Apr-2006	Christian Maeder <Christian.Maeder@dfki.de>	used topKey for op and pred items git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6162 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/LaTeX_AS_Basic.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.casl.output /hets/CASL/test/OpItem.casl.output /hets/CASL/test/PredItem.casl.output Doc.hs
c6b0a8459c6ba66a26a636abea879756b02ed371	03-Apr-2006	Christian Maeder <Christian.Maeder@dfki.de>	no parens for nested postfix operators git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6152 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
0015e1756b734b34d4b550318c078f9a0c585611	24-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	swichted to new Doc printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6120 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/LaTeX_AS_Basic.hs /hets/CASL/Logic_CASL.hs /hets/CASL/Print_AS_Basic.hs /hets/CASL/ToDoc.hs /hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.casl.output Doc.hs LaTeX_AS_Annotation.hs PPUtils.hs Print_AS_Annotation.hs /hets/HasCASL/test/BasicSpec.casl.output
3ab1e7a18f3fc3eb004464bc54b7df4483f1f060	24-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	added compatibility via LiteralDoc for more instances git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6118 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/LaTeX_AS_Basic.hs /hets/CASL/ToDoc.hs Doc.hs
f76ecb66e7bc7b8b89384943f151465effc47942	23-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	added printing utilities for annotations and Named git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6116 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
615ef723f845e48d74cd88934738ac9ba76de0b3	23-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	switch on latex formula printing via new Common.Doc and CASL.ToDoc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6114 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/LaTeX_AS_Basic.hs Doc.hs PrintLaTeX.hs
c26ff5708c4a855bf9503b3001bcc19e5fd6286f	22-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	only export toText, changes for latex git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6096 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/Print_AS_Basic.hs /hets/CASL/ToDoc.hs /hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.sentences.output Doc.hs Print_AS_Annotation.hs
a326c4a2e1bb141ada3b3072f5c7be86700005f2	21-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	enhanced latex stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6087 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
b1ddd2f41ea1dfac428a366c5c3d413470dcbcfa	20-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	less tabs for latex git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6079 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
fef9bafb4f1106ebad9bb33b09d78be2a1cecfbf	20-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	consider display annos git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6078 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
dd1f6a9c4c7860e85e5499dad5965e8cc4ae3814	17-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	more precedence stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6051 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
11a8f0b56c43688f967c4f592db6807d9f279f42	17-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	also consider unknown ids for precedences git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6044 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
af48251d509031fd4ee846da43cab43844751cf7	16-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	tried to add precedence checking git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6038 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
4561227a776bdf0ab679b19fb92f1eaaed8786f7	15-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	rearranged identifiers and precedences git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6025 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs Earley.hs Id.hs Keywords.hs Prec.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/Le.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/MixPrint.hs /hets/HasCASL/Sublogic.hs /hets/Makefile
f82f141a6b1639a50064a6e66b14f7823220b5d5	14-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	exported toHPJDoc, changed codeOutAppl git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6004 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
f4a4521a8d3f171834ab351d1ac336c1898ece25	14-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	added IdSymb TextKind, toHPJDoc and extended codeOutAppl git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5998 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
6e557a0d5e166ce87867876444a793bc9296b14a	10-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	changed codeOutId and prec symbol git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5954 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
a86b847d6ea0bc06d90cb01db0ac4e654d13ee98	10-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	made latex look as before git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5952 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
39366a8c5aa917040fcc6360841277e33da0d605	09-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	switched to Doc for latex annotations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5948 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs LaTeX_AS_Annotation.hs
710aac293d45bd34d3690944701a879828ee5dc6	08-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	use keywords git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5937 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
76647324ed70f33b95a881b536d883daccf9568d	08-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	moved keywords git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5934 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CoCASL/AS_CoCASL.der.hs /hets/CoCASL/Parse_AS.hs Doc.hs Keywords.hs LaTeX_funs.hs LaTeX_utils.hs /hets/CspCASL/CCKeywords.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/HToken.hs /hets/HasCASL/LaTeX_HasCASL.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/Modal/AS_Modal.der.hs /hets/Modal/Logic_Modal.hs /hets/Modal/Parse_AS.hs /hets/utils/InlineAxioms/InlineAxioms.hs
641e694a165a5f08c26c4b708ae549224f2e5bee	08-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	print single line labels completely horizontally git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5930 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
4c20d89b174474beb5f38cc4d47b1ff983c676a9	07-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	reimplemented annotation printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5925 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.casl.output /hets/CASL/test/SortItem.casl.output Doc.hs Print_AS_Annotation.hs test/Annotations.casl.global.output test/Annotations.casl.output /hets/HasCASL/test/BasicSpec.casl.output /hets/HasCASL/test/WrongBasicSpec.hascasl.output
d049e21661c3d0a2cf6339d3b94e4cd188b0188c	06-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	implemented toText git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5919 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
4eef141c429d6ac5127ebcc4cd37367a5c70b0aa	03-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	added codeOutId git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5912 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
9818ec2fd12dd08c36cedfb75473ccb970a5eb62	02-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	started coding out git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5904 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
4542eacf3e35ca3b52de55effecd2ffb3aef96b6	01-Mar-2006	Christian Maeder <Christian.Maeder@dfki.de>	added folding git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5891 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
02cbf7551685bc3b33f15f4cebfe9e9da1cae33e	28-Feb-2006	Christian Maeder <Christian.Maeder@dfki.de>	removed key signs and words listing, added undefined functions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5882 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs
e6d733e9ab4fb48cb611637528e5694d1e092de0	24-Feb-2006	Christian Maeder <Christian.Maeder@dfki.de>	new Doc proposal git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5870 cec4b9c1-7d33-0410-9eda-942365e851bb Doc.hs