deletions | additions       diff --git a/header.tex b/header.tex  index 37d175e..868ecda 100644  --- a/header.tex  +++ b/header.tex 
...
\usepackage[dvipsnames,tables]{xcolor}  \newtheorem{theorem}{Theorem}  \newtheorem{proof}{Proof} \newtheorem{thm}{Theorem}  \newtheorem{defn}{Definition}  \newtheorem{prob}{Problem}