diff options
Diffstat (limited to 'part1.tex')
-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} |