Changeset 11228 for trunk/CspCASL/AS_CspCASL_Process.der.hs

Timestamp:

07.01.2009 14:10:29 (11 months ago)

Author:

csliam

Message:

Added simplification of CspCASL sentences, currently this is turned off while I develop

Files:

• trunk/CspCASL/AS_CspCASL_Process.der.hs (modified) (1 diff)

trunk/CspCASL/AS_CspCASL_Process.der.hs

@@ -40 +40 @@
     deriving (Show,Ord, Eq)
 
-
 -- |Event sets are sets of communication types.
 
 data EVENT_SET = EventSet [COMM_TYPE] Range
     deriving (Show,Ord, Eq)
-
 
 -- |CSP renamings are predicate names or op names.