
   The Alt-Ergo theorem prover
   Copyright (C) 2006-2013

   Sylvain Conchon
   Evelyne Contejean

   Francois Bobot
   Mohamed Iguernelala
   Stephane Lescuyer
   Alain Mebsout

   CNRS - INRIA - Universite Paris Sud

 This file is distributed under the terms of the CeCILL-C licence

