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 79924 8d153846f65f
parent 79922 caa9dbffd712
child 79933 3f415c76a511
child 79937 d26c53bc6ce1 
--- a/NEWS	Sun Mar 17 19:30:34 2024 +0100
+++ b/NEWS	Sun Mar 17 19:45:07 2024 +0100
@@ -97,6 +97,8 @@
 * Theory "HOL.Wellfounded":
   - Added definitions wf_on and wfp_on as restricted versions versions of
     wf and wfP respectively.
+  - Added wfp as alias for wfP for greater consistency with other predicates
+    such as asymp, transp, or totalp.
   - Added lemmas.
       wfP_iff_ex_minimal
       wf_iff_ex_minimal
isabelle