changeset 26537 | 188961eb1f08 |
parent 24584 | 01e83ffa6c54 |
child 32952 | aeb1e44fbc19 |
--- 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 =