diff -r 3f70b283bea9 -r 1b73c3e17d9f NEWS
--- 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":