more elaborate header markup;

--- a/src/HOL/document/root.tex	Fri Apr 16 21:00:36 2004 +0200
+++ b/src/HOL/document/root.tex	Fri Apr 16 21:00:53 2004 +0200
@@ -8,6 +8,7 @@
 
 \urlstyle{rm}
 \isabellestyle{it}
+\pagestyle{myheadings}
 
 \begin{document}
 
@@ -22,6 +23,10 @@
 
 \newpage
 
+\renewcommand{\isamarkupheader}[1]%
+{\section{\isabellecontext: #1}%
+\markright{THEORY~``\isabellecontext''}}
+
 \parindent 0pt\parskip 0.5ex
 \input{session}