src/HOL/Auth/Auth_Shared.thy
2015-12-10 wenzelm 2015-12-10 isabelle update_cartouches -c -t;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2009-09-21 haftmann 2009-09-21 added session entry point theories