NEWS

--- a/NEWS	Thu Oct 13 17:22:34 2022 +0200
+++ b/NEWS	Thu Oct 13 17:31:22 2022 +0200
@@ -14,7 +14,10 @@
     Minor INCOMPATIBILITY.
 
 * Theory "HOL.Relation":
-  - Strengthened lemma total_on_singleton. Minor INCOMPATIBILITY.
+  - Strengthened lemmas. Minor INCOMPATIBILITY.
+      preorder.reflp_ge
+      preorder.reflp_le
+      total_on_singleton
   - Added lemmas.
       antisym_if_asymp
       antisymp_if_asymp