Jean Krivine wrote:
> Each time you use let, you can also use let rec,

Not quite. For example:

let x = 5 in
let x = x + 10 in
  x

is not equivalent to

let rec x = 5 in
let rec x = x + 10 in
  x

(In fact the second one doesn't compile.)

Andrej