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 =