--- a/NEWS Thu Oct 04 11:28:12 2001 +0200
+++ b/NEWS Thu Oct 04 11:28:30 2001 +0200
@@ -24,6 +24,9 @@
* Isar/HOL: 'inductive' now longer features separate (collective)
attributes for 'intros';
+* moved induct/cases attributes to Pure, added 'print_induct_rules'
+command;
+
*** HOL ***