deletions | additions       diff --git a/header.tex b/header.tex  index e743db3..5c21fb5 100644  --- a/header.tex  +++ b/header.tex 
...
\usepackage[dvipsnames,tables]{xcolor}  \usepackage{amsmath}  \usepackage[all]{xy}  \DeclareMathOperator*{\hocolim}{hocolim}  \newtheorem{thm}{Theorem}  \newtheorem{defn}{Definition}  \newtheorem{prob}{Problem}