deletions | additions       diff --git a/header.tex b/header.tex  index 31f65d3..b46a619 100644  --- a/header.tex  +++ b/header.tex 
...
\newcommand{\ghilimele}[1]{``#1"}  \newtheorem{afirmatie}{Claim}  \newtheorem*{argument}{Argument}  \newtheorem{notatie}{Notation}