This directory contains a library for Ethereum.

The Ethereum library is documented in the manual at:
http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/?topic=ETHEREUM____ETHEREUM
