CONTRIBUTORS
changeset 63552 2112e5fe9712
parent 63411 e051eea34990
child 63964 9f0308e80366
     1.1 --- a/CONTRIBUTORS	Tue Jul 26 14:29:20 2016 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Jul 27 10:44:22 2016 +0200
     1.3 @@ -17,12 +17,19 @@
     1.4    Reasoning support for monotonicity, continuity and
     1.5    admissibility in chain-complete partial orders.
     1.6  
     1.7 +* May 2016: Manuel Eberl
     1.8 +  Code generation for Probability Mass Functions.
     1.9 +
    1.10  * June 2016: Andreas Lochbihler
    1.11    Formalisation of discrete subprobability distributions.
    1.12  
    1.13  * July 2016: Daniel Stuewe
    1.14    Height-size proofs in HOL/Data_Structures
    1.15  
    1.16 +* July 2016: Manuel Eberl
    1.17 +  Algebraic foundation for primes; generalization from nat
    1.18 +  to general factorial rings
    1.19 +
    1.20  Contributions to Isabelle2016
    1.21  -----------------------------
    1.22