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 78014 24f0cd70790b
parent 77991 bdb5de00379a
child 78017 db041670d6bb 
--- a/NEWS	Tue May 09 09:49:41 2023 +0200
+++ b/NEWS	Tue May 09 22:00:36 2023 +0200
@@ -81,7 +81,9 @@
       Finite_Set.bex_greatest_element
       Finite_Set.bex_least_element
       Finite_Set.bex_max_element
+      Finite_Set.bex_max_element_with_property
       Finite_Set.bex_min_element
+      Finite_Set.bex_min_element_with_property
       is_max_element_in_set_iff
       is_min_element_in_set_iff
isabelle