src/HOL/Library/Tree_Multiset.thy
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