
diff -r b839bd6e06c6 -r c1436070c21e doc-src/TutorialI/preface.tex
--- a/doc-src/TutorialI/preface.tex	Tue Jan 08 17:31:43 2002 +0100
+++ b/doc-src/TutorialI/preface.tex	Tue Jan 08 17:32:13 2002 +0100
@@ -20,7 +20,7 @@
 The book has three parts.  
 \begin{itemize}
 \item 
-The first part, \textbf{Basic Techniques},
+The first part, \textbf{Elementary Techniques},
 shows how to model functional programs in higher-order logic.  Early
 examples involve lists and the natural numbers.  Most proofs
 are two steps long, consisting of induction on a chosen variable




