--- a/NEWS Mon Dec 19 15:36:45 2022 +0100
+++ b/NEWS Mon Dec 19 15:41:52 2022 +0100
@@ -110,6 +110,8 @@
totalI
totalp_on_converse[simp]
totalp_on_singleton[simp]
+ trans_onI
+ transp_onI
transp_on_trans_on_eq[pred_set_conv]
* Theory "HOL.Transitive_Closure":