Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Tue, 22 Jun 1993 12:04:58 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA04242; Tue, 22 Jun 93 03:55:05 -0700 Sender: info-hol-request@ted.cs.uidaho.edu Errors-To: info-hol-request@ted.cs.uidaho.edu Precedence: bulk Received: from iraun1.ira.uka.de by ted.cs.uidaho.edu (16.6/1.34) id AA04237; Tue, 22 Jun 93 03:55:00 -0700 Message-Id: <9306221055.AA04237@ted.cs.uidaho.edu> Received: from ira.uka.de by iraun1.ira.uka.de with SMTP (PP) id <02331-0@iraun1.ira.uka.de>; Tue, 22 Jun 1993 12:55:06 +0200 Date: Tue, 22 Jun 93 12:56:41 MET DST From: reetz To: info-hol@ted.cs.uidaho.edu Subject: HOL90 discussion Richard Boulton writes: > We are however in danger of putting all our eggs in the SML of New Jersey > basket. This might be a danger. But on the other side, we need some standard to gain popularity and there are other ``SML'' around, which aren't fully equivalent to SML of New Jersey... (*****************************************************************************) (* *) (* Ralf Reetz SFB 358 of the german research society (DFG) *) (* reetz@ira.uka.de University of Karlsruhe, Germany *) (* *) (*****************************************************************************)