src/HOL/Auth/OtwayRees_AN.ML
changeset 4155 53f60f51333c
parent 4091 771b1f6422a8
child 4422 21238c9d363e
     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 ==>                                            \