Add student numbers

1 files changed, 1 insertions, 1 deletions

diff --git a/part1.tex b/part1.tex
index d5036bf..5b2fc45 100644
--- a/part1.tex
+++ b/part1.tex
@@ -11,7 +11,7 @@
 \newcommand{\bimp}{\leftrightarrow}     % bi-implication
 
 \title{Assignment part 1 for Automated Reasoning 2IMF25}
-\author{Koen van der Heijden, Peter Wu}
+\author{Koen van der Heijden (0807929), Peter Wu (0783206)}
 \date{\today}
 
 \begin{document}