src/HOL/Auth/Smartcard/Auth_Smartcard.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