*** empty log message ***
authornipkow
Mon Sep 03 10:28:52 2001 +0200 (2001-09-03)
changeset 11547bdac4a14b350
parent 11546 2b3f02227c35
child 11548 0028bd06a19c
*** empty log message ***
doc-src/TutorialI/preface.tex
doc-src/TutorialI/tutorial.tex
     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 +
     2.1 --- a/doc-src/TutorialI/tutorial.tex	Sat Sep 01 00:20:44 2001 +0200
     2.2 +++ b/doc-src/TutorialI/tutorial.tex	Mon Sep 03 10:28:52 2001 +0200
     2.3 @@ -39,7 +39,14 @@
     2.4  
     2.5  \pagenumbering{roman}
     2.6  \setcounter{page}{5}
     2.7 -
     2.8 +\vspace*{\fill}
     2.9 +\begin{center}
    2.10 +\LARGE In memoriam Annette Schumann\\[1ex]
    2.11 +1959 -- 2001
    2.12 +\end{center}
    2.13 +\vspace*{\fill}
    2.14 +\vspace*{\fill}
    2.15 +\newpage
    2.16  \input{preface}
    2.17  
    2.18  \tableofcontents