1.1 --- a/doc-src/IsarRef/isar-ref.tex	Tue Mar 17 19:53:57 2009 +0100
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Wed Mar 18 11:57:28 2009 +0100
     1.3 @@ -24,7 +24,7 @@
     1.4    With Contributions by
     1.5    Clemens Ballarin,
     1.6    Stefan Berghofer, \\
     1.7 -  Timothy Bourke
     1.8 +  Timothy Bourke,
     1.9    Lucas Dixon,
    1.10    Florian Haftmann, \\
    1.11    Gerwin Klein,