diff -r 91b7695c92cf -r caa9dbffd712 NEWS
--- a/NEWS	Sun Mar 17 09:05:44 2024 +0100
+++ b/NEWS	Sun Mar 17 12:34:11 2024 +0100
@@ -103,11 +103,17 @@
       wf_onE_pf
       wf_onI_pf
       wf_on_UNIV
+      wf_on_antimono
+      wf_on_antimono_strong
       wf_on_iff_ex_minimal
       wf_on_induct
+      wf_on_subset
       wfp_on_UNIV
+      wfp_on_antimono
+      wfp_on_antimono_strong
       wfp_on_iff_ex_minimal
       wfp_on_induct
+      wfp_on_subset
       wfp_on_wf_on_eq
 
 * Theory "HOL-Library.Multiset":