added missiong word
authoroheimb
Thu Feb 15 13:07:03 2001 +0100 (2001-02-15)
changeset 11130d14fd58615b9
parent 11129 6f6892bea902
child 11131 5dc3b5abdbca
added missiong word
NEWS
     1.1 --- a/NEWS	Thu Feb 15 11:15:39 2001 +0100
     1.2 +++ b/NEWS	Thu Feb 15 13:07:03 2001 +0100
     1.3 @@ -9,7 +9,7 @@
     1.4  
     1.5  * HOL: inductive package no longer splits induction rule aggressively,
     1.6  but only as far as specified by the introductions given; the old
     1.7 -format may recovered via ML function complete_split_rule or attribute
     1.8 +format may be recovered via ML function complete_split_rule or attribute
     1.9  'split_rule (complete)';
    1.10  
    1.11  * HOL: induct renamed to lfp_induct, lfp_Tarski to lfp_unfold,