| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Wed, 29 Oct 2014 13:42:38 +0100 | wenzelm | modernized setup; | file | diff | annotate |
| Sat, 16 Aug 2014 19:20:11 +0200 | wenzelm | updated to named_theorems; | file | diff | annotate |