src/HOL/Library/Cancellation.thy
2017-02-16 fleury 2017-02-16 don't activate simproc on cancel_comm_monoid_add
2017-02-14 fleury 2017-02-14 cancellation simprocs generalising the multiset simprocs