Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated generated file;
authorwenzelm
Mon, 16 Jun 2008 17:56:08 +0200
changeset 27238 d2bf12727c8a
parent 27237 c94eefffc3a5
child 27239 f2f42f9fa09d
updated generated file;
doc-src/TutorialI/Protocol/document/Message.tex file | annotate | diff | comparison | revisions 
--- 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
isabelle