crediting LCP in CONTRIBUTORS
authorpaulson <lp15@cam.ac.uk>
Tue Jan 12 13:34:31 2016 +0000 (2016-01-12)
changeset 62138d679e7d500ad
parent 62137 b8dc1fd7d900
child 62140 c3a9dd69179e
crediting LCP in CONTRIBUTORS
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Tue Jan 12 09:28:08 2016 +0100
     1.2 +++ b/CONTRIBUTORS	Tue Jan 12 13:34:31 2016 +0000
     1.3 @@ -10,6 +10,10 @@
     1.4    Proof of the central limit theorem: includes weak convergence,
     1.5    characteristic functions, and Levy's uniqueness and continuity theorem.
     1.6  
     1.7 +* Summer 2015 - Winter 2016: Lawrence C Paulson, Cambridge
     1.8 +  General, homology form of Cauchy's integral theorem and supporting material
     1.9 +  (ported from HOL Light)
    1.10 +
    1.11  * Winter 2015/16: Gerwin Klein, NICTA
    1.12    print_record command
    1.13  
    1.14 @@ -19,7 +23,7 @@
    1.15    The Generalised Binomial Theorem.
    1.16    The complex and real Gamma/log-Gamma/Digamma/Polygamma functions and their
    1.17    most important properties.
    1.18 -  
    1.19 +
    1.20  * Autumn 2015: Manuel Eberl, TUM
    1.21    Proper definition of division (with remainder) for formal power series;
    1.22    Euclidean Ring and GCD instance for formal power series.