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; Wed, 25 Jan 1995 00:16:29 +0000
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA02447;
          Tue, 24 Jan 1995 17:01:27 -0700
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from bobcat.cs.byu.edu by leopard.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA02443;
          Tue, 24 Jan 1995 17:01:26 -0700
Received: from localhost by bobcat.cs.byu.edu (1.38.193.4/CS-Client) id AA09577;
          Tue, 24 Jan 1995 17:00:30 -0700
Message-Id: <9501250000.AA09577@bobcat.cs.byu.edu>
To: info-hol@leopard.cs.byu.edu
Subject: Need recommendations on lisp to build HOL on HPUX
Date: Tue, 24 Jan 1995 17:00:30 -0700
From: Phil Windley <windley@lal.cs.byu.edu>


I'm tired of using AKCL for HOL on HPUX.  Has anyone had any experience
(good or bad) with a commercial LISP on an HP700 for building HOL?

--phil--

__________________________________________________________________________
Phillip J. Windley, Asst. Professor              |  windley@cs.byu.edu
Laboratory for Applied Logic	                 |  
Dept. of Computer Science, TMCB 3370             |
Brigham Young University                         |  Phone: 801.378.3722
Provo UT                  84602-6576             |  Fax:   801.378.7775
------------------------------------------------------------------------
If you use WWW, I can be found <A
HREF="http://lal.cs.byu.edu/people/windley/windley.html">here</A> or<A
HREF="http://www.imall.com/homepage.html">here</A>.