NEWS
changeset 12853 de505273c971
parent 12850 d3c16021e999
child 12877 b9635eb8a448
     1.1 --- a/NEWS	Sat Jan 26 19:17:15 2002 +0100
     1.2 +++ b/NEWS	Sat Jan 26 19:20:01 2002 +0100
     1.3 @@ -59,6 +59,8 @@
     1.4    - 'induct' proper support for mutual induction involving non-atomic
     1.5      rule statements (uses the new concept of simultaneous goals, see
     1.6      below);
     1.7 +  - append all possible rule selections, but only use the first
     1.8 +    success (no backtracking);
     1.9    - removed obsolete "(simplified)" and "(stripped)" options of methods;
    1.10    - undeclared rule case names default to numbers 1, 2, 3, ...;
    1.11    - added 'print_induct_rules' (covered by help item in recent Proof