CONTRIBUTORS
changeset 62205 ca68dc26fbb6
parent 62201 eca7b38c8ee5
child 62216 5fb86150a579
child 62236 3a326bc9d4d8
     1.1 --- a/CONTRIBUTORS	Tue Jan 19 11:46:54 2016 +0100
     1.2 +++ b/CONTRIBUTORS	Tue Jan 19 14:00:47 2016 +0100
     1.3 @@ -16,10 +16,10 @@
     1.4  
     1.5  * Summer 2015 - Winter 2016: Lawrence C Paulson, Cambridge
     1.6    General, homology form of Cauchy's integral theorem and supporting material
     1.7 -  (ported from HOL Light)
     1.8 +  (ported from HOL Light).
     1.9  
    1.10  * Winter 2015/16: Gerwin Klein, NICTA
    1.11 -  print_record command
    1.12 +  New print_record command.
    1.13  
    1.14  * Winter 2015: Manuel Eberl, TUM
    1.15    The radius of convergence of power series and various summability tests.