equal
deleted
inserted
replaced
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 11 |
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 |
|
11 the |
11 regular expression matcher from the lectures using the |
12 regular expression matcher from the lectures using the |
12 Isabelle theorem prover. You need to submit a theory file |
13 Isabelle theorem prover. You need to submit a theory file |
13 containing this proof. The Isabelle theorem prover is |
14 containing this proof. The Isabelle theorem prover is |
14 available from |
15 available from |
15 |
16 |