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
|