Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Mon, 22 Mar 1993 13:05:56 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA08345; Mon, 22 Mar 93 04:45:51 -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 AA08340; Mon, 22 Mar 93 04:45:45 -0800 Received: from guillemot.cl.cam.ac.uk (user tfm (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.4) to cl; Mon, 22 Mar 1993 12:45:20 +0000 To: info-hol@edu.uidaho.cs.ted Cc: Tom.Melham@uk.ac.cam.cl, toal@edu.ucla.cs Subject: email address for HOL88 support Date: Mon, 22 Mar 93 12:45:14 +0000 From: Tom Melham Message-Id: <"swan.cl.ca.492:22.03.93.12.45.23"@cl.cam.ac.uk> Ray Toal asks: > By the way I did not know who at cl.cam.ac.uk to send this to so I > sent it to info-hol. Who *should* such messages be sent to? All messages about HOL88 support and distribution should be sent to the address "hol-support@cl.cam.ac.uk". This is an alias for the current "official" HOL support person at Cambridge (who is, at the moment, John Harrison [jrh@cl.cam.ac.uk]). Tom