changeset 279 | f406c6677b8c |
parent 278 | c7890e677e06 |
child 280 | 267bd65b2e29 |
--- 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{$[]$} \\