1.1 --- a/NEWS	Fri Oct 14 11:34:30 2011 +0200
     1.2 +++ b/NEWS	Fri Oct 14 18:55:29 2011 +0200
     1.3 @@ -12,6 +12,10 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* 'Transitive_Closure.ntrancl': bounded transitive closure on relations.
     1.8 +
     1.9 +* 'sublists' moved to More_List.thy; INCOMPATIBILITY.
    1.10 +
    1.11  * Theory Int: Discontinued many legacy theorems specific to type int.
    1.12    INCOMPATIBILITY, use the corresponding generic theorems instead.
    1.13