Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed NEWS
authordesharna
Thu, 13 Mar 2025 14:47:56 +0100
changeset 82255 8a01d2ed484e
parent 82254 8183a7d8a695
child 82267 2c90d28037d1
fixed NEWS
NEWS file | annotate | diff | comparison | revisions 
--- 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
isabelle