NAME

       acl2 - A Computational Logic

SYNOPSIS

       acl2

DESCRIPTION

       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,
       http://www.cs.utexas.edu/users/moore/acl2, both in html form and in postscript.

AUTHOR

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

                                                October 26, 2002                                         ACL2(1)