| Mon, 29 Jul 2019 11:09:37 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 29 Jul 2019 10:26:12 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Mon, 12 Dec 2016 11:33:14 +0100 | wenzelm | proper session HOL-Types_To_Sets; | file | diff | annotate |