| changeset 58025 | d41e3d0ac50c |
| parent 58011 | bc6bced136e5 |
| child 58028 | e4250d370657 |
--- a/src/Pure/Isar/attrib.ML Thu Aug 21 09:48:59 2014 +0200 +++ b/src/Pure/Isar/attrib.ML Thu Aug 21 10:07:06 2014 +0200 @@ -214,7 +214,9 @@ (* internal attribute *) -fun internal att = Token.src ("Pure.attribute", Position.none) [Token.mk_attribute att]; +fun internal att = + Token.src ("Pure.attribute", Position.none) + [Token.make_value "<attribute>" (Token.Attribute att)]; val _ = Theory.setup (setup (Binding.make ("attribute", @{here}))