src/HOL/Auth/Guard/Auth_Guard_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