Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4); Mon, 4 Jan 1993 04:41:13 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA20212;
          Sun, 3 Jan 93 20:12:33 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA20207;
          Sun, 3 Jan 93 20:12:07 -0800
Received: by maui.cs.ucla.edu (Sendmail 5.61d+YP/3.21) id AA20515;
          Sun, 3 Jan 93 20:11:19 -0800
Date: Sun, 3 Jan 93 20:11:19 -0800
From: austel@edu.ucla.cs (Vernon Austel)
Message-Id: <9301040411.AA20515@maui.cs.ucla.edu>
To: info-hol@edu.uidaho.cs.ted
Subject: HOL on the rs6000


Has anyone ever gotten the HOL system to work on an IBM rs6000?
If not, does anyone have any idea how difficult it would be to
port HOL to this machine?  

Thanks,
Vernon Austel