1.1 --- a/doc-src/IsarRef/isar-ref.tex	Sun Mar 01 13:48:17 2009 +0100
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Sun Mar 01 14:36:27 2009 +0100
     1.3 @@ -24,12 +24,13 @@
     1.4    With Contributions by
     1.5    Clemens Ballarin,
     1.6    Stefan Berghofer, \\
     1.7 +  Timothy Bourke
     1.8    Lucas Dixon,
     1.9 -  Florian Haftmann,
    1.10 -  Gerwin Klein, \\
    1.11 +  Florian Haftmann, \\
    1.12 +  Gerwin Klein,
    1.13    Alexander Krauss,
    1.14 -  Tobias Nipkow,
    1.15 -  David von Oheimb, \\
    1.16 +  Tobias Nipkow, \\
    1.17 +  David von Oheimb,
    1.18    Larry Paulson,
    1.19    and Sebastian Skalberg
    1.20  }