Cross Reference: /hets/CspCASL.hs

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

History log of /hets/CspCASL.hs
Revision	Date	Author	Comments Expand
78718c37b1a50086a27e0f031db4cf82bea934ae	08-Jul-2008	Christian Maeder <Christian.Maeder@dfki.de>	added haddock markup to url git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10272 cec4b9c1-7d33-0410-9eda-942365e851bb CspCASL.hs CspCASL/StatAnaCSP.hs
bb83db66bd9b3b4ce67be66419daf29886175276	07-Jul-2008	Andy Gimblett <a.m.gimblett@swansea.ac.uk>	CspCASL - documentation of static analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10270 cec4b9c1-7d33-0410-9eda-942365e851bb CspCASL.hs CspCASL/StatAnaCSP.hs
e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0	29-Sep-2005	Christian Maeder <Christian.Maeder@dfki.de>	expanded tabs to spaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5106 cec4b9c1-7d33-0410-9eda-942365e851bb ATC/ATCTest.hs ATC/ATCTest2.hs ATC/DevGraph.der.hs CASL/AS_Basic_CASL.der.hs CASL/CCC/FreeTypes.hs CASL/CCC/OnePoint.hs CASL/CCC/SignFuns.hs CASL/CCC/TermFormula.hs CASL/CCC/TerminationProof.hs CASL/CompositionTable.hs CASL/CompositionTable/CompositionTable.hs CASL/CompositionTable/ComputeTable.hs CASL/Formula.hs CASL/LaTeX_AS_Basic.hs CASL/LaTeX_CASL.hs CASL/LiteralFuns.hs CASL/Logic_CASL.hs CASL/OpItem.hs CASL/Parse_AS_Basic.hs CASL/Print_AS_Basic.hs CASL/Quantification.hs CASL/SortItem.hs CASL/SymbolParser.hs CASL/Taxonomy.hs CASL/Utils.hs CASL/capa.hs CASL_DL/AS_CASL_DL.der.hs COL/AS_COL.der.hs COL/COLSign.hs COL/Logic_COL.hs COL/Print_AS.hs COL/StatAna.hs CoCASL/AS_CoCASL.der.hs CoCASL/LaTeX_CoCASL.hs CoCASL/Parse_AS.hs CoCASL/Print_AS.hs CoCASL/StatAna.hs Common/AS_Annotation.der.hs Common/ATerm/ATermLibTest.hs Common/ATerm/ConvInstances.hs Common/ATerm/Lib.hs Common/AnalyseAnnos.hs Common/AnnoState.hs Common/ConvertGlobalAnnos.hs Common/ConvertLiteral.hs Common/DefaultMorphism.hs Common/GlobalAnnotations.hs Common/LaTeX_AS_Annotation.hs Common/LaTeX_funs.hs Common/LaTeX_utils.hs Common/Lib/Map.hs Common/Lib/RelCheck.hs Common/Lib/Set.hs Common/Lib/State.hs Common/PPUtils.hs Common/PrettyPrint.hs Common/PrintLaTeX.hs Common/Print_AS_Annotation.hs Common/RunParsers.hs Common/SimpPretty.hs Common/Token.hs Common/annos.hs Common/test_parser.hs Comorphisms.hs Comorphisms/CASL2CoCASL.hs Comorphisms/CASL2CspCASL.hs Comorphisms/CASL2Modal.hs Comorphisms/CspCASL2Modal.hs Comorphisms/HasCASL2Haskell.hs Comorphisms/LogicGraph.hs Comorphisms/LogicList.hs Comorphisms/Modal2CASL.inline.hs CspCASL.hs CspCASL/AS_CSP_CASL.hs CspCASL/CCKeywords.hs CspCASL/LaTeX_AS_CSP_CASL.hs CspCASL/Logic_CspCASL.hs CspCASL/Main.hs CspCASL/Parse_AS_CSP_CASL.hs CspCASL/Print_AS_CSP_CASL.hs CspCASL/StatAnaCSP.hs CspCASL/print_csp.hs Driver.hs Driver/Options.hs Driver/ReadFn.hs Driver/WriteFn.hs GUI.hs GUI/AbstractGraphView.hs GUI/ConvertDevToAbstractGraph.hs GUI/HTkUtils.hs GUI/ShowLogicGraph.hs GUI/Taxonomy.hs GUI/WebInterface.hs GUI/hets_cgi.hs Haskell/Haskell2DG.hs Haskell/HatParser.hs Haskell/Logic_Haskell.hs Haskell/TranslateId.hs Haskell/Wrapper.hs Haskell/hana.hs Haskell/wrap.hs Hatchet/HaskellUtils.hs Hatchet/HatAna.hs Hatchet/HatParser.hs Hatchet/Logic_Hatchet.hs Isabelle/IsaProve.hs Isabelle/Logic_Isabelle.hs Logic/Comorphism.hs Logic/Grothendieck.hs Logic/Logic.hs Lottery/Test.hs Lottery/Zaehler.hs Modal.hs Modal/AS_Modal.der.hs Modal/LaTeX_Modal.hs Modal/Parse_AS.hs Modal/Print_AS.hs Modal/StatAna.hs Modal/Utils.hs OWL_DL/Logic_OWL_DL.hs OWL_DL/Namespace.hs OWL_DL/OWLAnalysis.hs OWL_DL/Parser.hs OWL_DL/Print.hs OWL_DL/ReadWrite.hs OWL_DL/Sign.hs OWL_DL/StaticAna.hs OWL_DL/StructureAna.hs OWL_DL/ToHaskellAS.hs Proofs/Composition.hs Proofs/EdgeUtils.hs Proofs/Global.hs Proofs/HideTheoremShift.hs Proofs/InferBasic.hs Proofs/Local.hs Proofs/StatusUtils.hs Proofs/TheoremHideShift.hs SPASS/Logic_SPASS.hs SPASS/Prove.hs Static/AnalysisLibrary.hs Static/AnalysisStructured.hs Static/ArchDiagram.hs Static/DGToSpec.hs Static/DevGraph.hs Static/DotGraph.hs Syntax/ADoc.hs Syntax/AS_Architecture.der.hs Syntax/AS_Library.der.hs Syntax/AS_Structured.der.hs Syntax/GlobalLibraryAnnotations.hs Syntax/LaTeX_AS_Library.hs Syntax/Parse_AS_Library.hs Syntax/Print_HetCASL.hs Taxonomy/AbstractGraphView.hs Taxonomy/MMiSSOntology.hs Taxonomy/MMiSSOntologyGraph.hs Taxonomy/OntoParser.hs Taxonomy/taxonomyTool.hs ToHaskell/h2h.hs ToHaskell/h2hf.hs hets.hs
41cff438a611c7aac5b2a2c3e395fc5b88d68230	30-Apr-2005	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	documentation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4164 cec4b9c1-7d33-0410-9eda-942365e851bb ATC.hs COL.hs CoCASL.hs Comorphisms.hs CspCASL.hs Driver.hs Driver/Version.in GUI.hs Hets-Haddock-Prologue.txt Isabelle.hs Modal.hs Proofs.hs
4918e2f622cfb96f9a57b7617cd18ca7e4f8b5d4	14-Apr-2005	Christian Maeder <Christian.Maeder@dfki.de>	dummy modules for haddock directory documentation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4051 cec4b9c1-7d33-0410-9eda-942365e851bb ATC.hs ATC/ADoc.hs CASL.hs CASL_DL.hs COL.hs CoCASL.hs Common.hs Comorphisms.hs CspCASL.hs Driver.hs GUI.hs HasCASL.hs Haskell.hs Hatchet.hs Isabelle.hs Logic.hs Modal.hs OWL_DL.hs Proofs.hs SPASS.hs Static.hs Syntax.hs Taxonomy.hs ToHaskell.hs

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