1.1 --- a/doc-src/TutorialI/preface.tex Sat Sep 01 00:20:44 2001 +0200
1.2 +++ b/doc-src/TutorialI/preface.tex Mon Sep 03 10:28:52 2001 +0200
1.3 @@ -22,13 +22,16 @@
1.4 derived almost entirely from output generated in this way.
1.5
1.6 This tutorial owes a lot to the constant discussions with and the valuable
1.7 -feedback from the Isabelle group at Munich: Stefan Berghofer, Olaf M{\"u}ller,
1.8 -Wolfgang Naraschewski, David von Oheimb, Leonor Prensa Nieto, Cornelia Pusch,
1.9 -Martin Strecker and Markus Wenzel. Stephan Merz was also kind enough to
1.10 -read and comment on a draft version. We received comments from Stefano
1.11 -Bistarelli, Gergely Buday and Tanja Vos.\REMARK{incomplete list!}
1.12 +feedback from the Isabelle group at Munich: Stefan Berghofer, Olaf
1.13 +M{\"u}ller, Wolfgang Naraschewski, David von Oheimb, Leonor Prensa Nieto,
1.14 +Cornelia Pusch, Norbert Schirmer, Martin Strecker and Markus Wenzel. Stephan
1.15 +Merz was also kind enough to read and comment on a draft version. We
1.16 +received comments from Stefano Bistarelli, Gergely Buday and Tanja
1.17 +Vos.\REMARK{incomplete list!}
1.18
1.19 -The research has been funded by many sources, including the {\sc epsrc}
1.20 -grants GR\slash K57381, GR\slash K77051,
1.21 -GR\slash M75440, GR\slash R01156\slash 01 and by the \textsc{esprit}
1.22 -working groups 21900 and IST-1999-29001 (the \emph{Types} project).
1.23 +The research has been funded by many sources, including the {\sc dfg} grants
1.24 +Ni~491/2, Ni~491/3, Ni~491/4 and the {\sc epsrc} grants GR\slash K57381,
1.25 +GR\slash K77051, GR\slash M75440, GR\slash R01156\slash 01 and by the
1.26 +\textsc{esprit} working groups 21900 and IST-1999-29001 (the \emph{Types}
1.27 +project).
1.28 +