src/Pure/Thy/thy_parse.ML

   axm_section "axclass" "|> AxClass.add_axclass" axclass_decl,
   section "instance" "" instance_decl,
   section "path" "|> Theory.add_path" name,
   section "global" "|> PureThy.global_path" empty_decl,
   section "local" "|> PureThy.local_path" empty_decl,
-  section "setup" "|> Theory.apply" long_id,
+  section "setup" "|> Library.apply" long_id,
   section "MLtext" "" verbatim,
   section "locale" "|> Locale.add_locale" locale_decl];
 
 
 end;