--- a/NEWS Fri Mar 14 18:11:38 2025 +0100
+++ b/NEWS Fri Mar 14 18:13:56 2025 +0100
@@ -27,6 +27,7 @@
transp_equality[simp] ~> transp_on_equality[simp]
- Added lemmas.
reflp_on_refl_on_eq[pred_set_conv]
+ symp_on_equality[simp]
* Theory "HOL.Wellfounded":
- Added lemmas.