doc-src/TutorialI/tutorial.tex
changeset 11450 1b02a6c4032f
parent 11428 332347b9b942
child 11456 7eb63f63e6c6
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Mon Jul 23 19:06:11 2001 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Tue Jul 24 11:25:54 2001 +0200
     1.3 @@ -10,6 +10,7 @@
     1.4  
     1.5  \makeindex
     1.6  
     1.7 +\index{conditional expressions|see{\isa{if} expressions}}
     1.8  \index{primitive recursion|see{\isacommand{primrec}}}
     1.9  \index{product type|see{pairs and tuples}}
    1.10  \index{termination|see{functions, total}}
    1.11 @@ -42,7 +43,7 @@
    1.12  
    1.13  \tableofcontents
    1.14  
    1.15 -\newpage\pagenumbering{arabic}
    1.16 +\cleardoublepage\pagenumbering{arabic}
    1.17  
    1.18  \input{basics}
    1.19  \input{fp}