1.1 --- a/doc-src/TutorialI/preface.tex Fri Jan 18 17:44:15 2002 +0100
1.2 +++ b/doc-src/TutorialI/preface.tex Fri Jan 18 17:45:19 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 2000.
1.8 +in higher-order logic (HOL), using the proof assistant Isabelle 2002.
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