NEWS
changeset 10557 dc615fccc1e6
parent 10547 efaba354b7f1
child 10609 5cbb6e62c502
     1.1 --- a/NEWS	Thu Nov 30 20:14:25 2000 +0100
     1.2 +++ b/NEWS	Thu Nov 30 20:18:00 2000 +0100
     1.3 @@ -55,7 +55,7 @@
     1.4  * HOL: improved method 'induct' --- now handles non-atomic goals
     1.5  (potential INCOMPATIBILITY); tuned error handling;
     1.6  
     1.7 -* HOL: cases and induct rules may now provide explicit hint about the
     1.8 +* HOL: cases and induct rules now provide explicit hints about the
     1.9  number of facts to be consumed (0 for "type" and 1 for "set" rules);
    1.10  any remaining facts are inserted into the goal verbatim;
    1.11