clarified name space: no theory qualifier here --- treat like global datatype constructors;

--- a/src/Pure/Thy/term_style.ML	Mon Sep 16 15:49:36 2024 +0200
+++ b/src/Pure/Thy/term_style.ML	Mon Sep 16 18:59:39 2024 +0200
@@ -25,7 +25,8 @@
 val get_data = Data.get o Proof_Context.theory_of;
 
 fun setup binding style thy =
-  Data.map (#2 o Name_Space.define (Context.Theory thy) true (binding, style)) thy;
+  let val context = Name_Space.map_naming (K Name_Space.global_naming) (Context.Theory thy)
+  in Data.map (#2 o Name_Space.define context true (binding, style)) thy end;
 
 
 (* style parsing *)