| Mon, 16 Jan 2017 21:53:44 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 19 Oct 2016 16:30:24 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 15 Oct 2016 11:38:03 +0200 | wenzelm | prefer Isabelle standard Path; | file | diff | annotate |
| Wed, 12 Oct 2016 10:22:34 +0200 | wenzelm | explicit indication of Admin tools; | file | diff | annotate | base |