src/HOL/Auth/ROOT.ML
author haftmann
Fri, 23 Oct 2009 17:12:47 +0200
changeset 33085 c1b6cc29496b
parent 32632 8ae912371831
child 41413 64cd30d6b0b8
permissions -rw-r--r--
merged
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1944
ea0f573b222b ROOT file for Auth directory
paulson
parents:
diff changeset
     1
32632
8ae912371831 added session entry point theories
haftmann
parents: 28098
diff changeset
     2
use_thys ["Auth_Shared", "Auth_Public", "Smartcard/Auth_Smartcard", "Guard/Auth_Guard_Shared", "Guard/Auth_Guard_Public"];