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;
wenzelm@41413
     1
use_thys [
wenzelm@41413
     2
  "Auth_Shared",
wenzelm@41413
     3
  "Auth_Public",
wenzelm@41413
     4
  "Smartcard/Auth_Smartcard",
wenzelm@41413
     5
  "Guard/Auth_Guard_Shared",
wenzelm@41413
     6
  "Guard/Auth_Guard_Public"
wenzelm@41413
     7
];