CONTRIBUTORS
changeset 63411 e051eea34990
parent 63246 c493859d4267
child 63552 2112e5fe9712
     1.1 --- a/CONTRIBUTORS	Thu Jul 07 09:24:03 2016 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Jul 07 18:08:02 2016 +0200
     1.3 @@ -20,6 +20,9 @@
     1.4  * June 2016: Andreas Lochbihler
     1.5    Formalisation of discrete subprobability distributions.
     1.6  
     1.7 +* July 2016: Daniel Stuewe
     1.8 +  Height-size proofs in HOL/Data_Structures
     1.9 +
    1.10  Contributions to Isabelle2016
    1.11  -----------------------------
    1.12