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