--- a/NEWS Fri Dec 16 10:23:51 2022 +0100
+++ b/NEWS Fri Dec 16 10:28:37 2022 +0100
@@ -79,7 +79,9 @@
preorder.reflp_on_ge[simp]
preorder.reflp_on_le[simp]
reflp_on_conversp[simp]
+ sym_onD
sym_onI
+ symp_onD
symp_onI
symp_on_sym_on_eq[pred_set_conv]
totalI