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 76689 ca258cf6c977
parent 76688 87e7ab6aa40b
child 76690 da062f9f2e53 
--- a/NEWS	Mon Dec 19 08:16:50 2022 +0100
+++ b/NEWS	Mon Dec 19 08:18:07 2022 +0100
@@ -83,8 +83,8 @@
       linorder.totalp_on_less[simp]
       order.antisymp_ge[simp]
       order.antisymp_le[simp]
-      preorder.antisymp_greater[simp]
-      preorder.antisymp_less[simp]
+      preorder.antisymp_on_greater[simp]
+      preorder.antisymp_on_less[simp]
       preorder.reflp_on_ge[simp]
       preorder.reflp_on_le[simp]
       reflp_on_conversp[simp]
isabelle