1 files changed, 8 insertions, 0 deletions

diff --git a/def.tex b/def.tex
new file mode 100644
index 0000000..0be7d63
--- /dev/null
+++ b/def.tex
@@ -0,0 +1,8 @@
+\section{Definities}
+\label{sec:def}
+
+\input{defsyn}
+\input{defio}
+\input{defstate}
+\input{deftrans}
+