Changeset 11230

Timestamp:

07.01.2009 14:47:30 (6 months ago)

Author:

csliam

Message:

improved formating of code

Files:

• trunk/CspCASL/SimplifySen.hs (modified) (2 diffs)

trunk/CspCASL/SimplifySen.hs

@@ -60 +60 @@
           Interleaving (simplifyProc sigma p) (simplifyProc sigma q) range
       SynchronousParallel p q range ->
-          SynchronousParallel (simplifyProc sigma p) (simplifyProc sigma q) range
+          SynchronousParallel (simplifyProc sigma p)
+                                  (simplifyProc sigma q) range
       GeneralisedParallel p es q range ->
-          GeneralisedParallel (simplifyProc sigma p) es (simplifyProc sigma q) range
+          GeneralisedParallel (simplifyProc sigma p) es
+                                  (simplifyProc sigma q) range
       AlphabetisedParallel p esp esq q range ->
-          AlphabetisedParallel (simplifyProc sigma p) esp esq (simplifyProc sigma q) range
+          AlphabetisedParallel (simplifyProc sigma p) esp esq
+                                   (simplifyProc sigma q) range
       Hiding p es range ->
           Hiding (simplifyProc sigma p) es range
@@ -71 +74 @@
       ConditionalProcess f p q range ->
           ConditionalProcess (simplifyCASLSen caslSign f)
-                                 (simplifyProc sigma p) (simplifyProc sigma q) range
+                                 (simplifyProc sigma p)
+                                 (simplifyProc sigma q) range
       NamedProcess name args range ->
           NamedProcess name args range