This package was debianized by Camm Maguire <camm@enhanced.com> on
Sat, 26 Oct 2002 11:58:58 -0400.

It was downloaded from ftp://ftp.cs.utexas.edu:/pub/moore/acl2/v2-8/

The following pertains to all files with the exception of the sources
in the books/ordinals directory:

Upstream Authors: Matt Kaufmann,kaufmann@cs.utexas.edu
	            J Strother Moore,moore@cs.utexas.edu

Copyright:

		    GNU GENERAL PUBLIC LICENSE
		       Version 2, June 1991

 Copyright (C) 1989, 1991 Free Software Foundation, Inc.
     59 Temple Place, Suite 330, Boston, MA  02111-1307  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.

The following pertains to the files in the books/ordinals directory:

Upstream Authors: Panagiotis Manolios,manolios@cc.gatech.edu
	          Daron Vroon,vroon@cc.gatech.edu


; Copyright (C) 2002  Georgia Institute of Technology

; The code in this directory is free software; you can redistribute it and/or
; modify it under the terms of the GNU General Public License as published by
; the Free Software Foundation; either version 2 of the License, or (at your
; option) any later version.

; This program is distributed in the hope that it will be useful,
; but WITHOUT ANY WARRANTY; without even the implied warranty of
; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
; GNU General Public License for more details.

; You should have received a copy of the GNU General Public License
; along with this program; if not, write to the Free Software
; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.

; Written by: Panagiotis Manolios and Daron Vroon who can be reached as follows.

; Email: manolios@cc.gatech.edu, vroon@cc.gatech.edu

; Postal Mail:
; College of Computing
; CERCS Lab
; Georgia Institute of Technology
; 801 Atlantic Drive
; Atlanta, Georgia 30332-0280 U.S.A.



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