NEWS

--- 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