diff -r f81e11391562 -r 911addd19e9f src/HOL/HOLCF/Tutorial/document/root.tex
--- 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}