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 76749 11a24dab1880
parent 76748 b35ffbe82031
child 76750 f70a7ff13b10 
--- a/NEWS	Mon Dec 19 15:54:03 2022 +0100
+++ b/NEWS	Mon Dec 19 16:00:49 2022 +0100
@@ -51,6 +51,10 @@
       preorder.asymp_less[simp] ~> preorder.asymp_on_less[simp]
       preorder.irreflp_greater[simp] ~> preorder.irreflp_on_greater[simp]
       preorder.irreflp_less[simp] ~> preorder.irreflp_on_less[simp]
+      preorder.transp_ge[simp] ~> preorder.transp_on_ge[simp]
+      preorder.transp_gr[simp] ~> preorder.transp_on_greater[simp]
+      preorder.transp_le[simp] ~> preorder.transp_on_le[simp]
+      preorder.transp_less[simp] ~> preorder.transp_on_less[simp]
       reflp_equality[simp] ~> reflp_on_equality[simp]
       total_on_singleton
       sym_converse[simp] ~> sym_on_converse[simp]
isabelle