diff -r e6a55291102e -r 696f93184f0d doc-src/IsarRef/isar-ref.tex
--- a/doc-src/IsarRef/isar-ref.tex	Tue Mar 17 19:53:57 2009 +0100
+++ b/doc-src/IsarRef/isar-ref.tex	Wed Mar 18 11:57:28 2009 +0100
@@ -24,7 +24,7 @@
   With Contributions by
   Clemens Ballarin,
   Stefan Berghofer, \\
-  Timothy Bourke
+  Timothy Bourke,
   Lucas Dixon,
   Florian Haftmann, \\
   Gerwin Klein,