equal
deleted
inserted
replaced
16 \index{primitive recursion|see{recursion, primitive}} |
16 \index{primitive recursion|see{recursion, primitive}} |
17 \index{product type|see{pairs and tuples}} |
17 \index{product type|see{pairs and tuples}} |
18 \index{structural induction|see{induction, structural}} |
18 \index{structural induction|see{induction, structural}} |
19 \index{termination|see{functions, total}} |
19 \index{termination|see{functions, total}} |
20 \index{tuples|see{pairs and tuples}} |
20 \index{tuples|see{pairs and tuples}} |
21 \index{settings|see{flags}} |
|
22 \index{*<*lex*>|see{lexicographic product}} |
21 \index{*<*lex*>|see{lexicographic product}} |
23 |
22 |
24 \underscoreoff |
23 \underscoreoff |
25 |
24 |
26 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} %% {secnumdepth}{2}??? |
25 \setcounter{secnumdepth}{2} \setcounter{tocdepth}{2} %% {secnumdepth}{2}??? |