Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2);
          Wed, 11 Nov 1992 17:38:50 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA04124;
          Wed, 11 Nov 92 06:46:53 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from iraun1.ira.uka.de by ted.cs.uidaho.edu (16.6/1.34) id AA04119;
          Wed, 11 Nov 92 06:46:41 -0800
Message-Id: <9211111446.AA04119@ted.cs.uidaho.edu>
Received: from ira.uka.de by iraun1.ira.uka.de with SMTP (PP) 
          id <02499-0@iraun1.ira.uka.de>; Wed, 11 Nov 1992 15:45:33 +0100
To: info-hol@edu.uidaho.cs.ted
Date: Wed, 11 Nov 92 15:43:02 MET
From: schneide@de.uka.ira


I would like to run HOL90 on a MS-DOS personal computer. Has
anyone experience on those machines?

- Klaus Schneider