doc-src/IsarImplementation/implementation.tex

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