Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Merged
  2. Tuned code equations for mappings and PMFs
  3. Added code generation for PMFs
Changeset 63196:82552b478356 by eberlm:
Merged
Changeset 63195:f3f08c0d4aaf by eberlm:
Tuned code equations for mappings and PMFs
The file was modified src/HOL/Library/AList_Mapping.thy (diff)
The file was modified src/HOL/Library/DAList_Multiset.thy (diff)
The file was modified src/HOL/Library/Mapping.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Probability/PMF_Impl.thy (diff)
Changeset 63194:0b7bdb75f451 by eberlm:
Added code generation for PMFs
The file was addedsrc/HOL/Probability/PMF_Impl.thy
The file was modified src/HOL/Library/AList_Mapping.thy (diff)
The file was modified src/HOL/Library/Mapping.thy (diff)
The file was modified src/HOL/Library/RBT.thy (diff)
The file was modified src/HOL/Library/RBT_Mapping.thy (diff)
The file was modified src/HOL/Library/RBT_Set.thy (diff)
The file was modified src/HOL/Option.thy (diff)
The file was modified src/HOL/Probability/Probability.thy (diff)
The file was modified src/HOL/Probability/Probability_Mass_Function.thy (diff)
The file was modified src/HOL/Probability/Random_Permutations.thy (diff)