tuned comments;
authorwenzelm
Thu Apr 03 18:42:34 2008 +0200 (2008-04-03)
changeset 26537188961eb1f08
parent 26536 e13479aa1d5d
child 26538 d65504ffb47d
tuned comments;
src/HOL/Import/xml.ML
     1.1 --- a/src/HOL/Import/xml.ML	Thu Apr 03 18:13:50 2008 +0200
     1.2 +++ b/src/HOL/Import/xml.ML	Thu Apr 03 18:42:34 2008 +0200
     1.3 @@ -1,8 +1,7 @@
     1.4  (*  Title:      HOL/Import/xml.ML
     1.5      ID:         $Id$
     1.6 -    Author:     David Aspinall, Stefan Berghofer and Markus Wenzel
     1.7  
     1.8 -Basic support for XML.
     1.9 +Yet another version of XML support.
    1.10  *)
    1.11  
    1.12  signature XML =