--- 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;