ivor-0.1.5: examplett/interp.tt

Load "nat.tt";