| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Wed, 14 Nov 2018 13:45:09 -0500 | immler | generalized local_typedef_ab_group_add | file | diff | annotate |
| Wed, 14 Nov 2018 01:31:55 +0000 | immler | use locales in Group_On_With | file | diff | annotate |
| Mon, 12 Dec 2016 11:33:14 +0100 | wenzelm | proper session HOL-Types_To_Sets; | file | diff | annotate |