src/HOL/Auth/Auth_Shared.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2009-09-21 haftmann 2009-09-21 added session entry point theories