CONTRIBUTORS
changeset 62086 1c0246456ab9
parent 62084 969119292e25
child 62098 b1b2834bb493
     1.1 --- a/CONTRIBUTORS	Thu Jan 07 14:37:17 2016 +0100
     1.2 +++ b/CONTRIBUTORS	Thu Jan 07 14:44:51 2016 +0100
     1.3 @@ -16,6 +16,10 @@
     1.4    The Generalised Binomial Theorem.
     1.5    The complex and real Gamma/log-Gamma/Digamma/Polygamma functions and their
     1.6    most important properties.
     1.7 +  
     1.8 +* Autumn 2015: Manuel Eberl, TUM
     1.9 +  Proper definition of division (with remainder) for formal power series;
    1.10 +  Euclidean Ring and GCD instance for formal power series.
    1.11  
    1.12  * Autumn 2015: Florian Haftmann, TUM
    1.13    Rewrite definitions for global interpretations and sublocale declarations.