# HG changeset patch
# User bulwahn
# Date 1278483922 -7200
# Node ID 26e673df3fd0f398460b8f0b180e96daba4a58a1
# Parent  489ac1ecb9f10d19029d1a4f5fdc8f1bb9dc8aa6
added NEWS entry

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)
 ---------------------------------