| Page | erroneous text | should be replaced with |
|---|---|---|
| 5 | Eval compute in example 1. | Eval compute in example1 1. |
| 15 | produced by the tacti on the left hand side | produced by the tactic on the left hand side |
| 22 | the sum of the n first natural numbers | the sum of the n first natural numbers 0, 1, ... (n-1), |
| 41 | if beq_nat n p then 1 + count n tl | if beq_nat n p then 1 + count n tl else count n tl |