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 07:34:31 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA04181; Mon, 21 Jun 93 23:21:59 -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 AA04176; Mon, 21 Jun 93 23:21:53 -0700 Message-Id: <9306220621.AA04176@ted.cs.uidaho.edu> Received: from ira.uka.de by iraun1.ira.uka.de with SMTP (PP) id <10924-0@iraun1.ira.uka.de>; Tue, 22 Jun 1993 08:21:38 +0200 Date: Tue, 22 Jun 93 8:23:14 MET DST From: reetz To: info-hol@ted.cs.uidaho.edu Subject: HOL90 is better for education In my experience, students do learn HOL90 pretty much faster than HOL88 because of ``cleaned'' syntax-related stuff in SML. >Why make all this programming effort in a dead language? (Paul Loewenstein) I agree with that. There's good stuff around to learn SML, it's especially easier for students to deal with it. Ralf (*****************************************************************************) (* *) (* Ralf Reetz SFB 358 of the german research society (DFG) *) (* reetz@ira.uka.de University of Karlsruhe, Germany *) (* *) (*****************************************************************************)