src/HOL/Auth/Guard/Guard_Shared.thy
changeset 41775 6214816d79d3
parent 41413 64cd30d6b0b8
child 56681 e8d5d60d655e
     1.1 --- a/src/HOL/Auth/Guard/Guard_Shared.thy	Fri Feb 18 15:46:13 2011 +0100
     1.2 +++ b/src/HOL/Auth/Guard/Guard_Shared.thy	Fri Feb 18 16:07:32 2011 +0100
     1.3 @@ -1,13 +1,7 @@
     1.4 -(******************************************************************************
     1.5 -date: march 2002
     1.6 -author: Frederic Blanqui
     1.7 -email: blanqui@lri.fr
     1.8 -webpage: http://www.lri.fr/~blanqui/
     1.9 -
    1.10 -University of Cambridge, Computer Laboratory
    1.11 -William Gates Building, JJ Thomson Avenue
    1.12 -Cambridge CB3 0FD, United Kingdom
    1.13 -******************************************************************************)
    1.14 +(*  Title:      HOL/Auth/Guard/Guard_Shared.thy
    1.15 +    Author:     Frederic Blanqui, University of Cambridge Computer Laboratory
    1.16 +    Copyright   2002  University of Cambridge
    1.17 +*)
    1.18  
    1.19  header{*lemmas on guarded messages for protocols with symmetric keys*}
    1.20