2017-04-21 | wenzelm | tuned imports; | file | diff | annotate |
2015-12-10 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
2014-11-02 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
2009-09-21 | haftmann | added session entry point theories | file | diff | annotate | base |