| changeset 11655 | 923e4d0d36d5 |
| parent 10835 | f4745d77e620 |
| child 12218 | 6597093b77e7 |
--- a/src/HOLCF/IOA/meta_theory/CompoExecs.ML Wed Oct 03 20:54:05 2001 +0200 +++ b/src/HOLCF/IOA/meta_theory/CompoExecs.ML Wed Oct 03 20:54:16 2001 +0200 @@ -231,7 +231,7 @@ Goal -"ex:executions(A||B) =\ +"(ex:executions(A||B)) =\ \(Filter_ex (asig_of A) (ProjA ex) : executions A &\ \ Filter_ex (asig_of B) (ProjB ex) : executions B &\ \ stutter (asig_of A) (ProjA ex) & stutter (asig_of B) (ProjB ex) &\