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; Fri, 25 Jun 1993 08:19:26 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA10694; Fri, 25 Jun 93 00:08:48 -0700 Sender: info-hol-request@ted.cs.uidaho.edu Errors-To: info-hol-request@ted.cs.uidaho.edu Precedence: bulk Received: from relay.pipex.net by ted.cs.uidaho.edu (16.6/1.34) id AA10689; Fri, 25 Jun 93 00:08:38 -0700 X400-Received: by mta relay.pipex.net in /PRMD=pipex/ADMD=cwmail/C=GB/; Relayed; Fri, 25 Jun 1993 08:08:26 +0100 X400-Received: by /PRMD=icl/ADMD=gold 400/C=GB/; Relayed; Fri, 25 Jun 1993 08:06:49 +0100 Date: Fri, 25 Jun 1993 08:06:49 +0100 X400-Originator: R.B.Jones@win0109.wins.icl.co.uk X400-Recipients: info-hol@ted.cs.uidaho.edu X400-Mts-Identifier: [/PRMD=icl/ADMD=gold 400/C=GB/;win0109 0000012600002725] X400-Content-Type: P2-1984 (2) Content-Identifier: 2725 From: R.B.Jones@win0109.wins.icl.co.uk Message-Id: <"2725*/I=RB/S=Jones/OU=win0109/O=icl/PRMD=icl/ADMD=gold 400/C=GB/"@MHS> To: info-hol@ted.cs.uidaho.edu Subject: "standard ML" If the committee designing ML had remembered that ML stood for Meta-Language then it might have been possible to implement proof tools without using non-standard features. ProofPower has to use non-standard features of PolyML to provide usable interfaces to object languages, so ProofPower isn't as portable as we might like either. Roger Jones, ICL