From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gregory.bellier@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.8 required=5.0 tests=AWL,DNS_FROM_RFC_POST,
	SPF_NEUTRAL autolearn=disabled version=3.1.3
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id 002B1BBAF
	for <caml-list@yquem.inria.fr>; Wed, 20 May 2009 12:26:47 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AuACAFt3E0rRVdyukGdsb2JhbACXID8BAQEBCQkMBxEDpCGBE5BtAQMBA4QABQ
X-IronPort-AV: E=Sophos;i="4.41,221,1241388000"; 
   d="scan'208";a="26494100"
Received: from mail-fx0-f174.google.com ([209.85.220.174])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 20 May 2009 12:26:47 +0200
Received: by fxm22 with SMTP id 22so335980fxm.9
        for <caml-list@inria.fr>; Wed, 20 May 2009 03:26:47 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from
         :user-agent:mime-version:to:subject:content-type
         :content-transfer-encoding;
        bh=m3omwYFRTijXsKWzE0HPM61c4sdZyZCoBDWQ4jzB6ak=;
        b=NPFNa+KdjliEjlNbpens9MxQNjW1LVagThxVZVecT7ADuhRBkGjypTn3rtSN77nYGy
         +HA1BT6V6uA/UmSEmTl7BasiAXetLA4YHRojmtn6F2p1BGV1A5q6IVy4rrqElzaS5Y0S
         wr1dqzRp3QH4/RLwF1z/59CshYyDCiocb2LGk=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:subject
         :content-type:content-transfer-encoding;
        b=nLCWqqLSSJTJviMiDXCF5I731a10QjCs6r9QSnlRpLmwk2ptO1t0cwGBkvE3MzwlI4
         OyGO5Gv/bHRVZLl5nNU035qUzIzrX5PHHTadyGcHKxPbA8sFQpyGSWdOB+7QuNmsBcTu
         jwlZxJv1hSjYNH+SMwNDxS5n/G2kUdoQ5645I=
Received: by 10.86.23.20 with SMTP id 20mr1061287fgw.17.1242815207726;
        Wed, 20 May 2009 03:26:47 -0700 (PDT)
Received: from ?10.0.0.2? (APuteaux-152-1-2-99.w82-120.abo.wanadoo.fr [82.120.32.99])
        by mx.google.com with ESMTPS id l12sm947474fgb.14.2009.05.20.03.26.46
        (version=SSLv3 cipher=RC4-MD5);
        Wed, 20 May 2009 03:26:46 -0700 (PDT)
Message-ID: <4A13DAE6.70303@gmail.com>
Date: Wed, 20 May 2009 12:26:46 +0200
From: Gregory BELLIER <gregory.bellier@gmail.com>
User-Agent: Thunderbird 2.0.0.21 (X11/20090318)
MIME-Version: 1.0
To: caml-list@inria.fr
Subject: Formal OS in OCAML
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; ocaml:01 contrib:01 caml:02 hump:02 inria:06 formal:08 cgi:90 gregory:16 gregory:16 thanks:17 forgot:19 which:22 448:23 U5:75 com:74 

I forgot to give you this link which leads to a dead link : 
http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=448

Once again, thanks.

Gregory