NEWS
changeset 12754 044a59921f3b
parent 12753 3a62df7ae926
child 12769 0f70bfe510ee
     1.1 --- a/NEWS	Mon Jan 14 17:45:30 2002 +0100
     1.2 +++ b/NEWS	Tue Jan 15 00:08:11 2002 +0100
     1.3 @@ -60,7 +60,9 @@
     1.4      rule statements (uses the new concept of simultaneous goals, see
     1.5      below);
     1.6    - removed obsolete "(simplified)" and "(stripped)" options of methods;
     1.7 -  - added 'print_induct_rules' (covered by help item in Proof General > 3.3);
     1.8 +  - undeclared rule case names default to numbers 1, 2, 3, ...;
     1.9 +  - added 'print_induct_rules' (covered by help item in recent Proof
    1.10 +    General versions);
    1.11    - moved induct/cases attributes to Pure, methods to Provers;
    1.12    - generic method setup instantiated for FOL and HOL;
    1.13