| Thu, 19 Oct 2023 17:06:39 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Tue, 04 Jun 2019 20:49:33 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Tue, 04 Apr 2017 15:05:00 +0200 | wenzelm | tuned headers; | file | diff | annotate |
| Tue, 14 Feb 2017 18:32:53 +0100 | fleury | cancellation simprocs generalising the multiset simprocs | file | diff | annotate |