Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Wed, 21 Apr 1993 04:32:55 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA18550;
          Tue, 20 Apr 93 20:24:32 -0700
Sender: info-hol-request@ted.cs.uidaho.edu
Errors-To: info-hol-request@ted.cs.uidaho.edu
Precedence: bulk
Received: from panther.cs.uidaho.edu by ted.cs.uidaho.edu (16.6/1.34) 
          id AA18545; Tue, 20 Apr 93 20:24:27 -0700
Received: by panther.cs.uidaho.edu id AA23344 (5.65c/IDA-1.4.4 
          for info-hol@ted); Tue, 20 Apr 1993 20:24:23 -0700
From: Mike Coe <coe@panther.cs.uidaho.edu>
Message-Id: <199304210324.AA23344@panther.cs.uidaho.edu>
Subject: ml in HOL
To: info-hol@ted.cs.uidaho.edu
Date: Tue, 20 Apr 93 20:24:22 PDT
X-Mailer: ELM [version 2.3 PL11]



Does anyone out there have the 
denotational semantics of the ML language
used in HOL.


Thanks in advance...



mike
coe@panther.cs.uidaho.edu