--- a/CONTRIBUTORS Tue Jul 26 14:29:20 2016 +0200
+++ b/CONTRIBUTORS Wed Jul 27 10:44:22 2016 +0200
@@ -17,12 +17,19 @@
Reasoning support for monotonicity, continuity and
admissibility in chain-complete partial orders.
+* May 2016: Manuel Eberl
+ Code generation for Probability Mass Functions.
+
* June 2016: Andreas Lochbihler
Formalisation of discrete subprobability distributions.
* July 2016: Daniel Stuewe
Height-size proofs in HOL/Data_Structures
+* July 2016: Manuel Eberl
+ Algebraic foundation for primes; generalization from nat
+ to general factorial rings
+
Contributions to Isabelle2016
-----------------------------