src/HOL/Library/multiset_simprocs.ML
6 months ago wenzelm 2019-01-04 isabelle update -u control_cartouches;
2017-02-14 fleury 2017-02-14 cancellation simprocs generalising the multiset simprocs
2016-09-05 fleury 2016-09-05 add_mset constructor in multisets