for compatibility, generate recursor arguments in the same order as old package
for compatibility, generate recursor arguments in the same order as old package

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