src/HOL/Set.thy
changeset 25360 b8251517f508
parent 25287 094dab519ff5
child 25460 b80087af2274
     1.1 --- a/src/HOL/Set.thy	Thu Nov 08 22:57:45 2007 +0100
     1.2 +++ b/src/HOL/Set.thy	Fri Nov 09 13:41:27 2007 +0100
     1.3 @@ -2255,6 +2255,7 @@
     1.4    "Union A = UNION A (\<lambda>x. x)"
     1.5    by auto
     1.6  
     1.7 +code_reserved SML union inter (* Avoid clashes with ML infixes *)
     1.8  
     1.9  subsection {* Basic ML bindings *}
    1.10