# HG changeset patch
# User nipkow
# Date 1572191247 -3600
# Node ID 7378fa1d08929db1b717926d1a274dc4a3703f66
# Parent  581083959358ce319e88ff75fa6d723c67f6fee9
NEWS

diff -r 581083959358 -r 7378fa1d0892 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 ***