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'.