src/Pure/Isar/attrib.ML
changeset 29581 b3b33e0298eb
parent 29004 a5a91f387791
child 29690 c81f8b2967e1
--- a/src/Pure/Isar/attrib.ML	Wed Jan 21 16:47:31 2009 +0100
+++ b/src/Pure/Isar/attrib.ML	Wed Jan 21 16:47:32 2009 +0100
@@ -7,7 +7,7 @@
 signature ATTRIB =
 sig
   type src = Args.src
-  type binding = Binding.T * src list
+  type binding = binding * src list
   val empty_binding: binding
   val print_attributes: theory -> unit
   val intern: theory -> xstring -> string
@@ -54,7 +54,7 @@
 
 type src = Args.src;
 
-type binding = Binding.T * src list;
+type binding = binding * src list;
 val empty_binding: binding = (Binding.empty, []);