diff options
Diffstat (limited to 'werkstuk.tex')
-rw-r--r-- | werkstuk.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/werkstuk.tex b/werkstuk.tex index 7f197d8..72613b9 100644 --- a/werkstuk.tex +++ b/werkstuk.tex @@ -7,6 +7,9 @@ % todo intro \input{def} +\input{rules} + +\input{refs} \end{document} |