Received: from gannet.cl.cam.ac.uk by Steve.CL.Cam.AC.UK
          with SMTP/TCP/IP over Ethernet id a003799; 6 Sep 88 23:48 BST
Via:  uk.ac.ucl.cs.nss; 6 Sep 88 23:43 BST  (UK.AC.Cam.Cl.gnnt)
Received: from clover.ucdavis.edu by NSS.Cs.Ucl.AC.UK   via Satnet with SMTP
           id aa06761; 6 Sep 88 23:09 BST
Received: from bluebell.ucdavis.edu by clover.ucdavis.edu (5.59/4.7)
        id AA08883; Tue, 6 Sep 88 15:37:50 PDT
Received: by bluebell.ucdavis.edu (3.2/3.14)
        id AA07470; Tue, 6 Sep 88 15:37:47 PDT
Date: Tue, 6 Sep 88 15:37:47 PDT
From: Michael Russell <russell@edu.ucdavis.bluebell>
Message-Id: <8809062237.AA07470@bluebell.ucdavis.edu>
To: windley@edu.ucdavis.cheetah
Subject: Re:  info-HOL Addition
Cc: csprog@edu.ucdavis.clover, tfm <tfm%uk.ac.cam.cl@uk.ac.ucl.cs.nss>
Sender: russell <russell%edu.ucdavis.bluebell@edu.ucdavis.clover>
Status: RO

Hi, Phil.

> please add the following person to the mailing list.

> From: Tom Melham <tfm%computer-lab.cambridge.ac.uk@NSS.Cs.Ucl.AC.UK>

Done.                                                   Michael