induction in tactics

Stream: general

[Jakob von Raumer]

Say I write a tactic that somewhere uses induction x for some x. Now I get back a list of goals. Is it better style to use that list to tackle each goal, or should I use tactic.focus?