fixed typo
authorhaftmann
Fri Jun 01 10:44:24 2007 +0200 (2007-06-01)
changeset 2318080b9caed2ba8
parent 23179 8db2b22257bd
child 23181 f52b555f8141
fixed typo
NEWS
     1.1 --- a/NEWS	Thu May 31 23:47:38 2007 +0200
     1.2 +++ b/NEWS	Fri Jun 01 10:44:24 2007 +0200
     1.3 @@ -544,7 +544,7 @@
     1.4      Numeral.number_of ~> Numeral.number_class.number_of
     1.5      FixedPoint.Inf ~> FixedPoint.complete_lattice_class.Inf
     1.6  
     1.7 -* Rudimentary class target mechanims involves constant renames:
     1.8 +* Rudimentary class target mechanism involves constant renames:
     1.9  
    1.10      Orderings.min ~> Orderings.ord_class.min
    1.11      Orderings.max ~> Orderings.ord_class.max