From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id F17CBBBC1 for ; Thu, 13 Mar 2008 16:17:03 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar4DAEri2EfAXQImh2dsb2JhbACBWI8ZAQEBCAopl0w X-IronPort-AV: E=Sophos;i="4.25,495,1199660400"; d="scan'208";a="9401040" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 13 Mar 2008 16:17:03 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m2DFH34h024773 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 13 Mar 2008 16:17:03 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtsBAEri2EfPn3g8n2dsb2JhbACBWI8ZAQEBAQEGBAYJCBiXTA X-IronPort-AV: E=Sophos;i="4.25,495,1199660400"; d="scan'208";a="8354107" Received: from nn6.excitenetwork.com (HELO excite.com) ([207.159.120.60]) by mail2-smtp-roc.national.inria.fr with ESMTP; 13 Mar 2008 16:17:02 +0100 Received: by xprdmxin.myway.com (Postfix, from userid 110) id 7BEAD8B336; Thu, 13 Mar 2008 11:17:00 -0400 (EDT) To: berke.durak@exalead.com, caml-list@inria.fr Subject: Re: [Caml-list] BDDs in ocaml Received: from [132.230.166.192] by xprdmailfe17.nwk.excite.com via HTTP; Thu, 13 Mar 2008 11:17:00 EST X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: ID = 8a8a82c06e1c8d4366ddc3f449c5aa61 Reply-To: sasha.mal@excite.com From: "sasha mal" MIME-Version: 1.0 X-Sender: sasha.mal@excite.com X-Mailer: PHP Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Message-Id: <20080313151700.7BEAD8B336@xprdmxin.myway.com> Date: Thu, 13 Mar 2008 11:17:00 -0400 (EDT) X-Miltered: at discorde with ID 47D9456F.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bdds:01 ocaml:01 excite:98 excite:98 caml-list:01 personalized:88 portal:86 www:84 sasha:16 sasha:16 thanks:17 mal:19 mal:19 lot:22 com:74 Thanks a lot! _______________________________________________ Join Excite! - http://www.excite.com The most personalized portal on the Web!