src/HOL/Auth/Yahalom2.thy
changeset 13956 8fe7e12290e1
parent 13926 6e62e5357a10
child 14200 d8598e24f8fa
     1.1 --- a/src/HOL/Auth/Yahalom2.thy	Mon May 05 15:55:56 2003 +0200
     1.2 +++ b/src/HOL/Auth/Yahalom2.thy	Mon May 05 18:22:01 2003 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4    Proc. Royal Soc. 426 (1989)
     1.5  *)
     1.6  
     1.7 -header{*Inductive Analysis of the Yahalom protocol, Variant 2*}
     1.8 +header{*The Yahalom Protocol, Variant 2*}
     1.9  
    1.10  theory Yahalom2 = Shared:
    1.11