Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. update metadata
  2. adapt to changes in MFMC_Countable
  3. merged
  4. derive characterisation for rel_pmf from finite MFMC theorem
Changeset 8281:33b802c955f7 by Andreas Lochbihler:
update metadata
The file was modified metadata/metadata (diff)
Changeset 8280:c99d5876beac by Andreas Lochbihler:
adapt to changes in MFMC_Countable
The file was modified thys/CryptHOL/Misc_CryptHOL.thy (diff)
Changeset 8279:b36e983e73f4 by Andreas Lochbihler:
merged
Changeset 8278:a7a198f5bab0 by Andreas Lochbihler:
derive characterisation for rel_pmf from finite MFMC theorem
The file was addedthys/MFMC_Countable/MFMC_Finite.thy
The file was addedthys/MFMC_Countable/Matrix_For_Marginals.thy
The file was modified thys/MFMC_Countable/ROOT (diff)
The file was modified thys/MFMC_Countable/Rel_PMF_Characterisation.thy (diff)
The file was modified thys/MFMC_Countable/document/root.tex (diff)