fixed comment
authorpaulson
Wed Nov 05 13:26:19 1997 +0100 (1997-11-05)
changeset 415553f60f51333c
parent 4154 17a3a2c5a35f
child 4156 31251763848d
fixed comment
src/HOL/Auth/OtwayRees_AN.ML
     1.1 --- a/src/HOL/Auth/OtwayRees_AN.ML	Wed Nov 05 13:25:34 1997 +0100
     1.2 +++ b/src/HOL/Auth/OtwayRees_AN.ML	Wed Nov 05 13:26:19 1997 +0100
     1.3 @@ -179,7 +179,7 @@
     1.4  qed "analz_insert_freshK";
     1.5  
     1.6  
     1.7 -(*** The Key K uniquely identifies the Server's  message. **)
     1.8 +(*** The Key K uniquely identifies the Server's message. **)
     1.9  
    1.10  goal thy 
    1.11   "!!evs. evs : otway ==>                                            \