| Sun, 06 Jan 2019 15:04:34 +0100 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| 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 |