[CASHeW-s-engine-auto] haskell/src/Control/Process/CaSE Semantics.hs Syntax.hs

[Simon Foster]

Update of /share/darwin/darwin4/cvs/haskell/src/Control/Process/CaSE
In directory hazel:/tmp/cvs-serv6294/Process/CaSE

Modified Files:
        Semantics.hs Syntax.hs 
Log Message:
Simon Foster <address@hidden>
  * Seperated clock and action labels into seperate types, I think it's more 
logical and less redundant this way.
  * Added derived syntax for dealing with insistency over a particular clock.
  * Added getExplicitClocks function, which scrapes all mentioned clocks from a 
CaSE process.