diff -r b8dc1fd7d900 -r d679e7d500ad CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Jan 12 09:28:08 2016 +0100
+++ b/CONTRIBUTORS	Tue Jan 12 13:34:31 2016 +0000
@@ -10,6 +10,10 @@
   Proof of the central limit theorem: includes weak convergence,
   characteristic functions, and Levy's uniqueness and continuity theorem.
 
+* Summer 2015 - Winter 2016: Lawrence C Paulson, Cambridge
+  General, homology form of Cauchy's integral theorem and supporting material
+  (ported from HOL Light)
+
 * Winter 2015/16: Gerwin Klein, NICTA
   print_record command
 
@@ -19,7 +23,7 @@
   The Generalised Binomial Theorem.
   The complex and real Gamma/log-Gamma/Digamma/Polygamma functions and their
   most important properties.
-  
+
 * Autumn 2015: Manuel Eberl, TUM
   Proper definition of division (with remainder) for formal power series;
   Euclidean Ring and GCD instance for formal power series.