syntax for induction: generalizing all

Stream: Is there code for X?

[Asei Inoue]

When using induction tactic, I would like to define a simplified syntax for generalising all variables that can be generalised. Could this be achieved, for example, by induction ... generalising *?

[Kim Morrison]

Could you say why? Over generalizing can make the proof state more confusing, because there are more arguments to the inductive hypothesis.

[Asei Inoue]

It can be used as a convenient way to proceed with induction and when you feel that your assumptions are weak.
It may also be difficult to specify variables explicitly when creating tactic macros.