CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Jan 18 17:04:35 2018 +0100
+++ b/CONTRIBUTORS	Fri Jan 19 08:28:08 2018 +0100
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* January 2018: Sebastien Gouezel
+  Various small additions to HOL-Analysis
+
 * December 2017: Jan Gilcher, Andreas Lochbihler, Dmitriy Traytel
   A new conditional parametricity prover.