1.1 --- a/doc-src/Codegen/codegen.tex	Sun Nov 29 20:23:03 2009 +0100
     1.2 +++ b/doc-src/Codegen/codegen.tex	Mon Nov 30 08:44:08 2009 +0100
     1.3 @@ -13,7 +13,7 @@
     1.4  
     1.5  \title{\includegraphics[scale=0.5]{isabelle_isar}
     1.6    \\[4ex] Code generation from Isabelle/HOL theories}
     1.7 -\author{\emph{Florian Haftmann}}
     1.8 +\author{\emph{Florian Haftmann with contributions from Lukas Bulwahn}}
     1.9  
    1.10  \begin{document}
    1.11