
diff -r 885ac2b6c27d -r f16120cb4e19 handouts/ho02.tex
--- a/handouts/ho02.tex	Thu Oct 01 22:51:32 2015 +0100
+++ b/handouts/ho02.tex	Thu Oct 01 23:09:20 2015 +0100
@@ -570,6 +570,8 @@
 
 \section*{Proofs}
 
+
+
 \end{document}
 
 




