src/Pure/General/yxml.ML
2008-04-03 wenzelm 2008-04-03 Why XML notation?