doc-src/TutorialI/tutorial.tex

--- a/doc-src/TutorialI/tutorial.tex	Mon Jul 23 19:06:11 2001 +0200
+++ b/doc-src/TutorialI/tutorial.tex	Tue Jul 24 11:25:54 2001 +0200
@@ -10,6 +10,7 @@
 
 \makeindex
 
+\index{conditional expressions|see{\isa{if} expressions}}
 \index{primitive recursion|see{\isacommand{primrec}}}
 \index{product type|see{pairs and tuples}}
 \index{termination|see{functions, total}}
@@ -42,7 +43,7 @@
 
 \tableofcontents
 
-\newpage\pagenumbering{arabic}
+\cleardoublepage\pagenumbering{arabic}
 
 \input{basics}
 \input{fp}