
diff -r b4e706774e96 -r 5a4d78204492 doc-src/TutorialI/preface.tex
--- 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




