KeLP Software Distribution v1.3  11/05/99
--------------------------------------------

        Scott B. Baden

        University of California, San Diego
        Department of Computer Science and Engineering, 0114
        9500 Gilman Drive
        La Jolla, CA 92093-0114 USA

"Copyright (c) 1999, 2000, by Scott B. Baden and The Regents of the
University of California.  All rights reserved.

This software is offered on an `AS IS' basis.  The copyright
holder(s) provide no warranty, expressed or implied, that the
software will function properly or that it will be free of bugs.
This software may be freely copied and distributed for research
and educational purposes only, provided that the above copyright
notice appear in all copies.  A license is needed for commercial
sale, in whole or in part, from The Regents of the University
of California.  Users of the software agree to acknowledge the authors.
The development of the software  was supported in part by
the federal government and they may have certain rights to it."

This software is derived from the KeLP programming system version 1.0,
copyright Stephen J. Fink and Scott B. Baden and The Regents of the
University of California, 1996.

Some of this software is derived from the LPARX programming system,
version 2.0, copyright Scott Kohn and Scott B. Baden and The Regents of
the University of California, 1994.