diff -r 11a24dab1880 -r f70a7ff13b10 NEWS
--- a/NEWS	Mon Dec 19 16:00:49 2022 +0100
+++ b/NEWS	Mon Dec 19 16:05:57 2022 +0100
@@ -131,7 +131,7 @@
       antisymp_on_reflcp[simp]
       reflclp_ident_if_reflp[simp]
       reflp_on_reflclp[simp]
-      transp_reflclp[simp]
+      transp_on_reflclp[simp]
 
 * Theory "HOL.Wellfounded":
   - Added lemmas.