debian man page for acl2

ACL2(1) 						      General Commands Manual							   ACL2(1)

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 origi-
       nal 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)