\part{Elementary Techniques};
authorwenzelm
Tue Jan 08 17:32:13 2002 +0100 (2002-01-08)
changeset 12669c1436070c21e
parent 12668 b839bd6e06c6
child 12670 5c896eccb290
\part{Elementary Techniques};
doc-src/TutorialI/preface.tex
doc-src/TutorialI/tutorial.tex
     1.1 --- a/doc-src/TutorialI/preface.tex	Tue Jan 08 17:31:43 2002 +0100
     1.2 +++ b/doc-src/TutorialI/preface.tex	Tue Jan 08 17:32:13 2002 +0100
     1.3 @@ -20,7 +20,7 @@
     1.4  The book has three parts.  
     1.5  \begin{itemize}
     1.6  \item 
     1.7 -The first part, \textbf{Basic Techniques},
     1.8 +The first part, \textbf{Elementary Techniques},
     1.9  shows how to model functional programs in higher-order logic.  Early
    1.10  examples involve lists and the natural numbers.  Most proofs
    1.11  are two steps long, consisting of induction on a chosen variable
     2.1 --- a/doc-src/TutorialI/tutorial.tex	Tue Jan 08 17:31:43 2002 +0100
     2.2 +++ b/doc-src/TutorialI/tutorial.tex	Tue Jan 08 17:32:13 2002 +0100
     2.3 @@ -55,8 +55,8 @@
     2.4  
     2.5  \cleardoublepage\pagenumbering{arabic}
     2.6  
     2.7 -\part{Basic Techniques}  %FIXME rename part to "Basic Concepts" (??)
     2.8 -\input{basics}  %FIXME mmw: rename section, move it before part I (??)
     2.9 +\part{Elementary Techniques}
    2.10 +\input{basics}
    2.11  \input{fp}
    2.12  \input{Documents/documents}
    2.13