Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from moa.pmms.cam.ac.uk by swan.cl.cam.ac.uk via JANET
          with NIFTP to cam (PP) id <5143-0@swan.cl.cam.ac.uk>;
          Tue, 16 Apr 1991 10:31:25 +0100
From: Thomas Forster <tf@uk.ac.cam.pmms.moa>
Date: Tue, 16 Apr 91 10:31:00 BST
Message-Id: <11724.9104160931@moa.pmms.cam.ac.uk>
To: hvg@uk.ac.cam.cl, info-hol@edu.ucdavis.eecs.aster, mjcg@uk.co.sri
Subject: Re: New HOL hacker

Congratulations! Very best wishes to all three of you
Thomas