Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
authornipkow
Sun, 27 Oct 2019 16:47:27 +0100
changeset 70950 7378fa1d0892
parent 70949 581083959358
child 70951 678b2abe9f7d
NEWS
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Sun Oct 27 14:54:07 2019 +0100
+++ b/NEWS	Sun Oct 27 16:47:27 2019 +0100
@@ -80,6 +80,8 @@
 * Theory HOL-Library.Monad_Syntax: infix operation "bind" (>>=)
 associates to the left now as is customary.
 
+* Theory Complete_Lattices:
+renamed Inf_Sup -> Inf_eq_Sup and Sup_Inf -> Sup_eq_Inf
 
 *** ML ***
isabelle