# HG changeset patch
# User haftmann
# Date 1334774895 -7200
# Node ID 10c92d6a3caf62af11e5a57e27ed8fde97d5c018
# Parent  bd6c65d46b851456cdd0159dce49d80ce550fddc
dropped errorneous NEWS entry

diff -r bd6c65d46b85 -r 10c92d6a3caf 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.