diff -r be4d203d35b3 -r 47fdd4f40d00 src/Doc/Prog_Prove/document/prelude.tex
--- a/src/Doc/Prog_Prove/document/prelude.tex	Sun Nov 02 17:36:52 2014 +0100
+++ b/src/Doc/Prog_Prove/document/prelude.tex	Sun Nov 02 17:39:52 2014 +0100
@@ -41,7 +41,6 @@
 \renewcommand{\sectionautorefname}{Section}
 \renewcommand{\subsectionautorefname}{Section}
 
-\renewcommand{\isamarkupheader}[1]{{\rmfamily\subsection{#1}}}
 \renewcommand{\isamarkupsection}[1]{{\rmfamily\subsection{#1}}}
 \renewcommand{\isamarkupsubsection}[1]{{\rmfamily\subsubsection{#1}}}
 % isabelle in-text command font