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 80525 432d44126737
parent 80524 a0aa61689cdd
child 80530 ae881e1480bb 
--- a/NEWS	Mon Jul 08 10:08:07 2024 +0200
+++ b/NEWS	Mon Jul 08 10:14:22 2024 +0200
@@ -39,6 +39,7 @@
       wfP_multp ~> wfp_multp
       wfP_subset_mset ~> wfp_subset_mset
   - Added lemmas.
+      image_mset_diff_if_inj
       minus_add_mset_if_not_in_lhs[simp]
 
 * Transitioinal theory "Divides" moved to "HOL-Library.Divides" and supposed to
isabelle