changeset 73253 | f6bb31879698 |
parent 73213 | bb35f7f60d6c |
child 73446 | d1c4c2395650 |
--- 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.