Inductive Theorem Proving