Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. NEWS and CONTRIBUTORS for SPMF
  2. merged
  3. import wasysym needed by Rewrite.thy
  4. add theory of discrete subprobability distributions
Changeset 63246:c493859d4267 by Andreas Lochbihler:
NEWS and CONTRIBUTORS for SPMF
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 63245:ea13f44da888 by Andreas Lochbihler:
merged
Changeset 63244:af43e35211c8 by Andreas Lochbihler:
import wasysym needed by Rewrite.thy
The file was modified src/HOL/Probability/document/root.tex (diff)
Changeset 63243:1bc6816fd525 by Andreas Lochbihler:
add theory of discrete subprobability distributions
The file was addedsrc/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)