Copyright (c) 1997 by The Unify Research Group at The University of
Kentucky. All rights reserved.

Permission to use, copy, modify, and distribute this software in
source and binary form is hereby granted provided that the above
copyright notice and these copyright paragraphs and disclaimers are
duplicated in all such forms. Any documentation and other materials
related to such distribution and/or use must acknowledge that the
software was developed by The Unify Research Group at the University
of Kentucky.  This software or resulting distributions may not be sold
or used for profit. The names of the University or the authors may not
be used to endorse or promote distributions derived from this software
without specific prior written permission.

THIS SOFTWARE IS PROVIDED "AS IS", WITHOUT EXPRESS OR IMPLIED
WARRANTY, AND WITH NO SUPPORT OR OBLIGATION TO ASSIST IN ITS USE,
CORRECTION, MODIFICATION OR ENHANCEMENT. THE AUTHORS AND THE
UNIVERSITY OF KENTUCKY DISCLAIM ANY LIABILITY OF ANY KIND FOR ANY
DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
