1 files changed, 5 insertions, 0 deletions
diff --git a/werkstuk.tex b/werkstuk.tex
index 5920a4c..eafa592 100644
--- a/werkstuk.tex
+++ b/werkstuk.tex
@@ -19,12 +19,15 @@
 \usepackage{stackrel}
 \usepackage{syntax}
 \usepackage{thmtools}
+\usepackage{framed}
+\usepackage{array}
 
 \usepackage{clean}
 \lstset{language=Clean,breaklines,tabsize=2,xleftmargin=\parindent}
 
 % Eigen packages
 \usepackage{smurf}
+\input{rule-defs}
 
 % Settings, fixes
 \setlist{itemsep=0pt}
@@ -56,7 +59,9 @@
 \input{analyse}
 \input{refs}
 
+\clearpage
 \appendix
+\input{app-rules.tex}
 \input{app-trees.tex}
 
 \end{document}