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, 2 Nov 1994 12:30:25 +0000
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA15939;
          Wed, 2 Nov 1994 05:25:33 -0700
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from canopus.cc.umanitoba.ca by leopard.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA15928;
          Wed, 2 Nov 1994 05:24:53 -0700
Received: from eeserv.ee.UManitoba.CA (eeserv.ee.umanitoba.ca [130.179.8.1]) 
          by canopus.cc.umanitoba.ca (8.6.9/8.6.9) with SMTP id GAA07509 
          for <info-hol@leopard.cs.byu.edu>; Wed, 2 Nov 1994 06:16:47 -0600
From: rahard@ee.UManitoba.CA
Received: from ic11.ee.umanitoba.ca by eeserv.ee.UManitoba.CA (4.1/25a-eef) 
          id AA15914; Wed, 2 Nov 94 06:16:43 CST
Received: by ic11.ee.umanitoba.ca (4.1/25-eef) id AA00540;
          Wed, 2 Nov 94 06:16:42 CST
Message-Id: <9411021216.AA00540@ic11.ee.umanitoba.ca>
Subject: Looking for HOL video/tutorial
To: info-hol@leopard.cs.byu.edu
Date: Wed, 2 Nov 1994 06:16:42 -0600 (CST)
X-Mailer: ELM [version 2.4 PL22]
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 272

I was wondering ... is there a HOL tutorial video ?
I am looking for various videos on functional programming/theorem provers.

thanks
-- budi
-- 
Budi Rahardjo
<rahard@ee.umanitoba.ca> <Budi_Rahardjo@UManitoba.CA>
Electrical Engineering - University of Manitoba - Canada