Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4); Thu, 21 Jan 1993 23:06:07 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA19837; Thu, 21 Jan 93 14:34:37 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA19832; Thu, 21 Jan 93 14:34:27 -0800 Received: from LocalHost.cs.ucla.edu by maui.cs.ucla.edu (Sendmail 5.61d+YP/3.21) id AA10731; Thu, 21 Jan 93 14:33:56 -0800 Message-Id: <9301212233.AA10731@maui.cs.ucla.edu> To: info-hol@edu.uidaho.cs.ted (INFO-HOL mailing list) Subject: Conversion from HOL88 to HOL90 Date: Thu, 21 Jan 93 14:33:54 PST From: chou@edu.ucla.cs Seeing all the great benchmark figures about HOL90 and going to get bigger memory on my machine, I am rather tempted to switch to HOL90. I'd like to hear about the experience of people who had done so. How hard is it to convert from HOL88 to HOL90? Are there good reasons for doing so or not doing so? And I am curious how widely used is HOL90 now, compared with HOL88. Your comments will be greatly appreciated! - Ching Tsun