# HG changeset patch
# User wenzelm
# Date 1451492312 -3600
# Node ID 7ab2dc7ba8f8d5a76fa1468a87142187c2664531
# Parent  f55f28132128c9a58afd53918a02e39af8ab8a47
proper latex setup;

diff -r f55f28132128 -r 7ab2dc7ba8f8 src/HOL/Proofs/Lambda/document/root.tex
--- a/src/HOL/Proofs/Lambda/document/root.tex	Wed Dec 30 14:55:26 2015 +0100
+++ b/src/HOL/Proofs/Lambda/document/root.tex	Wed Dec 30 17:18:32 2015 +0100
@@ -7,7 +7,6 @@
 
 \isabellestyle{it}
 \renewcommand{\isamarkupsubsubsection}[1]{\subsubsection*{#1}}
-\newcommand{\isasymRrightarrow}{\isamath{\Rrightarrow}}
 
 \begin{document}