--- a/src/HOL/Algebra/document/root.tex Sat Nov 01 20:19:07 2014 +0100
+++ b/src/HOL/Algebra/document/root.tex Sun Nov 02 13:26:20 2014 +0100
@@ -31,9 +31,6 @@
\clearpage
-%\renewcommand{\isamarkupheader}[1]%
-%{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
-
\parindent 0pt\parskip 0.5ex
\input{session}
--- a/src/HOL/HOLCF/Tutorial/document/root.tex Sat Nov 01 20:19:07 2014 +0100
+++ b/src/HOL/HOLCF/Tutorial/document/root.tex Sun Nov 02 13:26:20 2014 +0100
@@ -8,7 +8,6 @@
\usepackage{pdfsetup}
\urlstyle{rm}
-%\isabellestyle{it}
\pagestyle{myheadings}
\begin{document}
@@ -18,11 +17,6 @@
\tableofcontents
-%\newpage
-
-%\renewcommand{\isamarkupheader}[1]%
-%{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
-
\parindent 0pt\parskip 0.5ex
\input{session}