src/Pure/Isar/typedecl.ML

     |> Variable.declare_typ T
     |> pair T
   end;
 
 fun typedecl_global decl =
-  Theory_Target.init NONE
+  Named_Target.init NONE
   #> typedecl decl
   #> Local_Theory.exit_result_global Morphism.typ;
 
 
 (* type abbreviations *)

 val abbrev_cmd = gen_abbrev read_abbrev;
 
 end;
 
 fun abbrev_global decl rhs =
-  Theory_Target.init NONE
+  Named_Target.init NONE
   #> abbrev decl rhs
   #> Local_Theory.exit_result_global (K I);
 
 end;