--- a/NEWS Tue Dec 20 08:41:01 2022 +0100
+++ b/NEWS Mon Dec 19 15:36:45 2022 +0100
@@ -110,6 +110,7 @@
totalI
totalp_on_converse[simp]
totalp_on_singleton[simp]
+ transp_on_trans_on_eq[pred_set_conv]
* Theory "HOL.Transitive_Closure":
- Strengthened (and renamed) lemmas. Minor INCOMPATIBILITY.