# HG changeset patch
# User paulson
# Date 854012128 -3600
# Node ID c55f68761a8df0994f8ae1f099d62ba16b8adaf7
# Parent  906704a5b3bf7aace03d5f27ae96f0a3bd8a6e8a
Mended spelling error

diff -r 906704a5b3bf -r c55f68761a8d src/HOL/Auth/NS_Public.thy
--- a/src/HOL/Auth/NS_Public.thy	Thu Jan 23 10:35:03 1997 +0100
+++ b/src/HOL/Auth/NS_Public.thy	Thu Jan 23 10:35:28 1997 +0100
@@ -4,7 +4,7 @@
     Copyright   1996  University of Cambridge
 
 Inductive relation "ns_public" for the Needham-Schroeder Public-Key protocol.
-Version incorporating Lowe's fix (inclusion of B's identify in round 2).
+Version incorporating Lowe's fix (inclusion of B's identity in round 2).
 *)
 
 NS_Public = Public +