src/Pure/Isar/attrib.ML
changeset 30575 368e26dfba69
parent 30543 2ca69af4422a
child 30759 3bc78fbb9f57
     1.1 --- a/src/Pure/Isar/attrib.ML	Wed Mar 18 22:41:14 2009 +0100
     1.2 +++ b/src/Pure/Isar/attrib.ML	Wed Mar 18 22:41:14 2009 +0100
     1.3 @@ -26,7 +26,8 @@
     1.4    val add_attributes: (bstring * (src -> attribute) * string) list -> theory -> theory
     1.5    val syntax: attribute context_parser -> src -> attribute
     1.6    val setup: Binding.binding -> attribute context_parser -> string -> theory -> theory
     1.7 -  val attribute_setup: bstring * Position.T -> string * Position.T -> string -> theory -> theory
     1.8 +  val attribute_setup: bstring * Position.T -> Symbol_Pos.text * Position.T -> string ->
     1.9 +    theory -> theory
    1.10    val no_args: attribute -> src -> attribute
    1.11    val add_del: attribute -> attribute -> attribute context_parser
    1.12    val add_del_args: attribute -> attribute -> src -> attribute