1 files changed, 0 insertions, 2 deletions
diff --git a/header.tex b/header.tex
index 98eef2d..83d0e93 100755
--- a/header.tex
+++ b/header.tex
@@ -42,8 +42,6 @@
 \definecolor{darkred}{rgb}{.5,0,0}
 \definecolor{darkgreen}{rgb}{0,.5,0}
 \definecolor{darkblue}{rgb}{0,0,.5}
-% \newcommand{\red}[1]{\textcolor{darkred}{#1}}
-% \newcommand{\green}[1]{\textcolor{darkgreen}{#1}}
 
 \newtheorem{proposition}{Proposition}