src/Pure/Isar/ROOT.ML

 use "object_logic.ML";
 use "rule_cases.ML";
 use "auto_bind.ML";
 use "local_syntax.ML";
 use "proof_context.ML";
+use "../axclass.ML";
 use "local_defs.ML";
 
 (*outer syntax*)
 use "outer_lex.ML";
 use "args.ML";

 use "proof.ML";
 use "element.ML";
 use "net_rules.ML";
 use "induct_attrib.ML";
 
+(*code generator base*)
+use "../Tools/codegen_consts.ML";
+use "../Tools/codegen_func.ML";
+use "../Tools/codegen_data.ML";
+
 (*derived theory and proof elements*)
 use "local_theory.ML";
 use "calculation.ML";
 use "obtain.ML";
 use "locale.ML";
 use "spec_parse.ML";
-use "../axclass.ML";
 use "../Tools/class_package.ML";
 use "theory_target.ML";
 use "specification.ML";
 use "constdefs.ML";