NEWS

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