Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper latex setup;
authorwenzelm
Wed, 30 Dec 2015 17:18:32 +0100
changeset 61978 7ab2dc7ba8f8
parent 61977 f55f28132128
child 61979 d68b705719ce
proper latex setup;
src/HOL/Proofs/Lambda/document/root.tex file | annotate | diff | comparison | revisions 
--- 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}
isabelle