# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1413178209 -3600
# Node ID f406c6677b8c114b29de1ef408d6b98081a1740d
# Parent  c7890e677e06eb98ee5a4b805e95403c78d39062
updated

diff -r c7890e677e06 -r f406c6677b8c slides/slides04.pdf
Binary file slides/slides04.pdf has changed
diff -r c7890e677e06 -r f406c6677b8c slides/slides04.tex
--- a/slides/slides04.tex	Mon Oct 13 06:28:27 2014 +0100
+++ b/slides/slides04.tex	Mon Oct 13 06:30:09 2014 +0100
@@ -603,7 +603,7 @@
   \bl{$v$} & \bl{$::=$}  & \\
            &             & \bl{$Empty$}   \\
            & \bl{$\mid$} & \bl{$Char(c)$}          \\
-           & \bl{$\mid$} & \bl{$Seq(v_1\,v_2)$}\\
+           & \bl{$\mid$} & \bl{$Seq(v_1,v_2)$}\\
            & \bl{$\mid$} & \bl{$Left(v)$}   \\
            & \bl{$\mid$} & \bl{$Right(v)$}  \\
            & \bl{$\mid$} & \bl{$[]$}      \\