src/HOL/Auth/ROOT.ML
author wenzelm
Wed Dec 29 17:34:41 2010 +0100 (2010-12-29)
changeset 41413 64cd30d6b0b8
parent 32632 8ae912371831
permissions -rw-r--r--
explicit file specifications -- avoid secondary load path;
     1 use_thys [
     2   "Auth_Shared",
     3   "Auth_Public",
     4   "Smartcard/Auth_Smartcard",
     5   "Guard/Auth_Guard_Shared",
     6   "Guard/Auth_Guard_Public"
     7 ];