src/HOL/Auth/ROOT.ML
changeset 41413 64cd30d6b0b8
parent 32632 8ae912371831
     1.1 --- a/src/HOL/Auth/ROOT.ML	Wed Dec 29 13:51:17 2010 +0100
     1.2 +++ b/src/HOL/Auth/ROOT.ML	Wed Dec 29 17:34:41 2010 +0100
     1.3 @@ -1,2 +1,7 @@
     1.4 -
     1.5 -use_thys ["Auth_Shared", "Auth_Public", "Smartcard/Auth_Smartcard", "Guard/Auth_Guard_Shared", "Guard/Auth_Guard_Public"];
     1.6 +use_thys [
     1.7 +  "Auth_Shared",
     1.8 +  "Auth_Public",
     1.9 +  "Smartcard/Auth_Smartcard",
    1.10 +  "Guard/Auth_Guard_Shared",
    1.11 +  "Guard/Auth_Guard_Public"
    1.12 +];