src/HOL/Auth/Auth_Shared.thy
Fri, 21 Apr 2017 16:48:58 +0200 wenzelm tuned imports;
Thu, 10 Dec 2015 21:39:33 +0100 wenzelm isabelle update_cartouches -c -t;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Mon, 21 Sep 2009 15:33:40 +0200 haftmann added session entry point theories
less more (0) tip