
diff -r c94eefffc3a5 -r d2bf12727c8a doc-src/TutorialI/Protocol/document/Message.tex
--- a/doc-src/TutorialI/Protocol/document/Message.tex	Mon Jun 16 17:54:51 2008 +0200
+++ b/doc-src/TutorialI/Protocol/document/Message.tex	Mon Jun 16 17:56:08 2008 +0200
@@ -1515,19 +1515,6 @@
 %
 \endisadelimML
 %
-\isadelimML
-%
-\endisadelimML
-%
-\isatagML
-%
-\endisatagML
-{\isafoldML}%
-%
-\isadelimML
-%
-\endisadelimML
-%
 \isadelimproof
 %
 \endisadelimproof




