# HG changeset patch
# User paulson
# Date 878732779 -3600
# Node ID 53f60f51333ca38256c90840d89ae3b1184bd328
# Parent  17a3a2c5a35f34f72b14f3abe383ebeb81b6e866
fixed comment

diff -r 17a3a2c5a35f -r 53f60f51333c src/HOL/Auth/OtwayRees_AN.ML
--- a/src/HOL/Auth/OtwayRees_AN.ML	Wed Nov 05 13:25:34 1997 +0100
+++ b/src/HOL/Auth/OtwayRees_AN.ML	Wed Nov 05 13:26:19 1997 +0100
@@ -179,7 +179,7 @@
 qed "analz_insert_freshK";
 
 
-(*** The Key K uniquely identifies the Server's  message. **)
+(*** The Key K uniquely identifies the Server's message. **)
 
 goal thy 
  "!!evs. evs : otway ==>                                            \