author | wenzelm |
Sun, 17 Aug 2008 21:11:08 +0200 | |
changeset 27931 | b533a9de87a7 |
child 27941 | b4656b671cce |
permissions | -rw-r--r-- |
/* 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 }