diff options
Diffstat (limited to 'defmeta.tex')
-rw-r--r-- | defmeta.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/defmeta.tex b/defmeta.tex index 05a1de1..b319c51 100644 --- a/defmeta.tex +++ b/defmeta.tex @@ -1,7 +1,7 @@ % vim: set spelllang=nl: \subsection{Metavariabelen} \label{sec:def:meta} -We zullen de volgende metavariabelen gebruiken: +We gebruiken de volgende metavariabelen: \begin{description}[labelindent=\parindent] \item[$a$] voor typen, |