NEWS
changeset 69790 154cf64e403e
parent 69785 9e326f6f8a24
child 69791 195aeee8b30a
     1.1 --- a/NEWS	Mon Feb 04 16:01:44 2019 +0100
     1.2 +++ b/NEWS	Mon Feb 04 15:39:37 2019 +0100
     1.3 @@ -87,6 +87,8 @@
     1.4  
     1.5  *** HOL ***
     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 +
     1.9  * more material on residue rings in HOL-Number_Theory:
    1.10  Carmichael's function, primitive roots, more properties for "ord"
    1.11