Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Thu, 9 Sep 1993 16:00:30 +0100
Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA25062;
          Thu, 9 Sep 93 07:50:58 -0700
Sender: info-hol-request@cs.uidaho.edu
Errors-To: info-hol-request@cs.uidaho.edu
Precedence: bulk
Received: from animal.cs.chalmers.se by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.4/16.2) id AA25058; Thu, 9 Sep 93 07:50:51 -0700
Date: Thu, 9 Sep 93 16:50:56 +0200
From: Karlis Cerans <karlis@cs.chalmers.se>
Message-Id: <9309091450.AA22394@animal.cs.chalmers.se>
Received: by animal.cs.chalmers.se (5.60+IDA/3.14+gl) id AA22394;
          Thu, 9 Sep 93 16:50:56 +0200
To: info-hol@cs.uidaho.edu
Subject: HOL on DEC machines

Dear HOL users,

is anybody using any kind of HOL system on a DEC machine? What are the
principal difficulties in installing HOL on DEC (lack of a suitable  ML
compiler, all compilers being very expensive -?). 

Thanks for any information, and excuse me for such a naive question
(I am going to install a HOL system at University of Latvia, and I have 
to find out, what are possibilities which are compatible with available
hardware).

Best regards,
Karlis Cerans.