# HG changeset patch
# User paulson <lp15@cam.ac.uk>
# Date 1452605671 0
# Node ID d679e7d500ad72f3cd0ac6794e28e86645174530
# Parent  b8dc1fd7d90050b5ba6937fea6bbfa0b6e41cc9d
crediting LCP in CONTRIBUTORS

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.