% vim: set spelllang=nl:
\section{Definities}
\label{sec:def}

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