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 OAA05390 for caml-redistribution; Thu, 6 Jul 1995 14:29:36 +0200
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 OAA05185 for <caml-list@pauillac.inria.fr>; Thu, 6 Jul 1995 14:05:07 +0200
Received: from amiante.univ-evry.fr (amiante.univ-evry.fr [192.93.214.6]) by concorde.inria.fr (8.6.10/8.6.9) with ESMTP id OAA17135 for <caml-list@pauillac.inria.fr>; Thu, 6 Jul 1995 14:08:00 +0200
Received: from smetana.lami.univ-evry.fr (smetana.lami.univ-evry.fr [192.93.214.46]) by amiante.univ-evry.fr with ESMTP (8.6.10/94.01.10); id OAA01660; Thu, 6 Jul 1995 14:07:58 +0200
Received: (delapla@localhost) by smetana.lami.univ-evry.fr (8.6.9/95.01.26); id OAA00473; Thu, 6 Jul 1995 14:07:56 +0200
Message-Id: <199507061207.OAA00473@smetana.lami.univ-evry.fr>
Date: Thu, 6 Jul 1995 14:07:56 +0200
From: Franck Delaplace <delapla@lami.univ-evry.fr>
To: caml-list@pauillac.inria.fr
Subject: omega 2 camllight
Sender: weis


Does exist a caml library to  interface camllight and the omega calculator (William Pugh) ?