Function unify_consts moved from OldInductivePackage to PrimrecPackage.
Function unify_consts moved from OldInductivePackage to PrimrecPackage.

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