src/Pure/Tools/named_thms.ML

 val add = Thm.declaration_attribute add_thm;
 val del = Thm.declaration_attribute del_thm;
 
 val setup =
   Attrib.setup (Binding.name name) (Attrib.add_del add del) ("declaration of " ^ description) #>
-  PureThy.add_thms_dynamic (Binding.name name, content);
+  Global_Theory.add_thms_dynamic (Binding.name name, content);
 
 end;