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{conditional expressions|see{\isa{if} expressions}} |
13 \index{primitive recursion|see{\isacommand{primrec}}} |
14 \index{primitive recursion|see{\isacommand{primrec}}} |
14 \index{product type|see{pairs and tuples}} |
15 \index{product type|see{pairs and tuples}} |
15 \index{termination|see{functions, total}} |
16 \index{termination|see{functions, total}} |
16 \index{tuples|see{pairs and tuples}} |
17 \index{tuples|see{pairs and tuples}} |
17 \index{settings|see{flags}} |
18 \index{settings|see{flags}} |
40 |
41 |
41 \input{preface} |
42 \input{preface} |
42 |
43 |
43 \tableofcontents |
44 \tableofcontents |
44 |
45 |
45 \newpage\pagenumbering{arabic} |
46 \cleardoublepage\pagenumbering{arabic} |
46 |
47 |
47 \input{basics} |
48 \input{basics} |
48 \input{fp} |
49 \input{fp} |
49 \input{Rules/rules} |
50 \input{Rules/rules} |
50 \input{Sets/sets}\input{CTL/ctl} %these constitute ONE chapter |
51 \input{Sets/sets}\input{CTL/ctl} %these constitute ONE chapter |