src/HOL/UNITY/Union.thy
changeset 35434 a4babce15c67
parent 35427 ad039d29e01c
child 36866 426d5781bb25
     1.1 --- a/src/HOL/UNITY/Union.thy	Wed Mar 03 00:50:47 2010 +0100
     1.2 +++ b/src/HOL/UNITY/Union.thy	Wed Mar 03 12:02:59 2010 +0100
     1.3 @@ -35,7 +35,7 @@
     1.4    safety_prop :: "'a program set => bool"
     1.5      "safety_prop X == SKIP: X & (\<forall>G. Acts G \<subseteq> UNION X Acts --> G \<in> X)"
     1.6  
     1.7 -notation
     1.8 +notation (xsymbols)
     1.9    SKIP  ("\<bottom>") and
    1.10    Join  (infixl "\<squnion>" 65)
    1.11