path: root/def.tex

\section{Definities}
\label{sec:def}

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