diff -r 2b44df907cc2 -r b533a9de87a7 src/Pure/General/xml.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/General/xml.scala	Sun Aug 17 21:11:08 2008 +0200
@@ -0,0 +1,16 @@
+/*  Title:      Pure/General/xml.scala
+    ID:         $Id$
+    Author:     Makarius
+
+Minimalistic XML tree values.
+*/
+
+package isabelle
+
+object XML {
+  type Attributes = List[(String, String)]
+
+  abstract class Tree
+  case class Elem(name: String, attributes: Attributes, body: List[Tree]) extends Tree
+  case class Text(content: String) extends Tree
+}