# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1327426987 0
# Node ID f4112721a4b9e41cde245802c147db5bda3b3492
# Parent  e4050732ba15109ffea4f90a7d983115623f4911
repaired all slides

diff -r e4050732ba15 -r f4112721a4b9 Slides/document/LambdaBook.jpg
Binary file Slides/document/LambdaBook.jpg has changed
diff -r e4050732ba15 -r f4112721a4b9 Slides/document/barendregt.jpg
Binary file Slides/document/barendregt.jpg has changed
diff -r e4050732ba15 -r f4112721a4b9 Slides/document/root.tex
--- a/Slides/document/root.tex	Tue Jan 24 16:51:01 2012 +0000
+++ b/Slides/document/root.tex	Tue Jan 24 17:43:07 2012 +0000
@@ -63,7 +63,8 @@
 \renewcommand{\isasymdots}{\isamath{...}}
 \renewcommand{\isasymbullet}{\act}
 \renewcommand{\isasymequiv}{$\dn$}
-
+\renewcommand{\isasymtau}{}
+\renewcommand{\isasymrightarrow}{$\Rightarrow$}
 % mathpatir
 %%\mprset{sep=1em}