From Woodcock.Verify@DOCKMASTER.NCSC.MIL  Tue Feb 20 13:24:59 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA14673; Tue, 20 Feb 90 13:24:59 PST
Received: from DOCKMASTER.NCSC.MIL by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA06458; Tue, 20 Feb 90 13:29:11 PST
Date:  Tue, 20 Feb 90 16:18 EST
From: Woodcock@DOCKMASTER.NCSC.MIL
Subject:  Sun Common 3.0
To: info-hol@CLOVER.UCDAVIS.EDU
Message-Id:  <900220211839.704130@DOCKMASTER.NCSC.MIL>


has any body tried using HOL on SUN Common Lisp version 3.0, using
either a Sun 3 or 4?  anybody succeeded?  Useful information for easing
the process of creating HOL using SCL 3.0 would be greatly appreciated.

mew

