Provided by: acl2_8.0dfsg-1_amd64 bug


       acl2 - A Computational Logic




       This manual page documents briefly the acl2 command.  This manual page was written for the
       Debian GNU/Linux distribution because the original program does not have  a  manual  page.
       Instead, it has documentation in the GNU Info format as well as in html format.  These are
       included in the acl2-doc package.  The documentation can also be found  at  the  project's
       website,, both in html form and in postscript.


       This  manual  page  was  written  by  Camm  Maguire,  <>,  for the Debian
       GNU/Linux system (but may be used by others).

                                         October 26, 2002                                 ACL2(1)