Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2);
          Wed, 18 Nov 1992 23:23:46 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA28981;
          Wed, 18 Nov 92 15:03:54 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA28967;
          Wed, 18 Nov 92 15:03:43 -0800
Received: by maui.cs.ucla.edu (Sendmail 5.61d+YP/3.21) id AA04217;
          Wed, 18 Nov 92 15:03:02 -0800
Date: Wed, 18 Nov 92 15:03:02 -0800
From: austel@edu.ucla.cs (Vernon Austel)
Message-Id: <9211182303.AA04217@maui.cs.ucla.edu>
To: info-hol@edu.uidaho.cs.ted
Subject: reflection


Has anyone done any work on reflection in HOL?
It looks like fun and I'd like to look into it.

Thanks,
Vernon