--- a/doc-src/TutorialI/preface.tex Thu Nov 29 01:51:38 2001 +0100
+++ b/doc-src/TutorialI/preface.tex Thu Nov 29 13:33:45 2001 +0100
@@ -16,9 +16,11 @@
eight simplification tactics with a single method, namely \isa{simp},
with associated options.
-The typesetting relies on Wenzel's proof presentation tools. A possibly
-annotated theory file is run, typesetting the theory and any requested
-Isabelle responses in the form of a \TeX{} source file. This book is
+\REMARK{mention Wenzel once author?}
+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 \TeX\ source file. This book is
derived almost entirely from output generated in this way.
This tutorial owes a lot to the constant discussions with and the valuable