| Wed, 20 Oct 2021 18:13:17 +0200 | wenzelm | discontinued obsolete "val extend = I" for data slots; | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Tue, 01 May 2018 20:40:27 +0200 | wenzelm | clarified theory location and imports: avoid surprises due to Pure instead of Main (e.g. simpset operations); | file | diff | annotate | base |
| Tue, 13 Jul 2010 00:15:37 +0200 | krauss | generic ad-hoc overloading via check/uncheck | file | diff | annotate |