Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Wed, 7 Dec 1994 20:01:56 +0000
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA29075;
          Wed, 7 Dec 1994 12:56:01 -0700
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from vanuata.dcs.gla.ac.uk by leopard.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA29068;
          Wed, 7 Dec 1994 12:55:54 -0700
Received: from gozo.dcs.gla.ac.uk by vanuata.dcs.gla.ac.uk with LOCAL SMTP (PP);
          Wed, 7 Dec 1994 19:41:03 +0000
To: Sten Agerholm <Sten.Agerholm@cl.cam.ac.uk>
Cc: info-hol@leopard.cs.byu.edu, tfm@dcs.gla.ac.uk
Subject: Re: Thesis available.
In-Reply-To: Your message of "Wed, 07 Dec 1994 18:36:16 GMT." <"swan.cl.cam.:263440:941207183634"@cl.cam.ac.uk>
Date: Wed, 07 Dec 1994 19:40:59 +0000
From: Tom Melham <tfm@dcs.gla.ac.uk>
Message-ID: <"swan.cl.cam.:298860:941207200257"@cl.cam.ac.uk>


> A summary is provided below. It is being printed in the 
> BRICS Report series as RS-94-44 and can be obtained on the 
> Web/Ftp or as a hard copy. Please let me know if you would 
> like a hard copy.

Hi Sten,

Eventually, I'd like a BRICS report hardcopy, just for my records...

Tom