NEWS

--- a/NEWS	Mon Mar 24 09:56:20 2025 +0100
+++ b/NEWS	Mon Mar 24 13:59:08 2025 +0100
@@ -54,6 +54,7 @@
       refl_on_empty[simp]
   - Strengthened (and renamed) lemmas. Minor INCOMPATIBILITY.
       antisymp_equality[simp] ~> antisymp_on_equality[simp]
+      reflp_on_mono ~> reflp_on_mono_strong
       transp_equality[simp] ~> transp_on_equality[simp]
   - Added lemmas.
       antisym_on_bot[simp]