This entire subtree is copyright LSV/CNRS UMR 8643 & ENS Cachan. The following copyright notice applies to all files found here. None of these files contain proprietary source code. _____________________________________________________________________________ Copyright (c) 2004 by Laboratoire Spécification et Vérification (LSV), CNRS UMR 8643 & ENS Cachan. Written by Jean Goubault-Larrecq and Fabrice Parrennes. Not derived from licensed software. Permission is granted to anyone to use this software for any purpose on any computer system, and to redistribute it freely, subject to the following restrictions: 1. Neither the author nor its employer is responsible for the consequences of use of this software, no matter how awful, even if they arise from defects in it. 2. The origin of this software must not be misrepresented, either by explicit claim or by omission. 3. Altered versions must be plainly marked as such, and must not be misrepresented as being the original software. 4. This software is restricted to non-commercial use only. Commercial use is subject to a specific license, obtainable from LSV.