Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from nsf.ac.uk by swan.cl.cam.ac.uk via JANET
          with NIFTP to fgate (PP) id <20177-0@swan.cl.cam.ac.uk>;
          Mon, 17 Jun 1991 21:06:05 +0100
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <18586-8@sun2.nsfnet-relay.ac.uk>;
          Mon, 17 Jun 1991 18:54:18 +0100
Received: from [129.101.100.20] by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP
          id aa11789; 17 Jun 91 17:38 BST
Received: from SCTC.COM by ted.cs.uidaho.edu (15.11/1.34) id AA20186;
          Mon, 17 Jun 91 09:22:40 pdt
Received: by SCTC.COM (4.1/SCTC-012690) id AA27911; Mon, 17 Jun 91 11:25:05 CDT
Date: Mon, 17 Jun 91 11:25:05 CDT
From: fine@com.SCTC (Todd Fine)
Message-Id: <9106171625.AA27911@SCTC.COM>
To: info-hol@edu.uidaho.cs.ted
Subject: HOL on a Mac
Sender: fine@com.sctc


Could someone who has HOL running as a stand-alone application on the
Mac send me a copy?  I would like to run HOL on my Mac, but I do not
have a Lisp compiler.

Thanks,

Todd Fine
fine@sctc.com