# HG changeset patch
# User wenzelm
# Date 1226610206 -3600
# Node ID be234c04401aa794f2af217b70e5fb306af14edb
# Parent  698960f08652ff30d4a2f601346e9b187a5913da
more contributors;

diff -r 698960f08652 -r be234c04401a 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