--- a/NEWS Tue Mar 19 13:24:22 2024 +0100
+++ b/NEWS Wed Mar 20 09:24:12 2024 +0100
@@ -77,6 +77,8 @@
* Theory "HOL.Transitive_Closure":
- Added lemmas.
+ antisym_on_reflcl_if_asym_on
+ antisymp_on_reflclp_if_asymp_on
reflclp_greater_eq[simp]
reflclp_less_eq[simp]
relpow_left_unique