--- a/doc-src/TutorialI/preface.tex Fri Jan 18 17:44:15 2002 +0100
+++ b/doc-src/TutorialI/preface.tex Fri Jan 18 17:45:19 2002 +0100
@@ -2,7 +2,7 @@
\markboth{Preface}{Preface}
This volume is a self-contained introduction to interactive proof
-in higher-order logic (HOL), using the proof assistant Isabelle 2000.
+in higher-order logic (HOL), using the proof assistant Isabelle 2002.
Compared with existing Isabelle documentation,
it provides a direct route into higher-order logic, which most people
prefer these days. It bypasses first-order logic and minimizes