# HG changeset patch
# User bulwahn
# Date 1323881382 -3600
# Node ID ab10ce781e34cd93a1537e0030532da09c7f1e8f
# Parent  37ffb8797a6398b608f457b0caf70de50e665146
NEWS

diff -r 37ffb8797a63 -r ab10ce781e34 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