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 76747 53e40173cae5
parent 76746 76f93e2620fe
child 76748 b35ffbe82031 
--- a/NEWS	Mon Dec 19 15:41:52 2022 +0100
+++ b/NEWS	Mon Dec 19 15:52:15 2022 +0100
@@ -110,7 +110,9 @@
       totalI
       totalp_on_converse[simp]
       totalp_on_singleton[simp]
+      trans_onD
       trans_onI
+      transp_onD
       transp_onI
       transp_on_trans_on_eq[pred_set_conv]
isabelle