--- a/coursework/cw05.tex	Tue Sep 26 14:07:29 2017 +0100
+++ b/coursework/cw05.tex	Tue Sep 26 14:08:49 2017 +0100
@@ -6,7 +6,7 @@
 
 \section*{Coursework (Strand 2)}
 
-\noindent This coursework is worth 20\% and is due on 13 December at
+\noindent This coursework is worth 20\% and is due on 7 December at
 16:00. You are asked to prove the correctness of the regular
 expression matcher from the lectures using the Isabelle theorem
 prover. You need to submit a theory file containing this proof. The