--- a/doc-src/System/Thy/document/Basics.tex Mon Jul 20 19:58:11 2009 +0200
+++ b/doc-src/System/Thy/document/Basics.tex Mon Jul 20 20:03:19 2009 +0200
@@ -3,8 +3,6 @@
\def\isabellecontext{Basics}%
%
\isadelimtheory
-\isanewline
-\isanewline
%
\endisadelimtheory
%