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 76748 b35ffbe82031
parent 76747 53e40173cae5
child 76749 11a24dab1880 
--- a/NEWS	Mon Dec 19 15:52:15 2022 +0100
+++ b/NEWS	Mon Dec 19 15:54:03 2022 +0100
@@ -112,8 +112,10 @@
       totalp_on_singleton[simp]
       trans_onD
       trans_onI
+      trans_on_subset
       transp_onD
       transp_onI
+      transp_on_subset
       transp_on_trans_on_eq[pred_set_conv]
 
 * Theory "HOL.Transitive_Closure":
isabelle