CONTRIBUTORS

--- a/CONTRIBUTORS	Mon Feb 04 15:39:37 2019 +0100
+++ b/CONTRIBUTORS	Mon Feb 04 17:19:04 2019 +0100
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* February 2019: Jeremy Sylvestre
+  Formal Laurent Series and overhaul of Formal power series.
+
 * February 2019: Manuel Eberl
   Exponentiation by squaring, used to implement "power" in monoid_mult and
   fast modular exponentiation.