| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Thu, 26 May 2016 15:27:50 +0200 | haftmann | optional timing for code generator conversions | file | diff | annotate |
| Thu, 26 May 2016 15:27:50 +0200 | haftmann | corrected closure scope of static_conv_thingol; | file | diff | annotate |
| Thu, 26 May 2016 15:27:50 +0200 | haftmann | clarified names of variants | file | diff | annotate |
| Fri, 06 Mar 2015 23:52:14 +0100 | wenzelm | clarified context; | file | diff | annotate |
| Fri, 06 Mar 2015 15:58:56 +0100 | wenzelm | Thm.cterm_of and Thm.ctyp_of operate on local context; | file | diff | annotate |
| Fri, 09 Jan 2015 08:36:59 +0100 | haftmann | modernized and more uniform style | file | diff | annotate |