CONTRIBUTORS
changeset 67456 7895c159d7b1
parent 67279 d327c11c9f3e
child 67831 07f5588f2735
     1.1 --- a/CONTRIBUTORS	Thu Jan 18 17:04:35 2018 +0100
     1.2 +++ b/CONTRIBUTORS	Fri Jan 19 08:28:08 2018 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* January 2018: Sebastien Gouezel
     1.8 +  Various small additions to HOL-Analysis
     1.9 +
    1.10  * December 2017: Jan Gilcher, Andreas Lochbihler, Dmitriy Traytel
    1.11    A new conditional parametricity prover.
    1.12