Return-Path: Delivery-Date: Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Fri, 3 Sep 1993 10:47:14 +0100 Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA17023; Fri, 3 Sep 93 02:41:21 -0700 Sender: info-hol-request@cs.uidaho.edu Errors-To: info-hol-request@cs.uidaho.edu Precedence: bulk Received: from swan.cl.cam.ac.uk by dworshak.cs.uidaho.edu with SMTP (1.37.109.4/16.2) id AA17019; Fri, 3 Sep 93 02:41:19 -0700 Received: from guillemot.cl.cam.ac.uk (user tfm (rfc931)) by swan.cl.cam.ac.uk with SMTP (PP-6.5) to cl; Fri, 3 Sep 1993 10:41:11 +0100 To: info-hol@cs.uidaho.edu Cc: Tom.Melham@cl.cam.ac.uk Subject: Offer of HOL course slides. Date: Fri, 03 Sep 93 10:40:59 +0100 From: Tom Melham Message-Id: <"swan.cl.cam.:099490:930903094116"@cl.cam.ac.uk> Overhead Transparencies for the HOL Course. ------------------------------------------- I have one complete set of overhead transparencies for the 5-day HOL course which is distributed with the system. These are the slides whose LaTeX sources are in hol/Training/course in the HOL distribution. The content of these slides is now, from my point of view, superseded by a revised course I've just finished developing. The existing plastic copy of the old slides, however, was quite expensive to make and is still in good condition. It could still be used to give a course on HOL88. Does anyone know of a good home for this material? I am willing to donate the transparencies (something like 300 of them) to a site unable to produce their own set from the LaTeX sources. Email me if you're interested. I'll collect responses for a day or two and then decide what to do. Tom