tuned whitespace
authorhaftmann
Thu Feb 21 09:15:06 2019 +0000 (2 months ago ago)
changeset 700087c0a2ab90786
parent 70006 1bea05713dde
child 70009 74d673b7d40e
tuned whitespace
NEWS
     1.1 --- a/NEWS	Wed Feb 20 21:54:52 2019 +0100
     1.2 +++ b/NEWS	Thu Feb 21 09:15:06 2019 +0000
     1.3 @@ -90,7 +90,8 @@
     1.4  * Formal Laurent series and overhaul of Formal power series 
     1.5  in HOL-Computational_Algebra
     1.6  
     1.7 -* exponentiation by squaring in HOL-Library; used for computing powers in monoid_mult and modular exponentiation in HOL-Number_Theory
     1.8 +* Exponentiation by squaring in HOL-Library; used for computing powers
     1.9 +in monoid_mult and modular exponentiation in HOL-Number_Theory
    1.10  
    1.11  * more material on residue rings in HOL-Number_Theory:
    1.12  Carmichael's function, primitive roots, more properties for "ord"