1.1 --- a/doc-src/IsarImplementation/implementation.tex	Thu Nov 13 22:02:18 2008 +0100
     1.2 +++ b/doc-src/IsarImplementation/implementation.tex	Thu Nov 13 22:03:26 2008 +0100
     1.3 @@ -17,7 +17,11 @@
     1.4  \isadroptag{theory}
     1.5  \title{\includegraphics[scale=0.5]{isabelle_isar}
     1.6    \\[4ex] The Isabelle/Isar Implementation}
     1.7 -\author{\emph{Makarius Wenzel}}
     1.8 +\author{\emph{Makarius Wenzel}  \\[3ex]
     1.9 +  With Contributions by
    1.10 +  Florian Haftmann
    1.11 +  and Larry Paulson
    1.12 +}
    1.13  
    1.14  %FIXME
    1.15  %\makeglossary