History log of /seL4-l4v-master/isabelle/src/HOL/Auth/Smartcard/Auth_Smartcard.thy
Revision Date Author Comments
# 4b78a5bd 21-Apr-2017 wenzelm <none@none>

tuned imports;
# feca4ab8 10-Dec-2015 wenzelm <none@none>

isabelle update_cartouches -c -t;
# 794edf80 02-Nov-2014 wenzelm <none@none>

modernized header uniformly as section;
# 78c1f203 21-Sep-2009 haftmann <none@none>

added session entry point theories

--HG--
rename : src/HOL/Auth/ROOT.ML => src/HOL/Auth/Auth_Public.thy
rename : src/HOL/Auth/ROOT.ML => src/HOL/Auth/Auth_Shared.thy
rename : src/HOL/Auth/ROOT.ML => src/HOL/Auth/Guard/Auth_Guard_Public.thy
rename : src/HOL/Auth/ROOT.ML => src/HOL/Auth/Guard/Auth_Guard_Shared.thy
rename : src/HOL/Auth/ROOT.ML => src/HOL/Auth/Smartcard/Auth_Smartcard.thy