Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 82238 c8ed5e759d22
parent 82237 96cca71aa212
child 82239 1b7dc0728f5c 
--- a/NEWS	Tue Mar 04 16:07:55 2025 +0100
+++ b/NEWS	Tue Mar 04 16:37:14 2025 +0100
@@ -22,6 +22,7 @@
       filter_mset_mono_strong
       filter_mset_sum_list
       set_mset_sum_list[simp]
+      size_mset_sum_mset_conv[simp]
 
 
 New in Isabelle2025 (March 2025)
isabelle