Xml To ATerm

XT -- A Bundle of Program Transformation Tools

Summary

Converts an XML document to a comparable ATerm.

Description

See the description of aterm2xml.