# HG changeset patch
# User haftmann
# Date 1318611329 -7200
# Node ID aed8f14bf562369f375834c685493998454823fe
# Parent  97e81a8aa27739dec009f14db419af7ba00c49fd
NEWS

diff -r 97e81a8aa277 -r aed8f14bf562 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.