Undid eta change for UN/INT.
authornipkow
Tue Feb 25 12:42:08 2003 +0100 (2003-02-25)
changeset 13826e94aa103e12d
parent 13825 ef4c41e7956a
child 13827 c690cb885db4
Undid eta change for UN/INT.
src/HOL/Set.thy
     1.1 --- a/src/HOL/Set.thy	Thu Feb 20 11:10:24 2003 +0100
     1.2 +++ b/src/HOL/Set.thy	Tue Feb 25 12:42:08 2003 +0100
     1.3 @@ -157,8 +157,7 @@
     1.4      let val (x,t) = atomic_abs_tr' abs
     1.5      in Syntax.const syn $ x $ A $ t end
     1.6  in
     1.7 -[("Ball", btr' "_Ball"),("Bex", btr' "_Bex"),
     1.8 - ("UNION", btr' "@UNION"),("INTER", btr' "@INTER")]
     1.9 +[("Ball", btr' "_Ball"),("Bex", btr' "_Bex")]
    1.10  end
    1.11  *}
    1.12