src/HOL/Library/Multiset_Order.thy
2015-09-01 wenzelm 2015-09-01 eliminated \<Colon>;
2015-07-06 wenzelm 2015-07-06 tuned proofs;
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-06-10 Mathias Fleury 2015-06-10 Renaming multiset operators < ~> <#,...
2015-04-08 blanchet 2015-04-08 renamed multiset ordering to free up nice <# etc. symbols for the standard subset
2015-03-26 haftmann 2015-03-26 restored broken metis proof
2015-03-25 blanchet 2015-03-25 more multiset theorems