Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Mon, 6 Sep 1993 11:42:20 +0100
Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA19450;
          Mon, 6 Sep 93 03:37:46 -0700
Sender: info-hol-request@cs.uidaho.edu
Errors-To: info-hol-request@cs.uidaho.edu
Precedence: bulk
Received: from swan.cl.cam.ac.uk by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.4/16.2) id AA19446; Mon, 6 Sep 93 03:37:44 -0700
Received: from guillemot.cl.cam.ac.uk (user tfm (rfc931)) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) to cl; Mon, 6 Sep 1993 11:28:36 +0100
To: info-hol@cs.uidaho.edu
Cc: Tom.Melham@cl.cam.ac.uk, info-hol-request@cs.uidaho.edu
Subject: Change of Address.
Date: Mon, 06 Sep 93 11:28:24 +0100
From: Tom Melham <Tom.Melham@cl.cam.ac.uk>
Message-Id: <"swan.cl.cam.:262310:930906102841"@cl.cam.ac.uk>


Sorry for the non-HOL nature of this message, but please note
that from this Thursday, 9 September 1993, I shall have moved
to Glasgow University.  My coordinates will be

   T. F. Melham
   Department of Computing Science
   University of Glasgow
   Glasgow, G12 8QQ
   Scotland

   Tel:   +44 41 339 8855 [ext 4934]
   Fax:   +44 41 330 4913
   Email: tfm@dcs.gla.ac.uk

I will, of course, continue to be working with HOL at Glasgow,
but I expect my direct involvement with HOL88 maintainance and
development at Cambridge to taper off somewhat.

Tom