diff -r 489ac1ecb9f1 -r 26e673df3fd0 NEWS
--- a/NEWS	Wed Jul 07 08:25:21 2010 +0200
+++ b/NEWS	Wed Jul 07 08:25:22 2010 +0200
@@ -95,6 +95,10 @@
 
 INCOMPATIBILITY.
 
+* Inductive package: offers new command "inductive_simps" to automatically
+  derive instantiated and simplified equations for inductive predicates,
+  similar to inductive_cases.
+
 
 New in Isabelle2009-2 (June 2010)
 ---------------------------------