Added pred-N using N-ind.
Added doc.
Removed note on induction principles for N.