1.1 --- a/NEWS	Thu Oct 04 11:28:12 2001 +0200
     1.2 +++ b/NEWS	Thu Oct 04 11:28:30 2001 +0200
     1.3 @@ -24,6 +24,9 @@
     1.4  * Isar/HOL: 'inductive' now longer features separate (collective)
     1.5  attributes for 'intros';
     1.6  
     1.7 +* moved induct/cases attributes to Pure, added 'print_induct_rules'
     1.8 +command;
     1.9 +
    1.10  
    1.11  *** HOL ***
    1.12