--- a/NEWS Wed Nov 09 15:38:43 2022 +0100
+++ b/NEWS Wed Nov 09 16:36:22 2022 +0100
@@ -45,6 +45,7 @@
preorder.antisymp_less[simp]
preorder.reflp_ge[simp]
preorder.reflp_le[simp]
+ reflp_on_conversp[simp]
totalp_on_singleton[simp]
* Theory "HOL.Transitive_Closure":