
diff -r 3bc332135aa7 -r 94bedbb34b92 doc-src/IsarRef/isar-ref.tex
--- 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
 




