equal
deleted
inserted
replaced
9 %\remarksfalse |
9 %\remarksfalse |
10 |
10 |
11 \makeindex |
11 \makeindex |
12 |
12 |
13 \index{conditional expressions|see{\isa{if} expressions}} |
13 \index{conditional expressions|see{\isa{if} expressions}} |
14 \index{primitive recursion|see{\isacommand{primrec}}} |
14 \index{primitive recursion|see{recursion, primitive}} |
15 \index{product type|see{pairs and tuples}} |
15 \index{product type|see{pairs and tuples}} |
|
16 \index{structural induction|see{induction, structural}} |
16 \index{termination|see{functions, total}} |
17 \index{termination|see{functions, total}} |
17 \index{tuples|see{pairs and tuples}} |
18 \index{tuples|see{pairs and tuples}} |
18 \index{settings|see{flags}} |
19 \index{settings|see{flags}} |
19 \index{*<*lex*>|see{lexicographic product}} |
20 \index{*<*lex*>|see{lexicographic product}} |
20 |
21 |