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 82285 d804c8e78ed3
parent 82284 a01ea04aa58f
child 82287 6ace531790b4 
--- a/NEWS	Sat Mar 15 20:33:19 2025 +0100
+++ b/NEWS	Sat Mar 15 22:42:29 2025 +0100
@@ -31,6 +31,10 @@
       left_unique_iff_Uniq
       reflp_on_refl_on_eq[pred_set_conv]
       symp_on_equality[simp]
+      totalp_on_mono[mono]
+      totalp_on_mono_strong
+      totalp_on_mono_stronger
+      totalp_on_mono_stronger_alt
 
 * Theory "HOL.Wellfounded":
   - Added lemmas.
isabelle