--- a/doc-src/IsarRef/isar-ref.tex Fri May 09 23:35:57 2008 +0200
+++ b/doc-src/IsarRef/isar-ref.tex Sat May 10 00:14:00 2008 +0200
@@ -15,7 +15,18 @@
\isadroptag{theory}
\title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual}
-\author{\emph{Markus Wenzel} \\ TU M\"unchen}
+\author{\emph{Makarius Wenzel} \\[3ex]
+ With Contributions by
+ Clemens Ballarin,
+ Stefan Berghofer, \\
+ Florian Haftmann,
+ Gerwin Klein,
+ Alexander Krauss, \\
+ Tobias Nipkow,
+ David von Oheimb,
+ Larry Paulson, \\
+ and Sebastian Skalberg
+}
\makeindex