The Dynamic Creation of Induction Rules Using Proof Planning