prove_strong_ind now uses InductivePackage.rulify.
prove_strong_ind now uses InductivePackage.rulify.

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