deletions | additions       diff --git a/header.tex b/header.tex  index ad0463d..542991d 100644  --- a/header.tex  +++ b/header.tex 
...
\newtheorem{definitie}{Definitie}  \newtheorem{afirmatie}{Afirmatie}  \newtheorem{argument}{Argument} \newtheorem*{argument}{Argument}  \newtheorem{notatie}{Notatie}