Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Fri, 2 Sep 1994 23:37:14 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA09926; Fri, 2 Sep 1994 16:30:52 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from grolsch-2.cs.ubc.ca by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA09918; Fri, 2 Sep 1994 16:30:51 -0600 Received: (from ean@localhost) by grolsch.cs.ubc.ca (8.6.9/8.6.9) id PAA04921 for info-hol@leopard.cs.byu.edu; Fri, 2 Sep 1994 15:25:40 -0700 X400-Received: by mta cs.ubc.ca in /PRMD=/ADMD=/C=/; Relayed; Fri, 2 Sep 1994 15:25:37 UTC-0700 X400-Received: by /PRMD=ca/ADMD=/C=/; Relayed; Fri, 2 Sep 1994 15:25:37 UTC-0700 Date: Fri, 2 Sep 1994 15:25:37 UTC-0700 X400-Originator: hug93@cs.ubc.ca X400-Recipients: non-disclosure:; X400-Content-Type: P2-1984 (2) X400-Mts-Identifier: [/PRMD=ca/ADMD=/C=/;940902152537] Content-Identifier: 310 From: hug93 To: info-hol@leopard.cs.byu.edu Message-Id: <"310*hug93@cs.ubc.ca"@MHS> Subject: "free" copies of HUG93 proceedings Mime-Version: 1.0 (Generated by Ean X.400 to MIME gateway) We have approximately 25 remaining copies of the HUG93 proceedings, Lecture Notes in Computer Science, 780 Higher Order Logic Theorem Proving and its Applications Proceedings of the 6th International Workshop, HUG'93 which we are willing to distribute "at cost", i.e., cost of packaging and shipping the book. If you would like to obtain a copy, then send a money order in Canadian funds or a cheque drawn on an account at a Canadian Bank for the amount specified below to: Sally Wong Department of Computer Science 2366 Main Mall University of British Columbia Vancouver, B.C. CANADA V6T 1Z4 The money order/cheque must be payable to: "The University of British Columbia". We must receive the money order/cheque by October 15. We have a limited number of copies left for distribution -- these copies will be distributed on a "first come, first served" basis. If we receive a request after the last copy has been distributed, then payment will be returned. Cost: Your money order/cheque should be made out for one of the following amounts depending on your location and your surface vs. air mail preference. surface mail | air mail ------------------------------------------|------------- To a Canadian/USA location: | $CAN 8 | $CAN 9.50 |-------------|------------- To all other locations: | $CAN 9 | $CAN 17 ------------- HUG93 Organizers