
diff -r 4755ad4b457b -r 8890852e18b7 coursework/cw05.tex
--- a/coursework/cw05.tex	Fri Sep 25 20:59:24 2015 +0100
+++ b/coursework/cw05.tex	Mon Sep 28 23:47:34 2015 +0100
@@ -7,7 +7,8 @@
 \section*{Coursework (Strand 2)}
 
 \noindent This coursework is worth 25\% and is due on 11
-December at 16:00. You are asked to prove the correctness of a
+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 Isabelle theorem prover is




