Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2);
          Wed, 23 Dec 1992 18:33:34 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA10359;
          Wed, 23 Dec 92 10:11:03 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA10354;
          Wed, 23 Dec 92 10:10:56 -0800
Received: from scaup.cl.cam.ac.uk (user tfm) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.2) to cl; Wed, 23 Dec 1992 18:09:25 +0000
To: shb@com.oracorp
Cc: info-hol@edu.uidaho.cs.ted, Tom.Melham@uk.ac.cam.cl
Subject: Re: define_type extension?
In-Reply-To: Your message of Wed, 23 Dec 92 16:51:02 +0000. <5531.9212231651@frogland.inmos.co.uk>
Date: Wed, 23 Dec 92 18:09:17 +0000
From: Tom Melham <Tom.Melham@uk.ac.cam.cl>
Message-Id: <"swan.cl.ca.247:23.11.92.18.09.28"@cl.cam.ac.uk>


See also message numbers 354, 355, and 357 of the info-hol archive.
Its on ftp at ftp.cl.cam.ac.uk in the directory hvg/info-hol-archive.

Tom