equal
deleted
inserted
replaced
86 INCOMPATIBILITY. |
86 INCOMPATIBILITY. |
87 |
87 |
88 * Theory HOL.Complete_Lattices: |
88 * Theory HOL.Complete_Lattices: |
89 renamed Inf_Sup -> Inf_eq_Sup and Sup_Inf -> Sup_eq_Inf |
89 renamed Inf_Sup -> Inf_eq_Sup and Sup_Inf -> Sup_eq_Inf |
90 |
90 |
91 * Theory HOL-Library.Monad_Syntax: infix operation "bind" (>>=) |
91 * Theory HOL-Library.Monad_Syntax: infix operation "bind" (\<bind>) |
92 associates to the left now as is customary. |
92 associates to the left now as is customary. |
93 |
93 |
94 * Theory HOL-Library.Ramsey: full finite Ramsey's theorem with |
94 * Theory HOL-Library.Ramsey: full finite Ramsey's theorem with |
95 multiple colours and arbitrary exponents. |
95 multiple colours and arbitrary exponents. |
96 |
96 |