Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Tue, 29 Jun 1993 20:10:25 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA16856;
          Tue, 29 Jun 93 11:59:37 -0700
Sender: info-hol-request@ted.cs.uidaho.edu
Errors-To: info-hol-request@ted.cs.uidaho.edu
Precedence: bulk
Received: from elysium.cs.ucdavis.edu by ted.cs.uidaho.edu (16.6/1.34) 
          id AA16851; Tue, 29 Jun 93 11:59:31 -0700
Received: by elysium.cs.ucdavis.edu (5.65/UCD.CS.2.3) id AA19472;
          Tue, 29 Jun 1993 11:59:55 -0700
Date: Tue, 29 Jun 1993 11:59:55 -0700
From: benson@cs.ucdavis.edu (Gregory D. Benson)
Message-Id: <9306291859.AA19472@elysium.cs.ucdavis.edu>
To: info-hol@ted.cs.uidaho.edu
Subject: HOL88 on a DEC Alpha


Has anyone ported HOL88 to OSF/1 on a DEC Alpha?

Thanks

Greg Benson