Moved contents to files datatype_codegen.ML and recfun_codegen.ML
Moved contents to files datatype_codegen.ML and recfun_codegen.ML

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