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 <829-0@swan.cl.cam.ac.uk>; Thu, 5 Sep 1991 06:43:02 +0100
Received: from YALEVM.YCC.YALE.EDU by ted.cs.uidaho.edu (15.11/1.34) id AA08456;
          Wed, 4 Sep 91 22:35:14 pdt
Received: from CUCSC.BITNET by YALEVM.YCC.Yale.Edu (IBM VM SMTP R1.2.2MX)
          with BSMTP id 1341; Thu, 05 Sep 91 01:34:46 EDT
Received: from iest4.ie.cuhk.hk (137.189.96.4) by CUCSC.BITNET with PMDF#10092;
          Thu, 5 Sep 1991 13:35 +0800
Received: by iest4.ie.cuhk.hk (5.57/Ultrix3.0-C) id AA21214;
          Thu, 5 Sep 91 13:34:55 -0800
Date: Thu, 05 Sep 91 13:34:54 PST
From: mklai%iest4.ie.cuhk.hk@edu.Yale.YCC.YALEVM
Subject: Re: UBC HOL Course Notes
In-Reply-To: Your message of 01 Sep 91 20:32:00 +0100. <2911*joyce@cs.ubc.ca>
To: joyce@ca.ubc.cs
Cc: info-hol@edu.uidaho.cs.ted
Message-Id: <9109052134.AA21214@iest4.ie.cuhk.hk>
X-Envelope-To: info-hol@ted.cs.uidaho.edu


Who shall the cheques be made out to?