--- a/doc-src/TutorialI/preface.tex Sat Jan 05 21:42:01 2002 +0100
+++ b/doc-src/TutorialI/preface.tex Sun Jan 06 13:47:26 2002 +0100
@@ -44,10 +44,9 @@
The typesetting relies on Wenzel's theory presentation tools. An
annotated source file is run, typesetting the theory
% and any requested Isabelle responses
-in the form of a \LaTeX\ source file. This book is
-derived almost entirely from output generated in this way.
-The end of Part~I explains how users may produce their own formal documents in
-the same manner.
+in the form of a \LaTeX\ source file. This book is derived almost entirely
+from output generated in this way. The final chapter of Part~I explains how
+users may produce their own formal documents in a similar fashion.
Isabelle's \hfootref{http://isabelle.in.tum.de/}{web site} contains links to
the download area and to documentation and other information. Most Isabelle