NEWS
changeset 68450 41de07c7a0f3
parent 68404 05605481935d
child 68466 3d8241f4198b
     1.1 --- a/NEWS	Thu Jun 14 17:50:23 2018 +0200
     1.2 +++ b/NEWS	Fri Jun 15 10:45:12 2018 +0200
     1.3 @@ -320,6 +320,8 @@
     1.4  
     1.5    - list comprehension syntax now supports tuple patterns in "pat <- xs"
     1.6  
     1.7 +* Theory Map: "empty" must now be qualified as "Map.empty".
     1.8 +
     1.9  * Removed nat-int transfer machinery. Rare INCOMPATIBILITY.
    1.10  
    1.11  * Fact mod_mult_self4 (on nat) renamed to Suc_mod_mult_self3, to avoid