equal
deleted
inserted
replaced
8 \remarkstrue %TRUE causes remarks to be displayed (as marginal notes) |
8 \remarkstrue %TRUE causes remarks to be displayed (as marginal notes) |
9 %\remarksfalse |
9 %\remarksfalse |
10 |
10 |
11 \makeindex |
11 \makeindex |
12 |
12 |
13 \index{termination|see{total function}} |
13 \index{primitive recursion|see{\isacommand{primrec}}} |
14 \index{product type|see{pair}} |
14 \index{product type|see{pairs and tuples}} |
15 \index{tuple|see{pair}} |
15 \index{termination|see{functions, total}} |
|
16 \index{tuples|see{pairs and tuples}} |
|
17 \index{settings|see{flags}} |
16 \index{*<*lex*>|see{lexicographic product}} |
18 \index{*<*lex*>|see{lexicographic product}} |
17 |
19 |
18 \underscoreoff |
20 \underscoreoff |
19 |
21 |
20 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} %% {secnumdepth}{2}??? |
22 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} %% {secnumdepth}{2}??? |