
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}




