--- a/src/Pure/Isar/attrib.ML Sun Mar 15 20:25:58 2009 +0100
+++ b/src/Pure/Isar/attrib.ML Mon Mar 16 17:46:11 2009 +0100
@@ -26,7 +26,7 @@
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: string * Position.T -> string * Position.T -> string -> theory -> theory
+ val attribute_setup: bstring * Position.T -> string * 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