src/HOL/Isar_examples/document/style.tex
changeset 7968 964b65b4e433
parent 7874 180364256231
child 7982 d534b897ce39
--- a/src/HOL/Isar_examples/document/style.tex	Thu Oct 28 19:53:24 1999 +0200
+++ b/src/HOL/Isar_examples/document/style.tex	Thu Oct 28 19:57:34 1999 +0200
@@ -22,6 +22,7 @@
 \newcommand{\impl}{\rightarrow}
 \newcommand{\conj}{\land}
 \newcommand{\disj}{\lor}
+\newcommand{\Impl}{\Longrightarrow}
 
 %%% Local Variables: 
 %%% mode: latex