diff -r 2ea20bb1493c -r 2cd7e5518d0d src/Pure/Isar/attrib.ML
--- a/src/Pure/Isar/attrib.ML	Tue May 23 19:12:21 2023 +0200
+++ b/src/Pure/Isar/attrib.ML	Tue May 23 20:11:15 2023 +0200
@@ -256,10 +256,10 @@
 in
 
 fun internal pos arg =
-  internal_source ("<attribute>", pos) (Token.Attribute (Morphism.entity arg));
+  internal_source ("internal", pos) (Token.Attribute (Morphism.entity arg));
 
 fun internal_declaration pos arg =
-  [([Drule.dummy_thm], [internal_source ("<declaration>", pos) (Token.Declaration arg)])];
+  [([Drule.dummy_thm], [internal_source ("declaration", pos) (Token.Declaration arg)])];
 
 end;