From kalker@apolloway.prl.philips.nl  Thu Mar  1 08:05:31 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA04911; Thu, 1 Mar 90 08:05:31 PST
Received: from mcsun.eu.net by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA26699; Thu, 1 Mar 90 08:10:19 PST
Received: by mcsun.EU.net with SMTP; Thu, 1 Mar 90 17:06:17 +0100 (MET)
Received: from phigate by hp4nl.nluug.nl with UUCP via EUnet
          id AA03981 (5.58.1.14/2.14); Thu, 1 Mar 90 17:07:31 +0100
Received: by philips.nl; Thu, 1 Mar 90 16:29:09 +0100
Received: by prle.prl.philips.nl; Thu, 1 Mar 90 16:13:07 +0100
Received: by apolloway.UUCP (4.12/Apollo-Mail-23-june-1987)
        id AA03915; Thu, 1 Mar 90 17:15:09 ned
Date: Thu, 1 Mar 90 17:15:09 ned
From: kalker@apolloway.prl.philips.nl (Ton Kalker 44087)
Message-Id: <9003011515.AA03915@apolloway.UUCP>
To: info-hol@clover.ucdavis.edu, joyce@cs.ubc.ca
Subject: Re:  running HOL on Apollo's
Cc: apolloway!kalker@relay.EU.net

Hi Jeff,

I have ported HOL to Appolo. I am using Franz Lisp which I
`bought` at Franz Incorporated. I have also tried Domain
Common Lisp (which resembles Lucid) but I didn't succeed.
With franz lisp I am working on a machine which has 8 MB internal
memory. The person to contact at Franz is:

Charley Cox: ...!ucbvax!franz!cox

Keep me informed, if you want, on your progress.

  --Ton--

