--- a/NEWS Mon Feb 19 11:21:06 2024 +0100
+++ b/NEWS Mon Feb 19 11:39:00 2024 +0100
@@ -48,8 +48,10 @@
* Theory "HOL.Transitive_Closure":
- Added lemmas.
+ relpow_left_unique
relpow_right_unique
relpow_trans[trans]
+ relpowp_left_unique
relpowp_right_unique
relpowp_trans[trans]