NEWS

--- a/NEWS	Wed Oct 19 21:40:32 2011 +0200
+++ b/NEWS	Wed Oct 19 22:54:26 2011 +0200
@@ -17,7 +17,9 @@
 
 * 'Transitive_Closure.ntrancl': bounded transitive closure on relations.
 
-* 'sublists' moved to More_List.thy; INCOMPATIBILITY.
+* 'Set.not_member' now qualifed.  INCOMPATIBILITY.
+
+* 'sublists' moved to More_List.thy.  INCOMPATIBILITY.
 
 * Theory Int: Discontinued many legacy theorems specific to type int.
   INCOMPATIBILITY, use the corresponding generic theorems instead.