Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP)
          id <12521-0@swan.cl.cam.ac.uk>; Sun, 1 Sep 1991 20:42:02 +0100
Received: from grolsch.cs.ubc.ca by ted.cs.uidaho.edu (15.11/1.34) id AA01162;
          Sun, 1 Sep 91 12:32:21 pdt
Received: by grolsch.cs.ubc.ca id AA16068 (5.65c/IDA-1.3.5
          for info-hol@ted.cs.uidaho.edu); Sun, 1 Sep 1991 12:32:47 -0700
Date: 1 Sep 91 20:32 +0100
From: Jeffrey Joyce <joyce@ca.ubc.cs>
To: info-hol <info-hol@edu.uidaho.cs.ted>
Message-Id: <2911*joyce@cs.ubc.ca>
Subject: UBC HOL Course Notes

Several people have requested copies of the notes developed
by Rachel Cardell-Oliver, John Herbert and myself for the
"Introduction to HOL" course that we've given here at UBC
in June 1990 and April 1991.  If you wish to be added to
the list of orders, please send me (by post) your name,
address and $30 (US funds - postal order or cheque from a
major US bank).  Sorry, but I can't send out the notes before
I have your money.  The $30 covers the cost of photocopying
and "average" postage.  Please send your order before
mid-September (or else it may take a while before we order
another batch of the notes).

   JJJ