Summary
- NEWS and CONTRIBUTORS for SPMF
- merged
- import wasysym needed by Rewrite.thy
- add theory of discrete subprobability distributions
The file was modified | CONTRIBUTORS (diff) |
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Probability/document/root.tex (diff) |
The file was added | src/HOL/Probability/SPMF.thy |
The file was modified | src/HOL/Library/Complete_Partial_Order2.thy (diff) |
The file was modified | src/HOL/Probability/Probability.thy (diff) |