src/HOL/Auth/Yahalom2.thy

--- a/src/HOL/Auth/Yahalom2.thy	Thu Jan 08 18:09:47 1998 +0100
+++ b/src/HOL/Auth/Yahalom2.thy	Thu Jan 08 18:10:34 1998 +0100
@@ -68,6 +68,6 @@
              Says Server A {|Nonce NB, 
                              Crypt (shrK A) {|Agent B, Key K, Nonce NA|},
                              X|}  : set evso |]
-          ==> Says A Spy {|Nonce NA, Nonce NB, Key K|} # evso : yahalom"
+          ==> Notes Spy {|Nonce NA, Nonce NB, Key K|} # evso : yahalom"
 
 end