| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Mon, 19 Feb 2018 14:49:11 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 06 Dec 2017 20:43:09 +0100 | wenzelm | prefer control symbol antiquotations; | file | diff | annotate |
| Mon, 11 Sep 2017 18:36:13 +0200 | wenzelm | clarified signature: proper result; | file | diff | annotate |