1.1 --- a/NEWS	Tue Dec 13 20:29:59 2011 +0100
     1.2 +++ b/NEWS	Tue Dec 13 23:23:51 2011 +0100
     1.3 @@ -53,6 +53,8 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* 'datatype' specifications allow explicit sort constraints.
     1.8 +
     1.9  * Theory HOL/Library/Diagonalize has been removed. INCOMPATIBILITY, use
    1.10  theory HOL/Library/Nat_Bijection instead.
    1.11