diff -r 8ab1d3e73bb1 -r 8fe7e12290e1 src/HOL/Auth/Yahalom2.thy
--- 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: