NEWS

--- a/NEWS	Wed Oct 12 22:48:23 2011 +0200
+++ b/NEWS	Thu Oct 13 11:45:33 2011 +0200
@@ -4,6 +4,12 @@
 New in this Isabelle version
 ----------------------------
 
+*** Pure ***
+
+* Obsolete command 'types' has been discontinued.  Use 'type_synonym'
+instead.  INCOMPATIBILITY.
+
+
 *** HOL ***
 
 * Theory Int: Discontinued many legacy theorems specific to type int.