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 <2725-0@swan.cl.cam.ac.uk>;
          Wed, 3 Apr 1991 02:09:41 +0100
Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk
          with SMTP inbound id <26746-0@sun2.nsfnet-relay.ac.uk>;
          Wed, 3 Apr 1991 02:06:37 +0100
Received: from [129.101.100.20] by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP
          id aa08912; 3 Apr 91 1:26 BST
Received: from groucho.mrc.uidaho.edu by ted.cs.uidaho.edu (15.11/1.34)
          id AA06391; Tue, 2 Apr 91 16:50:07 pst
Received: from cheetah.cs.uidaho.edu by groucho.mrc.uidaho.edu
          with SMTP (15.11/15.6) id AA07505; Tue, 2 Apr 91 16:50:44 pst
Received: by cheetah.cs.uidaho.edu (AIX 2.1.2/3.14) id AA15230;
          Tue, 2 Apr 91 16:51:41 PST
Message-Id: <9104030051.AA15230@cheetah.cs.uidaho.edu>
To: info-hol@edu.uidaho.cs.ted
Subject: HOL on a DS5000 using AKCL
Date: Tue, 02 Apr 91 16:51:40 -0800
From: Phil Windley <windley@edu.uidaho.cs.cheetah>


Sorry for the broadcast, but...

If you've successfully built HOL on a DECStation 5000 using AKCL please
contact me.

--phil--