Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 79940 5e85ea359563
parent 79938 890c250feab7
child 79941 6a3212bedfad 
--- a/NEWS	Wed Mar 20 09:57:14 2024 +0100
+++ b/NEWS	Wed Mar 20 11:11:04 2024 +0100
@@ -76,6 +76,8 @@
       transp_on_image
 
 * Theory "HOL.Transitive_Closure":
+  - Renamed lemma antisymp_on_reflcp to antisymp_on_reflclp.
+    Minor INCOMPATIBILITY.
   - Added lemmas.
       antisym_on_reflcl_if_asym_on
       antisymp_on_reflclp_if_asymp_on
isabelle