diff -r 76678ad5079d -r a61b50c5d57f coursework/cw05.tex --- a/coursework/cw05.tex Wed Dec 03 00:23:54 2014 +0000 +++ b/coursework/cw05.tex Fri Dec 05 01:00:34 2014 +0000 @@ -214,7 +214,7 @@ by (simp (no_asm) add: Star_def) blast qed \end{lstlisting} -\caption{An Isabelle proof about the function \pcode{zeroable}.\label{proof}} +\caption{An Isabelle proof about the function \texttt{zeroable}.\label{proof}} \end{figure} \end{document}