src/HOL/Hoare_Parallel/document/root.tex

--- a/src/HOL/Hoare_Parallel/document/root.tex	Sun Nov 02 17:27:22 2014 +0100
+++ b/src/HOL/Hoare_Parallel/document/root.tex	Sun Nov 02 17:36:52 2014 +0100
@@ -7,8 +7,6 @@
 \urlstyle{rm}
 \isabellestyle{it}
 
-\renewcommand{\isamarkupheader}[1]{#1}
-
 \begin{document}
 
 \title{Hoare Logic for Parallel Programs}