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, 12 Apr 1994 02:57:06 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA17131;
          Mon, 11 Apr 1994 19:41:00 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from itd0.dsto.gov.au by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA17116;
          Mon, 11 Apr 1994 19:39:52 -0600
Received: from tcs22.dsto.gov.au by itd0.dsto.gov.au 
          with SMTP (5.64+1.3.1+0.50/DSTO-1.0) id AA20447;
          Tue, 12 Apr 1994 11:10:26 +0930
Date: Tue, 12 Apr 1994 11:10:26 +0930
From: Jim Grundy <jug@itd.dsto.gov.au>
Message-Id: <9404120140.AA20447@itd0.dsto.gov.au>
To: info-hol@leopard.cs.byu.edu
Subject: Thanks: Hol88 under Linux


Evidently there are lots of people out there who want to run HOL at home
under Linux, I have been given lots of pointers already.  Thanks to
everyone who replied.  I now have enough information to keep me going at
least for the next 24 hours.

Thanks

Jim