
diff -r 3af5de958a1a -r fa2e8a8faaec doc-src/TutorialI/preface.tex
--- 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




