author | bulwahn |
Wed, 07 Jul 2010 08:25:22 +0200 | |
changeset 37734 | 26e673df3fd0 |
parent 37733 | 489ac1ecb9f1 |
child 37735 | 2bf3a2cb5e58 |
1.1 --- a/NEWS Wed Jul 07 08:25:21 2010 +0200 1.2 +++ b/NEWS Wed Jul 07 08:25:22 2010 +0200 1.3 @@ -95,6 +95,10 @@ 1.4 1.5 INCOMPATIBILITY. 1.6 1.7 +* Inductive package: offers new command "inductive_simps" to automatically 1.8 + derive instantiated and simplified equations for inductive predicates, 1.9 + similar to inductive_cases. 1.10 + 1.11 1.12 New in Isabelle2009-2 (June 2010) 1.13 ---------------------------------