This directory contains APT (Automated Program Transformations), a library of
tools to transform programs and program specifications with automated support.

APT is documented in the manual at:
https://acl2.org/doc/?topic=APT____APT
