Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
design-notes
utilities
README.txt
acl2-customization.lsp
cert.acl2
common-options-reference.lisp
package.lsp
portcullis.acl2
portcullis.lisp
restrict-design.lisp
restrict-reference.lisp
restrict-tests.lisp
restrict.lisp
tailrec-design.lisp
tailrec-reference.lisp
tailrec-tests.lisp
tailrec.lisp
top.lisp

README.txt

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:
http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/?topic=APT____APT