deletions | additions       diff --git a/header.tex b/header.tex  index 51136d1..6c4df6d 100644  --- a/header.tex  +++ b/header.tex 
...
\newtheorem{theorem}{Theorem}[section]  \newtheorem{proof}{Proof}   \newtheorem{definition}{Definition}  \newtheorem{example}{Example} % split long text in table cell  % see http://tex.stackexchange.com/a/19678/99685  \newcommand{\specialcell}[2][c]{  \begin{tabular}[#1]{@{}c@{}}#2\end{tabular}}