src/HOL/Library/DAList_Multiset.thy
2014-03-03 nipkow 2014-03-03 more code lemmas by Rene Thiemann
2014-02-28 nipkow 2014-02-28 added Rene Thiemann's patch for the nonterminating equality/subset test code for multisets
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