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 79922 caa9dbffd712
parent 79919 65e0682cca63
child 79924 8d153846f65f 
--- a/NEWS	Sun Mar 17 09:05:44 2024 +0100
+++ b/NEWS	Sun Mar 17 12:34:11 2024 +0100
@@ -103,11 +103,17 @@
       wf_onE_pf
       wf_onI_pf
       wf_on_UNIV
+      wf_on_antimono
+      wf_on_antimono_strong
       wf_on_iff_ex_minimal
       wf_on_induct
+      wf_on_subset
       wfp_on_UNIV
+      wfp_on_antimono
+      wfp_on_antimono_strong
       wfp_on_iff_ex_minimal
       wfp_on_induct
+      wfp_on_subset
       wfp_on_wf_on_eq
 
 * Theory "HOL-Library.Multiset":
isabelle