# HG changeset patch
# User desharna
# Date 1711177193 -3600
# Node ID f83e9e9a898ec980cd46328f8ed97e461236c1e2
# Parent  233d70cad0cf9722e16994191eb183d110e8bdf8
tuned NEWS

diff -r 233d70cad0cf -r f83e9e9a898e NEWS
--- a/NEWS	Thu Mar 21 11:24:03 2024 +0100
+++ b/NEWS	Sat Mar 23 07:59:53 2024 +0100
@@ -121,7 +121,6 @@
       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