| Wed, 10 May 2017 19:11:20 +0200 | blanchet | tuning | file | diff | annotate |
| Thu, 16 Feb 2017 09:45:03 +0100 | fleury | don't activate simproc on cancel_comm_monoid_add | file | diff | annotate |
| Tue, 14 Feb 2017 18:32:53 +0100 | fleury | cancellation simprocs generalising the multiset simprocs | file | diff | annotate |