src/Pure/type.ML

 
 fun map_tsig f (TSig {classes, default, types, log_types = _}) =
   build_tsig (f (classes, default, types));
 
 val empty_tsig =
-  build_tsig ((Name_Space.empty Markup.classN, Sorts.empty_algebra), [], Name_Space.empty_table "type");
+  build_tsig ((Name_Space.empty Markup.classN, Sorts.empty_algebra), [],
+    Name_Space.empty_table Markup.typeN);
 
 
 (* classes and sorts *)
 
 val class_space = #1 o #classes o rep_tsig;