From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA16617 for caml-red; Sat, 20 Jan 2001 16:09:40 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA30606 for ; Tue, 16 Jan 2001 17:03:03 +0100 (MET) Received: from hermes.univ-evry.fr (hermes.univ-evry.fr [194.199.90.32]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f0GG33D24290 for ; Tue, 16 Jan 2001 17:03:03 +0100 (MET) Received: from ns.info.lami.univ-evry.fr (taillefer.lami.univ-evry.fr [194.199.85.93]) by hermes.univ-evry.fr (8.9.3+Sun/jtpda-5.3.3) with ESMTP id RAA25188 for ; Tue, 16 Jan 2001 17:03:44 +0100 (MET) Received: from lami.univ-evry.fr (bio1.info.lami.univ-evry.fr [192.168.0.9]) by ns.info.lami.univ-evry.fr with ESMTP (8.9.3/980318/980610/lami); id RAA26077; Tue, 16 Jan 2001 17:03:03 +0100 Message-ID: <3A6470B6.73FB6B6E@lami.univ-evry.fr> Date: Tue, 16 Jan 2001 17:03:02 +0100 From: Franck Delaplace Organization: BioInfo Team , LaMI EVE (UMR 8042 CNRS) X-Mailer: Mozilla 4.72 [en] (X11; I; Linux 2.2.17dhcpaha2940 i686) X-Accept-Language: en MIME-Version: 1.0 To: OCAML Subject: Set Extension Content-Type: text/plain; charset=iso-8859-2 Content-Transfer-Encoding: quoted-printable Sender: weis@pauillac.inria.fr I've defined some extension for sets May this help http://www.lami.univ-evry.fr/~delapla/ocaml/ -- Franck Delaplace @w3:http://www.lami.univ-evry.fr/~delapla/ Equipe BioInfo, La.M.I-U.M.R 8042 C.N.R.S Universit=E9 d'Evry Val d'Essonne Bd Fran=E7ois Mitterand 91025 Evry CEDEX (France)