1. The LICENSE file contains the license for this release. Please set the appropriate paths to the PPL and the gmp library in the makefile. 2. The Examples directory contains some examples. Running the makefile compiles to a binary called lsting. Look at Examples/LowDim/doit for a script to run the examples with invariance checking. 2. Please edit Makefile.globals setting appropriate paths to the PPL and the GMP includes/libraries. Please set the path for bison version 1.875. 3. Maintenance queries can be sent to me at srirams@nec-labs.com or at srirams@theory.stanford.edu --- Sriram Sankaranarayanan Erstwhile PhD student Stanford University, CA