Show
Ignore:
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:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/CspCASL/Logic_CspCASL.hs

    r10910 r11215  
    7272-- | Instance of Sentences for CspCASL (missing) 
    7373instance Sentences CspCASL 
    74     AS_CspCASL.CspCASLSentence -- sentence (missing) 
    75     SignCSP.CspCASLSign         -- signature 
     74    SignCSP.CspCASLSen  -- sentence (missing) 
     75    SignCSP.CspCASLSign     -- signature 
    7676    SignCSP.CspMorphism     -- morphism 
    7777    ()                      -- symbol (?) 
    … …  
    102102    ()                      -- Sublogics (missing) 
    103103    AS_CspCASL.CspBasicSpec -- basic_spec 
    104     AS_CspCASL.CspCASLSentence -- sentence (missing) 
     104    SignCSP.CspCASLSen  -- sentence (missing) 
    105105    SYMB_ITEMS              -- symb_items 
    106106    SYMB_MAP_ITEMS          -- symb_map_items 
    … …  
    118118instance StaticAnalysis CspCASL 
    119119    AS_CspCASL.CspBasicSpec -- basic_spec 
    120     AS_CspCASL.CspCASLSentence -- sentence (missing) 
     120    SignCSP.CspCASLSen  -- sentence (missing) 
    121121    SYMB_ITEMS              -- symb_items 
    122122    SYMB_MAP_ITEMS          -- symb_map_items