--- 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.