
diff -r 5a6b281f37fe -r dd017d9db05f doc-src/Codegen/codegen.tex
--- a/doc-src/Codegen/codegen.tex	Sun Nov 29 20:23:03 2009 +0100
+++ b/doc-src/Codegen/codegen.tex	Mon Nov 30 08:44:08 2009 +0100
@@ -13,7 +13,7 @@
 
 \title{\includegraphics[scale=0.5]{isabelle_isar}
   \\[4ex] Code generation from Isabelle/HOL theories}
-\author{\emph{Florian Haftmann}}
+\author{\emph{Florian Haftmann with contributions from Lukas Bulwahn}}
 
 \begin{document}
 




