NEWS

--- a/NEWS	Tue Feb 26 20:11:11 2013 +0100
+++ b/NEWS	Wed Feb 27 12:45:19 2013 +0100
@@ -4,6 +4,13 @@
 New in this Isabelle version
 ----------------------------
 
+*** General ***
+
+* Discontinued obsolete 'uses' within theory header.  Note that
+commands like 'ML_file' work without separate declaration of file
+dependencies.  Minor INCOMPATIBILITY.
+
+
 *** HOL ***
 
 * Discontinued obsolete src/HOL/IsaMakefile (considered legacy since