--- a/coursework/cw01.tex Sat Oct 11 13:54:18 2014 +0100
+++ b/coursework/cw01.tex Sun Oct 12 19:39:55 2014 +0100
@@ -123,13 +123,14 @@
rules:
\begin{center}
-\begin{tabular}{l@{\hspace{2mm}}c@{\hspace{2mm}}l}
+\begin{tabular}{l@{\hspace{2mm}}c@{\hspace{2mm}}ll}
$r \cdot \varnothing$ & $\mapsto$ & $\varnothing$\\
$\varnothing \cdot r$ & $\mapsto$ & $\varnothing$\\
$r \cdot \epsilon$ & $\mapsto$ & $r$\\
$\epsilon \cdot r$ & $\mapsto$ & $r$\\
$r + \varnothing$ & $\mapsto$ & $r$\\
$\varnothing + r$ & $\mapsto$ & $r$\\
+$r + r$ & $\mapsto$ & $r$ & (added on 12 October)\\
\end{tabular}
\end{center}