equal
deleted
inserted
replaced
4 |
4 |
5 \begin{document} |
5 \begin{document} |
6 |
6 |
7 \section*{Coursework (Strand 2)} |
7 \section*{Coursework (Strand 2)} |
8 |
8 |
9 \noindent This coursework is worth 25\% and is due on 12 |
9 \noindent This coursework is worth 25\% and is due on 11 |
10 December at 16:00. You are asked to prove the correctness of a |
10 December at 16:00. You are asked to prove the correctness of a |
11 regular expression matcher from the lectures using the |
11 regular expression matcher from the lectures using the |
12 Isabelle theorem prover. You need to submit a theory file |
12 Isabelle theorem prover. You need to submit a theory file |
13 containing this proof. The Isabelle theorem prover is |
13 containing this proof. The Isabelle theorem prover is |
14 available from |
14 available from |