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 77988 3e5f6e31c4fd
parent 77987 0f7dc48d8b7f
child 77989 b867eb037e7f 
--- a/NEWS	Mon May 08 11:24:46 2023 +0200
+++ b/NEWS	Mon May 08 11:26:04 2023 +0200
@@ -249,7 +249,9 @@
       multpDM_mono_strong
       multpDM_plus_plusI[simp]
       multpHO_double_double[simp]
+      multpHO_iff_set_mset_lessHO_set_mset
       multpHO_implies_one_step_strong
+      multpHO_minus_inter_minus_inter_iff
       multpHO_mono_strong
       multpHO_plus_plus[simp]
       multpHO_repeat_mset_repeat_mset[simp]
isabelle