author wenzelm Tue Jan 08 17:32:13 2002 +0100 (2002-01-08) changeset 12669 c1436070c21e parent 12668 b839bd6e06c6 child 12670 5c896eccb290
\part{Elementary Techniques};
 doc-src/TutorialI/preface.tex file | annotate | diff | revisions doc-src/TutorialI/tutorial.tex file | annotate | diff | revisions
     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