diff -r 53e40173cae5 -r b35ffbe82031 NEWS
--- a/NEWS	Mon Dec 19 15:52:15 2022 +0100
+++ b/NEWS	Mon Dec 19 15:54:03 2022 +0100
@@ -112,8 +112,10 @@
       totalp_on_singleton[simp]
       trans_onD
       trans_onI
+      trans_on_subset
       transp_onD
       transp_onI
+      transp_on_subset
       transp_on_trans_on_eq[pred_set_conv]
 
 * Theory "HOL.Transitive_Closure":