1.1 --- a/doc-src/TutorialI/preface.tex	Fri Jan 18 15:17:47 2002 +0100
     1.2 +++ b/doc-src/TutorialI/preface.tex	Fri Jan 18 17:44:15 2002 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4  \markboth{Preface}{Preface}
     1.5  
     1.6  This volume is a self-contained introduction to interactive proof
     1.7 -in higher-order logic (HOL), using the proof assistant Isabelle/HOL\@. 
     1.8 +in higher-order logic (HOL), using the proof assistant Isabelle 2000. 
     1.9  Compared with existing Isabelle documentation,
    1.10  it provides a direct route into higher-order logic, which most people
    1.11  prefer these days. It bypasses first-order logic and minimizes
    1.12 @@ -64,7 +64,7 @@
    1.13  This tutorial owes a lot to the constant discussions with and the valuable
    1.14  feedback from the Isabelle group at Munich: Stefan Berghofer, Olaf
    1.15  M{\"u}ller, Wolfgang Naraschewski, David von Oheimb, Leonor Prensa Nieto,
    1.16 -Cornelia Pusch, Norbert Schirmer, Martin Strecker and Markus Wenzel. Stephan
    1.17 +Cornelia Pusch, Norbert Schirmer and Martin Strecker. Stephan
    1.18  Merz was also kind enough to read and comment on a draft version.  We
    1.19  received comments from Stefano Bistarelli, Gergely Buday and Tanja
    1.20  Vos.