--- a/src/Pure/Isar/attrib.ML Wed Mar 18 22:41:14 2009 +0100
+++ b/src/Pure/Isar/attrib.ML Wed Mar 18 22:41:14 2009 +0100
@@ -26,7 +26,8 @@
val add_attributes: (bstring * (src -> attribute) * string) list -> theory -> theory
val syntax: attribute context_parser -> src -> attribute
val setup: Binding.binding -> attribute context_parser -> string -> theory -> theory
- val attribute_setup: bstring * Position.T -> string * Position.T -> string -> theory -> theory
+ val attribute_setup: bstring * Position.T -> Symbol_Pos.text * Position.T -> string ->
+ theory -> theory
val no_args: attribute -> src -> attribute
val add_del: attribute -> attribute -> attribute context_parser
val add_del_args: attribute -> attribute -> src -> attribute