less NEWS (see also afae60d6ff15);

--- a/NEWS	Wed Jan 08 15:19:37 2025 +0100
+++ b/NEWS	Fri Jan 31 16:23:53 2025 +0100
@@ -263,8 +263,6 @@
 * Code generator: command 'code_reserved' now uses parentheses for
 target languages, similar to 'code_printing'.
 
-* Theory HOL.List: overloaded power operator (^^) on type list.
-
 * Theory "HOL.Wellfounded":
   - Removed lemma wellorder.wfP_less. Use wellorder.wfp_on_less instead.
     Minor INCOMPATIBILITY.