src/HOL/document/root.tex

--- a/src/HOL/document/root.tex	Thu May 06 12:43:00 2004 +0200
+++ b/src/HOL/document/root.tex	Thu May 06 14:14:18 2004 +0200
@@ -24,8 +24,7 @@
 \newpage
 
 \renewcommand{\isamarkupheader}[1]%
-{\section{\isabellecontext: #1}%
-\markright{THEORY~``\isabellecontext''}}
+{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
 
 \parindent 0pt\parskip 0.5ex
 \input{session}