# HG changeset patch
# User wenzelm
# Date 1207240954 -7200
# Node ID 188961eb1f082f6602ad51f91a7fc077c7ff7ab2
# Parent  e13479aa1d5d4960663f6295d3a34c6fcc47525b
tuned comments;

diff -r e13479aa1d5d -r 188961eb1f08 src/HOL/Import/xml.ML
--- a/src/HOL/Import/xml.ML	Thu Apr 03 18:13:50 2008 +0200
+++ b/src/HOL/Import/xml.ML	Thu Apr 03 18:42:34 2008 +0200
@@ -1,8 +1,7 @@
 (*  Title:      HOL/Import/xml.ML
     ID:         $Id$
-    Author:     David Aspinall, Stefan Berghofer and Markus Wenzel
 
-Basic support for XML.
+Yet another version of XML support.
 *)
 
 signature XML =