# HG changeset patch
# User wenzelm
# Date 1414945642 -3600
# Node ID fef1df4268d60de9c1d74cd2e5a8f7239eabf28b
# Parent  6e2010ab8bd94dc07d110823d84bfaa1cfaaad5b
obsolete;

diff -r 6e2010ab8bd9 -r fef1df4268d6 src/HOL/Hoare/document/root.tex
--- a/src/HOL/Hoare/document/root.tex	Sun Nov 02 17:23:48 2014 +0100
+++ b/src/HOL/Hoare/document/root.tex	Sun Nov 02 17:27:22 2014 +0100
@@ -7,8 +7,6 @@
 \urlstyle{rm}
 \isabellestyle{it}
 
-\renewcommand{\isamarkupheader}[1]{#1}
-
 \begin{document}
 
 \title{Hoare Logic}