From FLEUREY@ESONVMLA.iinus1.ibm.com  Mon Jul 16 05:08:42 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA08105; Mon, 16 Jul 90 05:08:42 PDT
Received: from [192.35.230.2] by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA23245; Mon, 16 Jul 90 05:11:51 PDT
Message-Id: <9007161211.AA23245@clover.ucdavis.edu>
Received: from ESONVMLA by iinus1.ibm.com (IBM VM SMTP R1.2.2MX) with BSMTP id 7670; Mon, 16 Jul 90 08:08:20 EDT
Date: Mon, 16 Jul 90 13:59:50 GMT
From: "Claude Fleurey" <fleurey@esonvmla.iinus1.ibm.com>
To: info-hol@clover.ucdavis.edu
Subject: Mailing list for HOL users

attn Phil Windley

   Mister,

 Interested in HOL (we follow the last courses at UBC) we would
like to be informed of the current activities around this topic.
 That is the reason I give you my email address in order to you
to register me in the related forum.
 Is it possible to get an electronic copy of the previous
discussions ?
 Thank you in advance .

 Claude Fleurey
 (fleurey@esonvmla.iinus1.ibm.com) .

