
diff -r 77bf175f5145 -r f20fbb141673 src/HOL/Auth/ZhouGollmann.thy
--- a/src/HOL/Auth/ZhouGollmann.thy	Fri Sep 26 10:32:26 2003 +0200
+++ b/src/HOL/Auth/ZhouGollmann.thy	Fri Sep 26 10:34:28 2003 +0200
@@ -16,7 +16,7 @@
   TTP :: agent
 
 translations
-  "TTP" == "Server"
+  "TTP" == "Server "
 
 syntax
   f_sub :: nat




