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