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 75584 c32658b9e4df
parent 75583 451e17e0ba9d
child 75585 a789c5732f7a 
--- a/NEWS	Tue Jun 21 13:40:35 2022 +0200
+++ b/NEWS	Tue Jun 21 14:21:55 2022 +0200
@@ -102,6 +102,8 @@
       image_mset_eq_plusD
       image_mset_eq_plus_image_msetD
       image_mset_filter_mset_swap
+      monotone_multp_multp_image_mset
+      monotone_on_multp_multp_image_mset
       multp_image_mset_image_msetD
 
 * Theory "HOL-Library.Sublist":
isabelle