NEWS
changeset 69791 195aeee8b30a
parent 69790 154cf64e403e
child 69811 18f61ce86425
     1.1 --- a/NEWS	Mon Feb 04 15:39:37 2019 +0100
     1.2 +++ b/NEWS	Mon Feb 04 17:19:04 2019 +0100
     1.3 @@ -87,6 +87,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Formal Laurent series and overhaul of Formal power series 
     1.8 +in HOL-Computational_Algebra
     1.9 +
    1.10  * exponentiation by squaring in HOL-Library; used for computing powers in monoid_mult and modular exponentiation in HOL-Number_Theory
    1.11  
    1.12  * more material on residue rings in HOL-Number_Theory: