Fixes a problem with custom tactics using Intro & Induction

Intro would previously fail with "Unknown Tactic".
Merge pull request #1130 from jonsterling/fix/reify-intro-induction

Fixes a problem with custom tactics using Intro & Induction