From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id JAA29645 for caml-redistribution; Fri, 6 Oct 1995 09:19:14 +0100
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id AAA24579 for <caml-list@pauillac.inria.fr>; Fri, 6 Oct 1995 00:48:25 +0100
Received: from muppet42.cs.chalmers.se (raffalli@muppet42.cs.chalmers.se [129.16.225.143]) by concorde.inria.fr (8.6.10/8.6.9) with ESMTP id AAA13486 for <caml-list@pauillac.inria.fr>; Fri, 6 Oct 1995 00:48:25 +0100
Received: (from raffalli@localhost) by muppet42.cs.chalmers.se (8.6.11/8.6.9) id AAA03126; Fri, 6 Oct 1995 00:48:18 +0100
Date: Fri, 6 Oct 1995 00:48:18 +0100
Message-Id: <199510052348.AAA03126@muppet42.cs.chalmers.se>
From: Christophe Raffalli <raffalli@cs.chalmers.se>
To: caml-list@pauillac.inria.fr
Subject: Available now: A library for Abstract Syntax with Binder.
Sender: weis


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.