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; Tue, 25 Oct 1994 17:50:39 +0000
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA10446;
          Tue, 25 Oct 1994 11:43:14 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA10425;
          Tue, 25 Oct 1994 11:42:54 -0600
Received: from cand.can.nl (cand.can.nl [192.16.187.4]) 
          by dworshak.cs.uidaho.edu (8.6.9/1.0) with SMTP id KAA17094 
          for <info-hol@cs.uidaho.edu>; Tue, 25 Oct 1994 10:35:18 -0700
From: kajler@can.nl
Received: by cand.can.nl with SMTP; Tue, 25 Oct 1994 17:28:50 GMT (MET)
Received: by canb.can.nl via EUnet; Tue, 25 Oct 1994 18:28:50 +0100 (MET)
Date: Tue, 25 Oct 1994 18:28:50 +0100
Message-Id: <9410251728.AA14205@canb.can.nl>
Apparently-To: theorem-provers@mc.lcs.mit.edu
Apparently-To: proof-sci@cs.chalmers.se
Apparently-To: isabelle-users@cl.cam.ac.uk
Apparently-To: info-hol@cs.uidaho.edu