NEWS

--- a/NEWS	Wed Apr 18 20:47:21 2012 +0200
+++ b/NEWS	Wed Apr 18 20:48:15 2012 +0200
@@ -529,8 +529,6 @@
 
 * Constant "Set.not_member" now qualified.  INCOMPATIBILITY.
 
-* "sublists" moved to theory More_List.  INCOMPATIBILITY.
-
 * Theory Int: Discontinued many legacy theorems specific to type int.
 INCOMPATIBILITY, use the corresponding generic theorems instead.