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 }