src/Pure/Tools/xml.ML

--- a/src/Pure/Tools/xml.ML	Sat Jul 07 12:16:19 2007 +0200
+++ b/src/Pure/Tools/xml.ML	Sat Jul 07 12:16:20 2007 +0200
@@ -13,6 +13,7 @@
   val text_charref: string -> string
   val cdata: string -> string
   type attributes = (string * string) list
+  val attribute: string * string -> string
   val element: string -> attributes -> string list -> string
   (* tree functions *)
   datatype tree =