doc-src/TutorialI/Protocol/Message.thy

--- a/doc-src/TutorialI/Protocol/Message.thy	Thu Nov 08 13:23:36 2007 +0100
+++ b/doc-src/TutorialI/Protocol/Message.thy	Thu Nov 08 13:23:47 2007 +0100
@@ -34,7 +34,7 @@
 *}
 
 types key = nat
-consts invKey :: "key=>key"
+consts invKey :: "key \<Rightarrow> key"
 (*<*)
 consts all_symmetric :: bool        --{*true if all keys are symmetric*}