CONTRIBUTORS

--- a/CONTRIBUTORS	Tue Feb 16 17:12:02 2021 +0000
+++ b/CONTRIBUTORS	Fri Feb 19 13:42:12 2021 +0100
@@ -6,6 +6,10 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* February 2021: Manuel Eberl
+  New material in HOL-Analysis/HOL-Probability, most notably Hoeffding's
+  inequality and the negative binomial distribution
+
 * January 2021: Jakub Kądziołka
   Some lemmas for HOL-Computational_Algebra.