Changeset 11215 for trunk/Comorphisms/CspCASL2Modal.hs

Timestamp:

05.01.2009 15:46:06 (11 months ago)

Author:

csliam

Message:

Large commit - improved static analysis of cspcasl and translation of cspcasl to isabelle

Files:

• trunk/Comorphisms/CspCASL2Modal.hs (modified) (3 diffs)

trunk/Comorphisms/CspCASL2Modal.hs

@@ -28 +28 @@
 import CspCASL.Logic_CspCASL
 import CspCASL.SignCSP
-import CspCASL.AS_CspCASL (CspBasicSpec (..), CspCASLSentence)
+import CspCASL.AS_CspCASL (CspBasicSpec (..))
 
 -- ModalCASL
@@ -42 +42 @@
 instance Comorphism CspCASL2Modal
                CspCASL ()
-               CspBasicSpec CspCASLSentence SYMB_ITEMS SYMB_MAP_ITEMS
+               CspBasicSpec CspCASLSen SYMB_ITEMS SYMB_MAP_ITEMS
                CspCASLSign
                CspMorphism
@@ -82 +82 @@
 
 
-mapSen :: CspCASLSentence -> ModalFORMULA
+mapSen :: CspCASLSen -> ModalFORMULA
 mapSen _f = True_atom nullRange