Splitting of arguments of product types in induction rules is now less aggressive.
Splitting of arguments of product types in induction rules is now less
aggressive.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle