src/Pure/Isar/ROOT.ML

 use "args.ML";
 use "attrib.ML";
 use "method.ML";
 
 (*derived proof elements*)
+use "local_defs.ML";
 use "calculation.ML";
 use "skip_proof.ML";
 
 (*outer syntax*)
 use "comment.ML";