NEWS

--- a/NEWS	Tue Aug 04 15:00:58 2015 +0200
+++ b/NEWS	Tue Aug 04 23:11:16 2015 +0200
@@ -172,6 +172,9 @@
 
 *** HOL ***
 
+* Theory Map: lemma map_of_is_SomeD was a clone of map_of_SomeD and has
+been removed. INCOMPATIBILITY.
+
 * Quickcheck setup for finite sets.
 
 * Discontinued simp_legacy_precond. Potential INCOMPATIBILITY.