src/HOL/NSA/document/root.tex

--- a/src/HOL/NSA/document/root.tex	Sun Nov 02 17:09:04 2014 +0100
+++ b/src/HOL/NSA/document/root.tex	Sun Nov 02 17:13:28 2014 +0100
@@ -19,8 +19,7 @@
 
 \newpage
 
-\renewcommand{\isamarkupheader}[1]%
-{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
+\renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}
 
 \parindent 0pt\parskip 0.5ex
 \input{session}