# HG changeset patch
# User wenzelm
# Date 939503881 -7200
# Node ID 76cffd7dff2ee7a106ce65134e7317e8240b9d43
# Parent  2840e885752314e1103b69b5ab20bcfa27da6d30
improved;

diff -r 2840e8857523 -r 76cffd7dff2e 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