cleaned up code

[sec1415.git] / project.tex

diff --git a/project.tex b/project.tex
index 20c24e4..a1fed4e 100644 (file)
--- a/project.tex
+++ b/project.tex
@@ -6,6 +6,7 @@
 \usepackage{amssymb}
 \usepackage{graphicx}
 \usepackage{xcolor}
+\usepackage{proof}
 
 \graphicspath{{./img/}}