NEWS

--- a/NEWS	Wed Jan 28 10:43:31 2009 +0100
+++ b/NEWS	Wed Jan 28 11:04:10 2009 +0100
@@ -193,6 +193,8 @@
 
 *** HOL ***
 
+* Theory "Reflection" now resides in HOL/Library.
+
 * Entry point to Word library now simply named "Word".  INCOMPATIBILITY.
 
 * Made source layout more coherent with logical distribution