Changeset 11216 for trunk/Comorphisms/CspCASL2IsabelleHOL.hs

Timestamp:

06.01.2009 16:49:44 (11 months ago)

Author:

maeder

Message:

extended symbol kinds i.e. for CspCASL

Files:

• trunk/Comorphisms/CspCASL2IsabelleHOL.hs (modified) (2 diffs)

trunk/Comorphisms/CspCASL2IsabelleHOL.hs

@@ -18 +18 @@
 
 import CASL.AS_Basic_CASL
+import CASL.Sign (Symbol)
+import CASL.Morphism (RawSymbol)
 import qualified CASL.Inject as CASLInject
 import qualified CASL.Sign as CASLSign
@@ -53 +55 @@
                CspCASLSign
                CspMorphism
-               () () ()
+               Symbol RawSymbol ()
                Isabelle () () IsaSign.Sentence () ()
                IsaSign.Sign