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 76642 878ed0fcb510
parent 76641 e9f3f2b0c0a7
child 76644 99d6e9217586 
--- a/NEWS	Thu Dec 15 12:32:01 2022 +0100
+++ b/NEWS	Thu Dec 15 13:18:25 2022 +0100
@@ -45,10 +45,12 @@
       antisym_if_asymp
       antisym_onD
       antisym_onI
+      antisym_on_subset
       antisymp_if_asymp
       antisymp_onD
       antisymp_onI
       antisymp_on_antisym_on_eq[pred_set_conv]
+      antisymp_on_subset
       asym_if_irrefl_and_trans
       asymp_if_irreflp_and_transp
       irreflD
isabelle