Home

XT Tools

Languages

Software

Page

Web

Wiki

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.