NEWS
authornipkow
Sun, 27 Oct 2019 16:47:27 +0100
changeset 71146 7378fa1d0892
parent 71140 581083959358
child 71147 678b2abe9f7d
NEWS
NEWS
--- 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 ***