doc-src/TutorialI/tutorial.tex
changeset 10543 8e4307d1207a
parent 10524 270b285d48ee
child 10597 29dd6ac8c223
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Wed Nov 29 18:42:40 2000 +0100
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Thu Nov 30 13:56:46 2000 +0100
     1.3 @@ -45,6 +45,9 @@
     1.4  \newcommand{\isaindexbold}[1]{\isa{#1}\index{*#1|bold}}
     1.5  \newcommand{\isaindex}[1]{\isa{#1}\index{*#1}}
     1.6  
     1.7 +\index{product type|see{pair}}
     1.8 +\index{tuple|see{pair}}
     1.9 +
    1.10  \underscoreoff
    1.11  
    1.12  \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2}  %% {secnumdepth}{2}???