author | haftmann |

Thu Feb 21 09:15:06 2019 +0000 (2 months ago ago) | |

changeset 70008 | 7c0a2ab90786 |

parent 70006 | 1bea05713dde |

child 70009 | 74d673b7d40e |

tuned whitespace

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"