NEWS

--- a/NEWS	Tue Feb 03 16:50:40 2009 +0100
+++ b/NEWS	Tue Feb 03 16:50:41 2009 +0100
@@ -193,7 +193,8 @@
 
 *** HOL ***
 
-* Theory "Reflection" now resides in HOL/Library.
+* Theory "Reflection" now resides in HOL/Library.  Common reflection examples
+(Cooper, MIR, Ferrack) now in distinct session directory HOL/Reflection.
 
 * Entry point to Word library now simply named "Word".  INCOMPATIBILITY.