atsum1
Calculating md5 checksum of an aterm
Usage
atsum [inputfile]
Overview
This manual page briefly describes the atsum commands.
atsum can be used to print the MD5 checksums of the TAF representqtion of an ATerm. The algorithm used is the RSA Data Security, Inc. MD5 Message-Digest Algorithm (see RFC1321)
Options
This program does not take any command line arguments.