summaryrefslogtreecommitdiff
path: root/def.tex
blob: 79079e3f0e71f652c5a643e7b783b25955bf7209 (plain) (blame)
1
2
3
4
5
6
7
8
9
% vim: set spelllang=nl:
\section{Definities}
\label{sec:def}

\input{defsyn}
\input{defio}
\input{defstate}
\input{deftrans}