From JWRIGHT@finabo.abo.fi  Fri Aug 17 02:44:01 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA25061; Fri, 17 Aug 90 02:44:01 PDT
Received: from finabo.abo.fi by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA29118; Fri, 17 Aug 90 02:47:35 PDT
Message-Id: <9008170947.AA29118@clover.ucdavis.edu>
Date: Fri, 17 Aug 90 12:46 EET
From: JWRIGHT@finabo.abo.fi
Subject: Help needed with MacHOL
To: info-hol@clover.ucdavis.edu
X-Vms-To: IN%"info-hol@clover.ucdavis.edu"


Hello,

If somebody out there has got HOL working on a Mac with
Procyon Common Lisp, please contact me (I need some advice).

Joakim von Wright
jwright@finabo.abo.fi


