src/HOL/Probability/Random_Permutations.thy
2017-04-04 eberlm 2017-04-04 moved material from AFP to distribution
2016-09-29 eberlm 2016-09-29 Set_Permutations replaced by more general Multiset_Permutations
2016-07-22 wenzelm 2016-07-22 tuned proofs -- avoid improper use of "this";
2016-05-31 eberlm 2016-05-31 Added code generation for PMFs
2016-05-24 eberlm 2016-05-24 Removed problematic code equation for set_permutations
2016-05-24 eberlm 2016-05-24 Backed out changeset 8230358fab88
2016-05-24 eberlm 2016-05-24 Deleted problematic code equation in Codegenerator_Test
2016-05-24 eberlm 2016-05-24 Resolved cyclic dependency of theories
2016-05-24 eberlm 2016-05-24 Added set permutations/random permutations