| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Thu, 11 Sep 2014 19:45:42 +0200 | blanchet | tuning terminology | file | diff | annotate |
| Wed, 23 Apr 2014 10:23:26 +0200 | blanchet | generate size instances for new-style datatypes | file | diff | annotate |
| Mon, 24 Mar 2014 16:33:36 +0100 | traytel | inline helper function | file | diff | annotate |
| Fri, 21 Mar 2014 08:13:23 +0100 | traytel | simplified internal datatype construction | file | diff | annotate |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | adjusted comments | file | diff | annotate |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | avoid nested 'Tools' directories | file | diff | annotate | base |