deletions | additions       diff --git a/header.tex b/header.tex  index 31f65d3..9f752b7 100644  --- a/header.tex  +++ b/header.tex 
...
\def\naturale{\mathbb{N}}  \newcommand{\multime}[1]{\left\{ #1 \right\}}  \newcommand{\definitie}[1]{\textbf{#1}}  \newcommand{\ghilimele}[1]{``#1"}  \newtheorem{afirmatie}{Claim}  \newtheorem*{argument}{Argument}