deletions | additions       diff --git a/header.tex b/header.tex  index 83a53ca..16aaf8f 100644  --- a/header.tex  +++ b/header.tex 
...
\newcommand{\multime}[1]{\left\{ #1 \right\}}  \newcommand{\definitie}[1]{\textbf{#1}}  \newtheorem{definitie}{Definition}  \newtheorem{afirmatie}{Claim}  \newtheorem*{argument}{Argument}  \newtheorem{notatie}{Notation}