merged
authorAndreas Lochbihler
Tue, 12 Jan 2016 15:21:34 +0100
changeset 62140 c3a9dd69179e
parent 62138 519362f817c7 (current diff)
parent 62139 d679e7d500ad (diff)
child 62141 00bfdf4bf237
merged
--- 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.