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 77699 d5060a919b3f
parent 77698 51ed312cabeb
child 77726 6ae930c89143 
--- a/NEWS	Mon Mar 20 18:21:30 2023 +0100
+++ b/NEWS	Mon Mar 20 18:33:56 2023 +0100
@@ -224,7 +224,7 @@
       multp_cancel_add_mset
       multp_cancel_max
       multp_code_iff_mult
-  - Used transp_on in assumptions of lemmas bex_least_element and
+  - Used transp_on and reorder assumptions of lemmas bex_least_element and
     bex_greatest_element. Minor INCOMPATIBILITIES.
   - Added lemmas.
       mult_mono_strong
isabelle