On Fri, Apr 28, 2006 at 05:03:41PM +0200, roberto@dicosmo.org wrote: > - anla. > This is usable, online, at http://brion.inria.fr/anla This should be http://brion.inria.fr/anla/ -Ralf. -- Ralf Treinen Laboratoire Spécification et Vérification CNRS, École Normale Supérieure de Cachan, INRIA Futurs http://www.lsv.ens-cachan.fr/~treinen