NEWS

--- a/NEWS	Mon Jun 14 10:50:49 2010 +0200
+++ b/NEWS	Mon Jun 14 12:01:30 2010 +0200
@@ -25,6 +25,13 @@
 
 INCOMPATIBILITY.
 
+* Datatype package: theorems generated for executable equality
+(class eq) carry proper names and are treated as default code
+equations.
+
+* List.thy: use various operations from the Haskell prelude when
+generating Haskell code.
+
 
 New in Isabelle2009-2 (June 2010)
 ---------------------------------