--- a/doc-src/IsarOverview/Isar/document/Logic.tex Thu Oct 01 20:13:32 2009 +0200
+++ b/doc-src/IsarOverview/Isar/document/Logic.tex Thu Oct 01 20:20:45 2009 +0200
@@ -1228,19 +1228,6 @@
decompose goals and facts. This can lead to very tedious proofs:%
\end{isamarkuptext}%
\isamarkuptrue%
-%
-\isadelimML
-%
-\endisadelimML
-%
-\isatagML
-%
-\endisatagML
-{\isafoldML}%
-%
-\isadelimML
-%
-\endisadelimML
\isacommand{lemma}\isamarkupfalse%
\ {\isachardoublequoteopen}{\isasymforall}x\ y{\isachardot}\ A\ x\ y\ {\isasymand}\ B\ x\ y\ {\isasymlongrightarrow}\ C\ x\ y{\isachardoublequoteclose}\isanewline
%