NEWS
changeset 60841 144523e0678e
parent 60809 457abb82fb9e
child 60868 dd18c33c001e
--- 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.