diff -r 5fb251d1c32f -r 9a017146675f NEWS
--- a/NEWS	Mon May 17 10:58:31 2010 +0200
+++ b/NEWS	Mon May 17 10:58:58 2010 +0200
@@ -143,6 +143,10 @@
 
 *** HOL ***
 
+* Theory Library/Word.thy has been removed.  Use library Word/Word.thy for
+future developements;  former Library/Word.thy is still present in the AFP
+entry RSAPPS.
+
 * Theorem Int.int_induct renamed to Int.int_of_nat_induct and is no
 longer shadowed.  INCOMPATIBILITY.