changeset 70950 | 7378fa1d0892 |
parent 70817 | dd675800469d |
child 70957 | aa41be39aa99 |
--- 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 ***