NEWS

--- a/NEWS	Tue Jan 17 10:45:42 2012 +0100
+++ b/NEWS	Tue Jan 17 11:15:36 2012 +0100
@@ -130,8 +130,8 @@
 
 INCOMPATIBILITY.
 
-* Theory HOL/Library/AList has been renamed to
-  AList_Impl. INCOMPATIBILITY.
+* New theory HOL/Library/DAList provides an abstract type for association
+  lists with distinct keys.
 
 * 'datatype' specifications allow explicit sort constraints.