NEWS

--- a/NEWS	Tue Oct 11 11:07:07 2022 +0200
+++ b/NEWS	Tue Oct 11 11:48:04 2022 +0200
@@ -13,7 +13,11 @@
   - Strengthened lemma total_on_singleton. Minor INCOMPATIBILITY.
   - Added lemmas.
       antisym_if_asymp
+      antisymp_ge[simp]
+      antisymp_greater[simp]
       antisymp_if_asymp
+      antisymp_le[simp]
+      antisymp_less[simp]
       irreflD
       irreflpD
       reflp_ge[simp]