CONTRIBUTORS
changeset 69791 195aeee8b30a
parent 69790 154cf64e403e
child 69814 5929b172c6fe
     1.1 --- a/CONTRIBUTORS	Mon Feb 04 15:39:37 2019 +0100
     1.2 +++ b/CONTRIBUTORS	Mon Feb 04 17:19:04 2019 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* February 2019: Jeremy Sylvestre
     1.8 +  Formal Laurent Series and overhaul of Formal power series.
     1.9 +
    1.10  * February 2019: Manuel Eberl
    1.11    Exponentiation by squaring, used to implement "power" in monoid_mult and
    1.12    fast modular exponentiation.