--- a/NEWS Tue Jul 28 13:37:08 2009 +0200
+++ b/NEWS Tue Jul 28 13:37:09 2009 +0200
@@ -18,6 +18,8 @@
*** HOL ***
+* Set.UNIV and Set.empty are mere abbreviations for top and bot. INCOMPATIBILITY.
+
* More convenient names for set intersection and union. INCOMPATIBILITY:
Set.Int ~> Set.inter