src/HOL/Library/DAList_Multiset.thy
17 months ago wenzelm 2018-01-12 prefer formal comments;
17 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
24 months ago haftmann 2017-06-20 avoid ancient [code, code del] antipattern
2016-12-17 haftmann 2016-12-17 standardized notation
2016-09-09 nipkow 2016-09-09 msetsum -> set_mset, msetprod -> prod_mset
2016-09-05 fleury 2016-09-05 add_mset constructor in multisets
2016-06-17 fleury 2016-06-17 normalising multiset theorem names
2016-06-01 eberlm 2016-06-01 Tuned code equations for mappings and PMFs
2016-04-25 wenzelm 2016-04-25 eliminated old 'def'; tuned comments;
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
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