# HG changeset patch
# User haftmann
# Date 1319057666 -7200
# Node ID b416573f18077346667a074234eaa337dbd9b891
# Parent  0e5e56e32bc07fb6efd630a9b233d8a095e8336c
NEWS

diff -r 0e5e56e32bc0 -r b416573f1807 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.