Summary

Converts an XML document to a comparable ATerm.

Description

See the description of aterm2xml.

Revision: r1.1 - 03 Oct 2004 - 08:19 - MartinBravenboer
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback