--- 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
-----------------------------
--- a/NEWS Wed Jun 08 09:05:32 2016 +0200
+++ b/NEWS Wed Jun 08 09:07:05 2016 +0200
@@ -122,6 +122,8 @@
choosing a permutation of a set uniformly at random and folding over a
list in random order.
+* Probability/SPMF formalises discrete subprobability distributions.
+
* Library/Set_Permutations.thy (executably) defines the set of
permutations of a set, i.e. the set of all lists that contain every
element of the carrier set exactly once.
@@ -1264,9 +1266,9 @@
performance.
* Property values in etc/symbols may contain spaces, if written with the
-replacement character "␣" (Unicode point 0x2324). For example:
-
- \<star> code: 0x0022c6 group: operator font: Deja␣Vu␣Sans␣Mono
+replacement character "?" (Unicode point 0x2324). For example:
+
+ \<star> code: 0x0022c6 group: operator font: Deja?Vu?Sans?Mono
* Java runtime environment for x86_64-windows allows to use larger heap
space.