# HG changeset patch
# User wenzelm
# Date 1010507533 -3600
# Node ID c1436070c21ea776a71731e3f19c00938e9555df
# Parent  b839bd6e06c616cbf52e7f8d9d003594c3a338e4
\part{Elementary Techniques};

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
diff -r b839bd6e06c6 -r c1436070c21e doc-src/TutorialI/tutorial.tex
--- 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}