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