Binary file Slides/document/LambdaBook.jpg has changed

Binary file Slides/document/barendregt.jpg has changed

--- 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}