Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
notation for xsymbols (cf. ad039d29e01c);
authorwenzelm
Wed, 03 Mar 2010 12:02:59 +0100
changeset 35434 a4babce15c67
parent 35433 73cc288b4f83
child 35435 e6c03f397eb8
notation for xsymbols (cf. ad039d29e01c);
src/HOL/UNITY/Union.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/UNITY/Union.thy	Wed Mar 03 00:50:47 2010 +0100
+++ b/src/HOL/UNITY/Union.thy	Wed Mar 03 12:02:59 2010 +0100
@@ -35,7 +35,7 @@
   safety_prop :: "'a program set => bool"
     "safety_prop X == SKIP: X & (\<forall>G. Acts G \<subseteq> UNION X Acts --> G \<in> X)"
 
-notation
+notation (xsymbols)
   SKIP  ("\<bottom>") and
   Join  (infixl "\<squnion>" 65)
isabelle