src/HOL/Library/Multiset_Permutations.thy
6 months ago haftmann 2019-01-14 tuned proofs
13 months ago nipkow 2018-06-07 utilize 'flip'
18 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
2017-04-04 wenzelm 2017-04-04 proper imports; tuned headers;
2016-10-17 nipkow 2016-10-17 setprod -> prod
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-09-29 eberlm 2016-09-29 Set_Permutations replaced by more general Multiset_Permutations