Add tab completion for "induction" in prover
Merge pull request #774 from david-christiansen/induction-completion

Add tab completion for "induction" in prover