src/HOL/Auth/Auth_Shared.thy
2017-04-21 wenzelm tuned imports;
2015-12-10 wenzelm isabelle update_cartouches -c -t;
2014-11-02 wenzelm modernized header uniformly as section;
2009-09-21 haftmann added session entry point theories
less more (0) tip