NEWS

--- a/NEWS	Wed Oct 12 14:33:04 2022 +0200
+++ b/NEWS	Wed Oct 12 14:37:03 2022 +0200
@@ -24,6 +24,12 @@
       reflp_le[simp]
       totalp_on_singleton[simp]
 
+* Theory "HOL.Wellfounded":
+  - Added lemmas.
+      wfP_if_convertible_to_nat
+      wfP_if_convertible_to_wfP
+      wf_if_convertible_to_wf
+
 
 New in Isabelle2022 (October 2022)
 ----------------------------------