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