# HG changeset patch
# User bulwahn
# Date 1326795336 -3600
# Node ID fcfb4aa8e6e6dd26f81ec76bc2de8e78d54fae6c
# Parent  9ace9e5b79beabc243abc00f17b584fa0098d148
refreshing NEWS

diff -r 9ace9e5b79be -r fcfb4aa8e6e6 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.