# HG changeset patch
# User desharna
# Date 1741873676 -3600
# Node ID 8a01d2ed484e8da39dcea246bc9e3b9648128e36
# Parent  8183a7d8a69512dd3f86a53e131f9ab89d7f47c8
fixed NEWS

diff -r 8183a7d8a695 -r 8a01d2ed484e NEWS
--- a/NEWS	Thu Mar 13 14:47:32 2025 +0100
+++ b/NEWS	Thu Mar 13 14:47:56 2025 +0100
@@ -27,8 +27,6 @@
       wfp_on_iff_wfp
 
 * Theory "HOL.Order_Relation":
-  - Strengthened lemmas. Minor INCOMPATIBILITY.
-      sym_trans_comp_subset
   - Added lemmas.
       antisym_relation_of[simp]
       asym_relation_of[simp]
@@ -39,6 +37,8 @@
       trans_relation_of[simp]
 
 * Theory "HOL.Equiv_Relation":
+  - Strengthened lemmas. Minor INCOMPATIBILITY.
+      sym_trans_comp_subset
   - Added lemmas.
       quotient_disj_strong