This page is obsolete. Goto
The New Standard Tactics of the Inductive Theorem Prover
!