NEWS

--- a/NEWS	Mon Dec 19 08:18:07 2022 +0100
+++ b/NEWS	Mon Dec 19 08:30:44 2022 +0100
@@ -49,6 +49,7 @@
       preorder.irreflp_less[simp] ~> preorder.irreflp_on_less[simp]
       reflp_equality[simp] ~> reflp_on_equality[simp]
       total_on_singleton
+      sym_converse[simp] ~> sym_on_converse[simp]
   - Added lemmas.
       antisym_on_if_asymp_on
       antisym_onD
@@ -93,6 +94,7 @@
       sym_on_subset
       symp_onD
       symp_onI
+      symp_on_conversep[simp]
       symp_on_subset
       symp_on_sym_on_eq[pred_set_conv]
       totalI