NEWS

--- a/NEWS	Wed Mar 27 10:54:47 2024 +0100
+++ b/NEWS	Wed Mar 27 11:49:42 2024 +0100
@@ -120,7 +120,6 @@
     predicates such as asymp, transp, or totalp.
   - Added lemmas.
       wellorder.wfp_on_less[simp]
-      wfp_iff_ex_minimal
       wf_iff_ex_minimal
       wf_onE_pf
       wf_onI_pf
@@ -131,10 +130,12 @@
       wf_on_iff_wf
       wf_on_induct
       wf_on_subset
+      wfp_iff_ex_minimal
       wfp_on_antimono
       wfp_on_antimono_strong
       wfp_on_if_convertible_to_wfp_on
       wfp_on_iff_ex_minimal
+      wfp_on_image
       wfp_on_induct
       wfp_on_inv_imagep
       wfp_on_subset