--- a/doc-src/IsarRef/Thy/document/ML_Tactic.tex Sat Feb 28 17:08:33 2009 +0100
+++ b/doc-src/IsarRef/Thy/document/ML_Tactic.tex Sat Feb 28 17:09:32 2009 +0100
@@ -3,8 +3,6 @@
\def\isabellecontext{ML{\isacharunderscore}Tactic}%
%
\isadelimtheory
-\isanewline
-\isanewline
%
\endisadelimtheory
%