Show
Ignore:
Timestamp:
06.01.2009 16:49:44 (11 months ago)
Author:
maeder
Message:

extended symbol kinds i.e. for CspCASL

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/Comorphisms/CASL2CspCASL.hs

    r11215 r11216  
    4444               CspCASLSign 
    4545               CspMorphism 
    46                () () () where 
     46               Symbol RawSymbol () where 
    4747    sourceLogic CASL2CspCASL = CASL 
    4848    sourceSublogic CASL2CspCASL = SL.top