Return-Path: Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP) to cl id <10302-0@swan.cl.cam.ac.uk>; Tue, 10 Sep 1991 21:44:28 +0100 Received: from [128.232.0.56] by ted.cs.uidaho.edu (15.11/1.34) id AA24746; Tue, 10 Sep 91 13:33:43 pdt Received: from guillemot.cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP) to cl id <08939-0@swan.cl.cam.ac.uk>; Tue, 10 Sep 1991 21:33:15 +0100 To: info-hol , Tom.Melham@uk.ac.cam.cl Subject: Re: UBC HOL Course Notes Date: Tue, 10 Sep 91 21:32:48 +0100 From: Tom.Melham@uk.ac.cam.cl Message-Id: <"swan.cl.ca.015:10.08.91.20.33.44"@cl.cam.ac.uk> People may also be interested to know that the LaTeX sources for my course on HOL will be distributed with the version 2.0 release of HOL88 from Cambridge. The online course exercises are also included with the release. Tom