notation for xsymbols (cf. ad039d29e01c);
authorwenzelm
Wed Mar 03 12:02:59 2010 +0100 (2010-03-03)
changeset 35434a4babce15c67
parent 35433 73cc288b4f83
child 35435 e6c03f397eb8
notation for xsymbols (cf. ad039d29e01c);
src/HOL/UNITY/Union.thy
     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