1.1 --- a/src/Pure/Isar/attrib.ML	Wed Jan 21 16:47:31 2009 +0100
     1.2 +++ b/src/Pure/Isar/attrib.ML	Wed Jan 21 16:47:32 2009 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  signature ATTRIB =
     1.5  sig
     1.6    type src = Args.src
     1.7 -  type binding = Binding.T * src list
     1.8 +  type binding = binding * src list
     1.9    val empty_binding: binding
    1.10    val print_attributes: theory -> unit
    1.11    val intern: theory -> xstring -> string
    1.12 @@ -54,7 +54,7 @@
    1.13  
    1.14  type src = Args.src;
    1.15  
    1.16 -type binding = Binding.T * src list;
    1.17 +type binding = binding * src list;
    1.18  val empty_binding: binding = (Binding.empty, []);
    1.19  
    1.20