Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from nsf.ac.uk by swan.cl.cam.ac.uk via JANET
          with NIFTP to fgate (PP) id <8695-0@swan.cl.cam.ac.uk>;
          Tue, 16 Apr 1991 12:34:53 +0100
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <9964-2@sun2.nsfnet-relay.ac.uk>;
          Tue, 16 Apr 1991 12:27:34 +0100
Received: from iris.ucdavis.edu by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP
          id aa05624; 16 Apr 91 12:20 BST
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.6.0) id AA21942;
          Tue, 16 Apr 91 04:23:41 -0700
Received: from danpost.uni-c.dk (129.142.6.64)
          by aster.eecs.ucdavis.edu (3.2/3.14) id AA16584;
          Tue, 16 Apr 91 04:23:31 PDT
Received: from vms2.uni-c.dk by danpost.uni-c.dk (5.65/1.34) id AA14075;
          Tue, 16 Apr 91 11:20:08 GMT
Received: from tfl.dk by vms2.uni-c.dk; Tue, 16 Apr 91 13:23 +0200
Received: from ux5.tfl.dk (192.9.200.22) by tfl.dk; Tue, 16 Apr 91 13:21 +0100
Received: by ux5.tfl.dk (5.57/Ultrix3.0-C) id AA06599;
          Tue, 16 Apr 91 13:24:32 -0500
Date: Tue, 16 Apr 91 13:24:32 -0500
From: fa@dk.tfl.sun
Subject: Re: New HOL hacker
To: hvg <hvg%uk.ac.cambridge.computer-lab@uk.ac.nsf>,
    info-hol@edu.ucdavis.eecs.aster, mjcg <mjcg%com.sri.cam@com.sri.ai>
Message-Id: <9104161824.AA06599@ux5.tfl.dk>
X-Envelope-To: mjcg%cam.sri.com@ai.sri.com, info-hol@aster.eecs.ucdavis.edu,
               hvg%uk.ac.cam.cl@nsfnet-relay.ac.uk

Congratulations to all three of you and the best wishes for the future!

Flemming