Hons Archives
Copyright (C) 2009-2010 Centaur Technology

Contact:
  Centaur Technology Formal Verification Group
  7600-C N. Capital of Texas Highway, Suite 300, Austin, TX 78731, USA.
  http://www.centtech.com/

This program 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; see the file "gpl.txt" in this directory.  If not, write to the
Free Software Foundation, Inc., 51 Franklin Street, Suite 500, Boston, MA
02110-1335, USA.


Additional Copyright Notices:

Note that this library also depends upon other libraries which are copyrights
of their respective owners and have their own licenses.

  Processing Unicode Files with ACL2
  Copyright (C) 2005-2006 by Jared Davis
  License: GPL 2 or later
  Included as unicode/* from :dir :system

  Defsort - Defines a stable sort when given a comparison function
  Copyright (C) 2008 Centaur Technology
  License: GPL 2 or later
  Included as defsort/* from :dir :system

  tools/bstar
  Copyright (C) 2009 by Sol Swords
  License: GPL 2 or later

  Arithmetic-3
  Copyright (C) 2004 by Robert Krug
  License: GPL 2 or later

