NEWS

--- a/NEWS	Wed Dec 14 16:30:32 2011 +0100
+++ b/NEWS	Wed Dec 14 17:49:42 2011 +0100
@@ -53,6 +53,8 @@
 
 *** HOL ***
 
+* Theory HOL/Library/AList has been renamed to AList_Impl. INCOMPABILITY.
+
 * 'datatype' specifications allow explicit sort constraints.
 
 * Theory HOL/Library/Diagonalize has been removed. INCOMPATIBILITY, use