Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS default tip
authorpaulson <lp15@cam.ac.uk>
Thu, 06 Nov 2025 10:55:39 +0000
changeset 83520 6f656fc94319
parent 83519 71525fbbc818
NEWS
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Nov 05 19:42:22 2025 +0100
+++ b/NEWS	Thu Nov 06 10:55:39 2025 +0000
@@ -363,6 +363,9 @@
       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.
isabelle