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 82242 1b73c3e17d9f
parent 82241 3f70b283bea9
child 82244 15a5e0922f45 
--- a/NEWS	Tue Mar 04 17:57:10 2025 +0100
+++ b/NEWS	Tue Mar 04 19:34:12 2025 +0100
@@ -16,6 +16,7 @@
 
 * Theory "HOL.Wellfounded":
   - Added lemmas.
+      wf_on_lex_prod[intro]
       wfp_on_iff_wfp
 
 * Theory "HOL-Library.Multiset":
isabelle