NEWS

--- a/NEWS	Mon Jul 04 16:12:47 2022 +0000
+++ b/NEWS	Tue Jul 05 17:54:52 2022 +0200
@@ -90,6 +90,11 @@
       totalp_on_subset
       totalp_on_total_on_eq[pred_set_conv]
 
+* Theory "HOL.Transitive_Closure":
+  - Added lemmas.
+      total_on_trancl
+      totalp_on_tranclp
+
 * Theory "HOL-Library.Multiset":
   - Consolidated operation and fact names.
         multp ~> multp_code