I am please to announce a new library for Caml-Light:

THE BINLIB PACKAGE
------------------

  This is a library for the Caml-Light language (and Sml-nj soon 
  ... may be) providing reasonable tools to write programs
  manipulating data structures with binders (like lambda-terms or
  quantified formulae). It is quite efficient and not to difficult to
  use (at least for me).

It is available from my URL:

http://www.logique.jussieu.fr/www.raffalli/index.html#examples

Or by ftp:

ftp://ftp.logique.jussieu.fr/pub/distrib/raffalli/

------------------

Christophe Raffalli
Chalmers University of Technology.