src/HOL/Library/DAList_Multiset.thy
2013-04-04 haftmann 2013-04-04 sup on multisets
2013-04-03 haftmann 2013-04-03 default implementation of multisets by list with reasonable coverage of operations on multisets
2013-04-03 haftmann 2013-04-03 optionalized very specific code setup for multisets