CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Jun 08 09:05:32 2016 +0200
+++ b/CONTRIBUTORS	Wed Jun 08 09:07:05 2016 +0200
@@ -17,6 +17,9 @@
   Reasoning support for monotonicity, continuity and
   admissibility in chain-complete partial orders.
 
+* June 2016: Andreas Lochbihler
+  Formalisation of discrete subprobability distributions.
+
 Contributions to Isabelle2016
 -----------------------------