NEWS

--- a/NEWS	Thu Oct 13 17:00:43 2022 +0200
+++ b/NEWS	Thu Oct 13 17:22:34 2022 +0200
@@ -20,6 +20,10 @@
       antisymp_if_asymp
       irreflD
       irreflpD
+      linorder.totalp_ge[simp]
+      linorder.totalp_greater[simp]
+      linorder.totalp_le[simp]
+      linorder.totalp_less[simp]
       order.antisymp_ge[simp]
       order.antisymp_le[simp]
       preorder.antisymp_greater[simp]