CONTRIBUTORS

--- 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
 -----------------------------