doc-src/IsarRef/Thy/document/HOLCF_Specific.tex

--- a/doc-src/IsarRef/Thy/document/HOLCF_Specific.tex	Wed Mar 04 10:43:39 2009 +0100
+++ b/doc-src/IsarRef/Thy/document/HOLCF_Specific.tex	Wed Mar 04 10:45:52 2009 +0100
@@ -3,8 +3,6 @@
 \def\isabellecontext{HOLCF{\isacharunderscore}Specific}%
 %
 \isadelimtheory
-\isanewline
-\isanewline
 %
 \endisadelimtheory
 %