NEWS
changeset 69791 195aeee8b30a
parent 69790 154cf64e403e
child 69811 18f61ce86425
--- a/NEWS	Mon Feb 04 15:39:37 2019 +0100
+++ b/NEWS	Mon Feb 04 17:19:04 2019 +0100
@@ -87,6 +87,9 @@
 
 *** HOL ***
 
+* 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
 
 * more material on residue rings in HOL-Number_Theory: