equal
deleted
inserted
replaced
601 \begin{column}{3cm} |
601 \begin{column}{3cm} |
602 \begin{tabular}{@{\hspace{-7mm}}rrl@{}} |
602 \begin{tabular}{@{\hspace{-7mm}}rrl@{}} |
603 \bl{$v$} & \bl{$::=$} & \\ |
603 \bl{$v$} & \bl{$::=$} & \\ |
604 & & \bl{$Empty$} \\ |
604 & & \bl{$Empty$} \\ |
605 & \bl{$\mid$} & \bl{$Char(c)$} \\ |
605 & \bl{$\mid$} & \bl{$Char(c)$} \\ |
606 & \bl{$\mid$} & \bl{$Seq(v_1\,v_2)$}\\ |
606 & \bl{$\mid$} & \bl{$Seq(v_1,v_2)$}\\ |
607 & \bl{$\mid$} & \bl{$Left(v)$} \\ |
607 & \bl{$\mid$} & \bl{$Left(v)$} \\ |
608 & \bl{$\mid$} & \bl{$Right(v)$} \\ |
608 & \bl{$\mid$} & \bl{$Right(v)$} \\ |
609 & \bl{$\mid$} & \bl{$[]$} \\ |
609 & \bl{$\mid$} & \bl{$[]$} \\ |
610 & \bl{$\mid$} & \bl{$[v_1,\ldots\,v_n]$} \\ |
610 & \bl{$\mid$} & \bl{$[v_1,\ldots\,v_n]$} \\ |
611 \end{tabular} |
611 \end{tabular} |