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 75609 19ec8f844e08
parent 75608 6c542e152b8a
child 75610 da901dcafc29 
--- a/NEWS	Fri Jun 24 15:05:04 2022 +0200
+++ b/NEWS	Fri Jun 24 10:49:40 2022 +0200
@@ -52,6 +52,7 @@
       monotone_onD
       monotone_onI
       monotone_on_empty[simp]
+      monotone_on_o
       monotone_on_subset
 
 * Theory "HOL.Relation":
isabelle