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