Received: from gannet.cl.cam.ac.uk by Steve.CL.Cam.AC.UK
          with SMTP/TCP/IP over Ethernet id a003564; 6 Sep 88 23:00 BST
Via:  mmdf; 6 Sep 88 22:56 BST  (UK.AC.Cam.Cl.gnnt)
Via:  uk.ac.ucl.cs.nss; 6 Sep 88 22:56 BST  (UK.AC.Cam.Cl.gnnt)
Received: from clover.ucdavis.edu by NSS.Cs.Ucl.AC.UK   via Satnet with SMTP
           id aa06473; 6 Sep 88 22:25 BST
Received: from cheetah.ucdavis.edu by clover.ucdavis.edu (5.59/4.7)
        id AA08537; Tue, 6 Sep 88 14:53:24 PDT
Received: by cheetah.ucdavis.edu (AIX  2.2/3.14)
        id AA00260; Tue, 6 Sep 88 14:52:23 PDT
Message-Id: <8809062152.AA00260@cheetah.ucdavis.edu>
Pointers: (916) 752-7324/3168
To: hvg <hvg%uk.ac.cam.cl@uk.ac.ucl.cs.nss>
Subject: A mailing list for HOL users
Date: Tue, 06 Sep 88 14:52:23 -0800
From: Phil Windley <windley@edu.ucdavis.cheetah>
Sender: windley <windley%edu.ucdavis.cheetah@edu.ucdavis.clover>
Status: RO

I have started a mailing list for users of HOL.  I hope to see questions,
answers, and other information useful to the HOL community passed around
through this mailing list.  If you want to have your name added to the list
please mail a request to info-hol-request@clover.ucdavis.edu.

To submit something to the mailing list, mail to
info-hol@clover.ucdavis.edu.

Phil Windley                          |  windley@iris.ucdavis.edu
Division of Computer Science          |  ucbvax!ucdavis!iris!windley
College of Engineering                |  (916) 752-7324 (or 3168)
University of California, Davis       |  Davis, CA 95616