dropped errorneous NEWS entry
authorhaftmann
Wed Apr 18 20:48:15 2012 +0200 (2012-04-18)
changeset 4755410c92d6a3caf
parent 47552 bd6c65d46b85
child 47555 978bd14ad065
dropped errorneous NEWS entry
NEWS
     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