# HG changeset patch
# User wenzelm
# Date 1213631768 -7200
# Node ID d2bf12727c8ac6e6ff738b1f8b77af7351b86585
# Parent  c94eefffc3a56fdfeb081dab33bb4432411e652a
updated generated file;

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