
diff -r 5989863ffafc -r afdf7808cfd0 doc-src/IsarRef/Thy/document/Generic.tex
--- a/doc-src/IsarRef/Thy/document/Generic.tex	Sat Feb 28 17:08:33 2009 +0100
+++ b/doc-src/IsarRef/Thy/document/Generic.tex	Sat Feb 28 17:09:32 2009 +0100
@@ -3,8 +3,6 @@
 \def\isabellecontext{Generic}%
 %
 \isadelimtheory
-\isanewline
-\isanewline
 %
 \endisadelimtheory
 %




