NEWS
changeset 62026 ea3b1b0413b4
parent 62017 038ee85c95e4
child 62027 b270f2b9bef8
     1.1 --- a/NEWS	Fri Jan 01 11:27:29 2016 +0100
     1.2 +++ b/NEWS	Fri Jan 01 14:44:52 2016 +0100
     1.3 @@ -598,6 +598,8 @@
     1.4  terms for sup and inf. For example, "sup x (sup y (- x))" simplifies to
     1.5  "top". INCOMPATIBILITY.
     1.6  
     1.7 +* Library/Monad_Syntax: notation uses symbols \<bind> and \<then>. INCOMPATIBILITY.
     1.8 +
     1.9  * Library/Multiset:
    1.10    - Renamed multiset inclusion operators:
    1.11        < ~> <#