src/HOL/Library/Multiset.thy
2000-10-19 wenzelm 2000-10-19 improved typedef; tuned;
2000-10-18 wenzelm 2000-10-18 Multisets (from HOL/Induct/Multiset and friends);