Change default name `h` to `hyp`

Stream: new members

[Martin Dvořák]

Is it possible to change the default name (for my whole project) of all propositions generated by the by_contradiction and by_cases tactics?
I don't like h and I would like to have hyp instead. I use one-letter names for data.

[Alex J. Best]

Just checking you know you can do by_cases hyp : p and by_contradiction hyp already, which is probably better practice anyway