src/HOL/Library/Multiset_Permutations.thy
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