| changeset 33926 | dd017d9db05f |
| parent 31050 | 555b56b66fcf |
| child 37613 | 355ec1b521e6 |
--- 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}