Defsort - Defines a stable sort when given a comparison function
Copyright (C) 2008 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.

  Integer Hardware Specification Library
  Copyright (C) 1997 Computational Logic, Inc.
  License: GPL 2 or later
  Included as ihs/* from :dir :system

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

  make-event/assert
  Copyright (C) 2006 University of Texas at Austin
  License: GPL 2 or later (per books/make-event/Readme.lsp)

  misc/total-order
  License: GPL 2 (per books/LICENSE)

  misc/hons-help
  License: GPL 2 (per books/LICENSE)

