Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP) to cl
          id <13762-0@swan.cl.cam.ac.uk>; Wed, 18 Sep 1991 07:33:18 +0100
Received: from relay1.UU.NET by ted.cs.uidaho.edu (15.11/1.34) id AA11079;
          Tue, 17 Sep 91 23:26:48 pdt
Received: from uunet.uu.net (via LOCALHOST.UU.NET) by relay1.UU.NET
          with SMTP (5.61/UUNET-internet-primary) id AA22006;
          Wed, 18 Sep 91 02:27:31 -0400
Received: from fai.UUCP by uunet.uu.net with UUCP/RMAIL (queueing-rmail)
          id 022636.22894; Wed, 18 Sep 1991 02:26:36 EDT
Received: by fai.fai.com; id AA12437; Tue, 17 Sep 91 23:26:30-1795
Date: Tue, 17 Sep 91 23:26:30-1795
From: Kuang-Chien Chen <kchen@com.fai.fai>
Message-Id: <9109180626.AA12437@fai.fai.com>
To: info-hol@edu.uidaho.cs.ted
Subject: mailing list for HOL


Hi. I am a researcher in Fujitsu America and I am quite interested in
the HOL system. Could you add my name to the email list? Thanks!

Kuang-Chien Chen
kchen@fai.com
408-432-1300 x 5703