This package was debianized by Camm Maguire on
Sat, 26 Oct 2002 11:58:58 -0400.
It was downloaded from ftp://ftp.cs.utexas.edu:/pub/moore/acl2/v2-8/
Upstream Authors:
Matt Kaufmann,kaufmann@cs.utexas.edu (main program)
J Strother Moore,moore@cs.utexas.edu (main program)
University of Texas at Austin (books, partial)
Computational Logic, Inc.,mksmith@acm.org,msmith17@austin.rr.com (books, partial)
John R. Cowles, University of Wyoming (books, partial)
Bishop Brock and J Strother Moore (books, partial)
Panagiotis Manolios and J Strother Moore (books, partial)
Georgia Institute of Technology (books, partial)
Jared Davis,jared@cs.utexas.edu (books, partial)
Panagiotis Manolios,manolios@cc.gatech.edu (books, partial)
Daron Vroon,vroon@cc.gatech.edu (books, partial)
Matt Kaufmann,kaufmann@cs.utexas.edu (books, partial)
Copyright:
GNU GENERAL PUBLIC LICENSE
Version 2, June 1991
Copyright (C) 1989, 1991 Free Software Foundation, Inc.,
51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
Everyone is permitted to copy and distribute verbatim copies
of this license document, but changing it is not allowed.
Preamble
The licenses for most software are designed to take away your
freedom to share and change it. By contrast, the GNU General Public
License is intended to guarantee your freedom to share and change free
software--to make sure the software is free for all its users. This
General Public License applies to most of the Free Software
Foundation's software and to any other program whose authors commit to
using it. (Some other Free Software Foundation software is covered by
the GNU Library General Public License instead.) You can apply it to
your programs, too.
On Debian GNU/Linux systems, the complete text of the GNU General
Public License Version 2 can be found in
`/usr/share/common-licenses/GPL-2'.