--- 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
--- a/doc-src/TutorialI/tutorial.tex Tue Jan 08 17:31:43 2002 +0100
+++ b/doc-src/TutorialI/tutorial.tex Tue Jan 08 17:32:13 2002 +0100
@@ -55,8 +55,8 @@
\cleardoublepage\pagenumbering{arabic}
-\part{Basic Techniques} %FIXME rename part to "Basic Concepts" (??)
-\input{basics} %FIXME mmw: rename section, move it before part I (??)
+\part{Elementary Techniques}
+\input{basics}
\input{fp}
\input{Documents/documents}