src/HOL/Auth/ZhouGollmann.thy
changeset 14207 f20fbb141673
parent 14146 0edd2d57eaf8
child 14736 7104394df99a
     1.1 --- a/src/HOL/Auth/ZhouGollmann.thy	Fri Sep 26 10:32:26 2003 +0200
     1.2 +++ b/src/HOL/Auth/ZhouGollmann.thy	Fri Sep 26 10:34:28 2003 +0200
     1.3 @@ -16,7 +16,7 @@
     1.4    TTP :: agent
     1.5  
     1.6  translations
     1.7 -  "TTP" == "Server"
     1.8 +  "TTP" == "Server "
     1.9  
    1.10  syntax
    1.11    f_sub :: nat