1 \documentclass{article}

     2 \documentclass{article}

     2 \usepackage{../style}

     3 \usepackage{../style}

     3 \usepackage{../langs}

     4 \usepackage{../langs}

     4 

     5 

     5 \begin{document}

     6 \begin{document}

     6 

     7 

     7 \section*{Coursework (Strand 2)}

     8 \section*{Coursework (Strand 2)}

     8 

     9 

    10 18:00. You are asked to prove the correctness of the regular

    11 18:00. You are asked to prove the correctness of the regular

    11 expression matcher from the lectures using the Isabelle theorem

    12 expression matcher from the lectures using the Isabelle theorem

    12 prover. You need to submit a theory file containing this proof. The

    13 prover. You need to submit a theory file containing this proof. The

    13 Isabelle theorem prover is available from

    14 Isabelle theorem prover is available from

    14 

    15