src/HOL/Library/Tree_Multiset.thy
6 months ago wenzelm 2019-01-04 isabelle update -u control_cartouches;
13 months ago wenzelm 2018-06-22 clarified document antiquotation @{theory};
22 months ago nipkow 2017-08-30 added lemma
2016-09-13 nipkow 2016-09-13 reorganization, more funs and lemmas
2015-07-28 nipkow 2015-07-28 depth -> height; removed del_rightmost (too specifi)
2015-06-19 nipkow 2015-06-19 renamed multiset_of -> mset
2015-06-17 nipkow 2015-06-17 merged
2015-06-17 nipkow 2015-06-17 added funs and lemmas
2015-06-17 wenzelm 2015-06-17 manual merge;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-06-17 nipkow 2015-06-17 renamed Multiset.set_of to the canonical set_mset
2015-04-06 nipkow 2015-04-06 new theory Library/Tree_Multiset.thy