
diff -r fef1df4268d6 -r be4d203d35b3 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}




