Received: from drakes.ai.sri.com (drakes-x25) by cam.sri.com (3.2/4.16)
      id AA03770 for mjcg; Wed, 31 Aug 88 07:23:00 BST
Received: from Warbucks.AI.SRI.COM by drakes.ai.sri.com (3.2/4.16)
      id AA01753 for mjcg@CAM.SRI.COM; Tue, 30 Aug 88 23:22:23 PDT
Received: from clover.ucdavis.edu by Warbucks.AI.SRI.COM with INTERNET ;
          Tue, 30 Aug 88 23:19:48 PDT
Received: from cheetah.ucdavis.edu by clover.ucdavis.edu (5.59/4.7)
      id AA20205; Tue, 30 Aug 88 23:14:30 PDT
Received: by cheetah.ucdavis.edu (AIX  2.2/3.14)
      id AA02005; Tue, 30 Aug 88 23:19:36 PDT
Message-Id: <8808310619.AA02005@cheetah.ucdavis.edu>
Pointers: (916) 752-7324/3168
To: info-hol@clover.ucdavis.edu
Subject: This mailing list
Date: Tue, 30 Aug 88 23:19:34 -0800
From: windley@cheetah.ucdavis.edu (Phil Windley)


This mailing list, info-hol@clover.ucdavis.edu, has been established to
serve as a forum for discussing HOL.  I started it with the names of some
of the people that I knew had an interest in HOL.  If you do not wish to be
on this list or know of other people who should be included, send mail to
info-hol-request@clover.ucdavis.edu.

If you have trouble getting mail to clover, the following may help:

The internet address for clover.ucdavis.edu is 128.120.57.1.

Through uucp: uunet!ucbvax!clover!hol-info

Phil Windley                          |  windley@iris.ucdavis.edu
Division of Computer Science          |  ucbvax!ucdavis!iris!windley
College of Engineering                |
University of California, Davis       |