Isar: undeclared rule case names default to numbers 1, 2, 3, ...;
authorwenzelm
Tue Jan 15 00:08:11 2002 +0100 (2002-01-15)
changeset 12754044a59921f3b
parent 12753 3a62df7ae926
child 12755 a906a8b364f1
Isar: undeclared rule case names default to numbers 1, 2, 3, ...;
NEWS
     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