--- 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, []);