diff -r 6ed617560333 -r c2d0eadf32e6 NEWS
--- a/NEWS	Sat Nov 08 21:18:32 2025 +0100
+++ b/NEWS	Sat Nov 08 20:50:41 2025 +0100
@@ -351,6 +351,9 @@
   - Added lemmas.
       single_valuedp_eq_right_unique
 
+* Theory "HOL.List": theorem list_update_beyond is no longer a [simp]
+rule by default. INCOMPATIBILITY.
+
 * Theory "HOL-Library.Multiset":
   - Renamed lemmas. Minor INCOMPATIBILITY.
       filter_image_mset ~> filter_mset_image_mset
@@ -363,9 +366,6 @@
       set_mset_sum_list[simp]
       size_mset_sum_mset_conv[simp]
 
-* Theory "HOL-List": theorem list_update_beyond is no longer a simprule by default.
-INCOMPATIBILITY.
-
 * More efficient default implementation for
 HOL-Library.Discrete_Functions.floor_sqrt.