update presentation, the body is there

[msc-thesis1617.git] / presentation.pre

diff --git a/presentation.pre b/presentation.pre
index 35ade65..98a4af6 100644 (file)
--- a/presentation.pre
+++ b/presentation.pre
@@ -41,7 +41,6 @@
        literate=%
                % Basic Clean constructs
                {\\}{{$\lambda\:$}}1
-               {->}{{$\rightarrow\:$}}1
                {A.}{{$\forall\;\,$}}1
                {E.}{{$\exists\;\,$}}1
                {*}{{$^*$}}1