src/HOL/Auth/Guard/Guard_Shared.thy
changeset 41413 64cd30d6b0b8
parent 35416 d8d7d1b785af
child 41775 6214816d79d3
     1.1 --- a/src/HOL/Auth/Guard/Guard_Shared.thy	Wed Dec 29 13:51:17 2010 +0100
     1.2 +++ b/src/HOL/Auth/Guard/Guard_Shared.thy	Wed Dec 29 17:34:41 2010 +0100
     1.3 @@ -11,7 +11,7 @@
     1.4  
     1.5  header{*lemmas on guarded messages for protocols with symmetric keys*}
     1.6  
     1.7 -theory Guard_Shared imports Guard GuardK Shared begin
     1.8 +theory Guard_Shared imports Guard GuardK "../Shared" begin
     1.9  
    1.10  subsection{*Extensions to Theory @{text Shared}*}
    1.11