# HG changeset patch
# User paulson
# Date 1011372319 -3600
# Node ID f8f0807e5a5e1d60159820e5efcfa972409c2aec
# Parent  6036a579aed49e902b75c2fecd5a4ecbcbe86eab
OOPS

diff -r 6036a579aed4 -r f8f0807e5a5e doc-src/TutorialI/preface.tex
--- 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