doc-src/TutorialI/Protocol/document/Message.tex

--- a/doc-src/TutorialI/Protocol/document/Message.tex	Mon Jun 27 17:51:28 2011 +0200
+++ b/doc-src/TutorialI/Protocol/document/Message.tex	Mon Jun 27 22:20:49 2011 +0200
@@ -15,6 +15,19 @@
 %
 \endisadelimtheory
 %
+\isadelimML
+%
+\endisadelimML
+%
+\isatagML
+%
+\endisatagML
+{\isafoldML}%
+%
+\isadelimML
+%
+\endisadelimML
+%
 \isadelimproof
 %
 \endisadelimproof