src/Pure/Isar/isar_syn.ML

   OuterSyntax.command "ML_setup" "eval ML text (may change theory)" K.thy_decl
     (P.text >> IsarCmd.use_mltext_theory);
 
 val setupP =
   OuterSyntax.command "setup" "apply ML theory setup" K.thy_decl
-    (P.text >> (Toplevel.theory o IsarThy.use_setup));
+    (P.text >> (Toplevel.theory o Context.use_setup));
 
 
 (* translation functions *)
 
 val parse_ast_translationP =