--- a/coursework/cw05.tex	Thu Sep 24 15:58:48 2015 +0100
+++ b/coursework/cw05.tex	Thu Sep 24 22:52:10 2015 +0100
@@ -6,7 +6,7 @@
 
 \section*{Coursework (Strand 2)}
 
-\noindent This coursework is worth 25\% and is due on 12
+\noindent This coursework is worth 25\% and is due on 11
 December at 16:00. You are asked to prove the correctness of a
 regular expression matcher from the lectures using the
 Isabelle theorem prover. You need to submit a theory file