--- 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,