NEWS

--- a/NEWS	Tue Jun 08 07:45:39 2010 +0200
+++ b/NEWS	Tue Jun 08 16:37:19 2010 +0200
@@ -4,6 +4,21 @@
 New in this Isabelle version
 ----------------------------
 
+*** HOL ***
+
+* Some previously unqualified names have been qualified:
+
+  types
+    nat ~> Nat.nat
+    + ~> Sum_Type.+
+
+  constants
+    Ball ~> Set.Ball
+    Bex ~> Set.Bex
+    Suc ~> Nat.Suc
+    curry ~> Product_Type.curry
+
+INCOMPATIBILITY.
 
 
 New in Isabelle2009-2 (June 2010)