NEWS

--- a/NEWS	Wed Jul 22 11:48:04 2009 +0200
+++ b/NEWS	Wed Jul 22 14:21:52 2009 +0200
@@ -18,6 +18,11 @@
 
 *** HOL ***
 
+* More convenient names for set intersection and union.  INCOMPATIBILITY:
+
+    Set.Int ~>  Set.inter
+    Set.Un ~>   Set.union
+
 * Code generator attributes follow the usual underscore convention:
     code_unfold     replaces    code unfold
     code_post       replaces    code post