Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Tue, 11 Apr 1995 19:44:53 +0100 Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA106983060; Tue, 11 Apr 1995 11:57:40 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: list Received: from sol.UVic.CA by leopard.cs.byu.edu with SMTP (1.37.109.15/16.2) id AA106863043; Tue, 11 Apr 1995 11:57:23 -0600 Received: from gulf.UVic.CA by sol.UVic.CA (4.1/SMI-4.1.3-UVic-2.63MX) id AA20876; Tue, 11 Apr 95 10:58:26 PDT Received: from sanjuan.UVic.CA by gulf.UVic.CA (4.1/SMI-4.1) id AA20741; Tue, 11 Apr 95 10:33:57 PDT Received: by sanjuan.UVic.CA (4.1/SMI-4.0) id AA02026; Tue, 11 Apr 95 10:33:56 PDT Date: Tue, 11 Apr 95 10:33:56 PDT From: bfs@sanjuan.uvic.ca (Brian 'Jake Blue' Shea) Message-Id: <9504111733.AA02026@sanjuan.UVic.CA> To: info-hol@leopard.cs.byu.edu Subject: bumming for binaries Greetings, I'm a grad student introducing myself to the world of HOL. I've been poking around Web and ftp sites for the last while in an attempt to get the software, but unfortunately I haven't the computing resources available to build the package locally. Would anyone out there be able to give me a binary of HOL90 or HOL_88 (preferably) via mail/ftp? I'm on a sun4 architecture (sparc) running under SunOS Release 4.1.3. potentially yours, Brian