src/HOL/Library/Multiset_Order.thy
20 months ago blanchet 2017-11-07 added FIXMEs
2017-04-21 blanchet 2017-04-21 moved lemmas from AFP to Isabelle
2017-02-16 fleury 2017-02-16 use the cancellation simprocs directly
2017-02-13 fleury 2017-02-13 adding simplification patterns to multiset simprocs
2017-02-13 fleury 2017-02-13 renaming multiset simprocs
2017-02-02 blanchet 2017-02-02 added veriT preprocessing proof reconstruction example
2016-12-17 haftmann 2016-12-17 standardized notation
2016-10-27 fleury 2016-10-27 more lemmas
2016-10-07 fleury 2016-10-07 tuning multisets
2016-09-05 fleury 2016-09-05 add_mset constructor in multisets
2016-07-20 fleury 2016-07-20 more instantiations for multiset
2016-07-07 fleury 2016-07-07 more instantiations for multiset
2016-07-07 blanchet 2016-07-07 moved lemmas and locales around (with minor incompatibilities)
2016-07-06 blanchet 2016-07-06 leverage new 'order' type class instantiation in multiset
2016-07-05 fleury 2016-07-05 instantiate multiset with multiset ordering
2016-06-17 fleury 2016-06-17 normalising multiset theorem names
2016-04-25 wenzelm 2016-04-25 eliminated old 'def'; tuned comments;
2016-02-26 haftmann 2016-02-26 more succint formulation of membership for multisets, similar to lists; discontinued ASCII notation for multiset membership; more theorems on multisets, dropping redundant interpretation; modernized notation; some annotations concerning future work
2015-10-13 haftmann 2015-10-13 prod_case as canonical name for product type eliminator
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