CONTRIBUTORS
changeset 63246 c493859d4267
parent 62731 b751a43c5001
child 63411 e051eea34990
     1.1 --- a/CONTRIBUTORS	Wed Jun 08 09:05:32 2016 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Jun 08 09:07:05 2016 +0200
     1.3 @@ -17,6 +17,9 @@
     1.4    Reasoning support for monotonicity, continuity and
     1.5    admissibility in chain-complete partial orders.
     1.6  
     1.7 +* June 2016: Andreas Lochbihler
     1.8 +  Formalisation of discrete subprobability distributions.
     1.9 +
    1.10  Contributions to Isabelle2016
    1.11  -----------------------------
    1.12