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