Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) 
          id <00265-0@swan.cl.cam.ac.uk>; Wed, 24 Jun 1992 20:58:00 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA24313;
          Wed, 24 Jun 92 12:28:57 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Received: from mahogany.cs.ucdavis.edu by ted.cs.uidaho.edu (16.6/1.34) 
          id AA24308; Wed, 24 Jun 92 12:28:47 -0700
Received: by mahogany.cs.ucdavis.edu (5.57/UCD.CS.2.0) id AA01942;
          Wed, 24 Jun 92 12:26:23 -0700
Message-Id: <9206241926.AA01942@mahogany.cs.ucdavis.edu>
To: info-hol@edu.uidaho.cs.ted
Subject: HOL port to Caml?
Date: Wed, 24 Jun 92 12:26:22 -0400
From: schubert@edu.ucdavis.cs
X-Mts: smtp


Has anyone looked at porting HOL to the Caml Light system?
-Tom