src/HOL/Isar_examples/document/style.tex

--- a/src/HOL/Isar_examples/document/style.tex	Sat Oct 09 23:17:47 1999 +0200
+++ b/src/HOL/Isar_examples/document/style.tex	Sat Oct 09 23:18:01 1999 +0200
@@ -20,6 +20,9 @@
 \newcommand{\lam}[1]{\mathop{\lambda} #1\dt\;}
 \newcommand{\all}[1]{\forall #1\dt\;}
 \newcommand{\ex}[1]{\exists #1\dt\;}
+\newcommand{\impl}{\rightarrow}
+\newcommand{\conj}{\land}
+
 
 %%% Local Variables: 
 %%% mode: latex