Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Wed, 20 Apr 1994 16:58:00 +0100
Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA21634;
          Wed, 20 Apr 1994 09:34:56 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from dworshak.cs.uidaho.edu by leopard.cs.byu.edu 
          with SMTP (1.37.109.8/16.2) id AA21630;
          Wed, 20 Apr 1994 09:34:52 -0600
Received: from motgate.mot.com by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.8/16.2) id AA19373;
          Wed, 20 Apr 1994 08:34:44 -0700
Received: from pobox.mot.com ([129.188.137.100]) by motgate.mot.com 
          with SMTP (5.67b/IDA-1.4.4/MOT-3.1 for <info-hol@ted.cs.uidaho.edu>) 
          id AA25547; Wed, 20 Apr 1994 10:34:39 -0500
Received: from comm.mot.com (il02dns1.comm.mot.com) by pobox.mot.com 
          with SMTP (5.67b/IDA-1.4.4/MOT-3.1 for <info-hol@ted.cs.uidaho.edu>) 
          id AA06818; Wed, 20 Apr 1994 10:34:36 -0500
Received: from weinberg (weinberg.stc.comm.mot.com) 
          by comm.mot.com (4.1/SMI-4.0) id AA15666; Wed, 20 Apr 94 10:34:32 CDT
Received: by weinberg (4.1/SMI-4.1) id AA06692; Wed, 20 Apr 94 10:34:11 CDT
Date: Wed, 20 Apr 94 10:34:11 CDT
From: weigert@comm.mot.com (Thomas Weigert)
Message-Id: <9404201534.AA06692@weinberg>
To: info-hol@cs.uidaho.edu
Subject: HOL class


Has anyone heard of any plans of a summer school (or similar class) on HOL
or any of the other similar theorem proving frameworks? Any hints are
appreciated. 

Thomas