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

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