src/HOL/Library/DAList_Multiset.thy
2015-09-04 wenzelm 2015-09-04 modernized name space management -- more uniform qualification;
2015-07-06 wenzelm 2015-07-06 tuned proofs;
2015-06-19 nipkow 2015-06-19 renamed multiset_of -> mset
2015-06-17 nipkow 2015-06-17 renamed Multiset.set_of to the canonical set_mset
2015-06-10 Mathias Fleury 2015-06-10 Renaming multiset operators < ~> <#,...
2015-04-10 nipkow 2015-04-10 renamed Multiset.fold -> fold_mset, Multiset.filter -> filter_mset
2015-04-07 nipkow 2015-04-07 Removed mcard because it is equal to size
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-10-28 wenzelm 2014-10-28 tuned proofs; tuned white space; more symbols;
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