summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
raw | gz |
help

author | haftmann |

Thu, 21 Feb 2019 09:15:06 +0000 | |

changeset 69827 | 7c0a2ab90786 |

parent 69826 | 1bea05713dde |

child 69828 | 74d673b7d40e |

tuned whitespace

--- 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"