* moved induct/cases attributes to Pure, added 'print_induct_rules' command;
authorwenzelm
Thu Oct 04 11:28:30 2001 +0200 (2001-10-04)
changeset 116638a86409108fe
parent 11662 744399c9dd6a
child 11664 eaac65411529
* moved induct/cases attributes to Pure, added 'print_induct_rules' command;
NEWS
     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