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