NEWS

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