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; Mon, 13 Mar 1995 21:57:58 +0000
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA171863733;
          Mon, 13 Mar 1995 12:42:13 -0700
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from reality.nich.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.15/16.2) id AA171793728;
          Mon, 13 Mar 1995 12:42:08 -0700
Received: by reality.nich.edu (5.57/Ultrix3.0-C) id AA02172;
          Mon, 13 Mar 95 13:24:37 -0600
Date: Mon, 13 Mar 95 13:24:37 -0600
From: ek@reality.nich.edu (Enrique V. Kortright)
Message-Id: <9503131924.AA02172@reality.nich.edu>
To: info-hol@leopard.cs.byu.edu
Subject: HOL on a DS5000 under AKCL


Hi,

Has anyone installed HOL on a Decstation 5000/200 using AKCL? I would
appreciate any help in finding a binary for that machine.

Thanks,

Enrique Kortright