| Thu, 19 Oct 2023 17:06:39 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Tue, 14 Feb 2017 18:32:53 +0100 | fleury | cancellation simprocs generalising the multiset simprocs | file | diff | annotate |
| Mon, 05 Sep 2016 15:47:50 +0200 | fleury | add_mset constructor in multisets | file | diff | annotate |