# HG changeset patch
# User Andreas Lochbihler
# Date 1452608494 -3600
# Node ID c3a9dd69179ede896a33c92db3d9641cdb72812f
# Parent  519362f817c71e876d2037e0b9795ac82156fbba# Parent  d679e7d500ad72f3cd0ac6794e28e86645174530
merged

diff -r 519362f817c7 -r c3a9dd69179e CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Jan 12 14:14:28 2016 +0100
+++ b/CONTRIBUTORS	Tue Jan 12 15:21:34 2016 +0100
@@ -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.