diff options
author | Peter Wu <peter@lekensteyn.nl> | 2016-12-05 13:39:35 +0100 |
---|---|---|
committer | Peter Wu <peter@lekensteyn.nl> | 2016-12-05 13:39:35 +0100 |
commit | 6cd69b06809161c20689f4e7a2c4d4cead0301bc (patch) | |
tree | 4e0696bf8e0d260d509d27ef4cf789d793a372af | |
parent | 399136e2a854583a2e6f1d49c7621b28812142a4 (diff) | |
download | 2IMF25-AR-6cd69b06809161c20689f4e7a2c4d4cead0301bc.tar.gz |
Add student numbers
-rw-r--r-- | part1.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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} |