src/Doc/Codegen/document/root.tex

--- a/src/Doc/Codegen/document/root.tex	Fri Dec 16 09:55:22 2022 +0100
+++ b/src/Doc/Codegen/document/root.tex	Fri Dec 16 18:11:03 2022 +0100
@@ -15,7 +15,7 @@
 
 \title{\includegraphics[scale=0.5]{isabelle_logo}
   \\[4ex] Code generation from Isabelle/HOL theories}
-\author{\emph{Florian Haftmann with contributions from Lukas Bulwahn}}
+\author{\emph{Florian Haftmann}\\ with contributions by Lukas Bulwahn and Tobias Nipkow}
 
 \begin{document}
 
@@ -35,6 +35,7 @@
 \input{Introduction.tex}
 \input{Foundations.tex}
 \input{Refinement.tex}
+\input{Partial_Functions.tex}
 \input{Inductive_Predicate.tex}
 \input{Evaluation.tex}
 \input{Computations.tex}