Path: neptune!arp.anu.edu.au!reasoning-owner@arp.anu.edu.au
Posted-Date: Wed, 30 Jan 91 13:16:44 +0100
Date: Wed, 30 Jan 91 13:16:44 +0100
From: gwinskel@daimi.aau.dk
Message-ID: <9101301216.AA02295@miranda.daimi.aau.dk>
Original-To: info-hol@clover.ucdavis.edu
Subject: Invoices
Original-Resent-To: reasoning-people
Original-Resent-Reply-To: gwinskel@daimi.aau.dk
Newsgroups: anu.reasoning
Distribution: anu
Sender: postmaster@arp.anu.edu.au
Approved: anu.reasoning@arp.anu.edu.au

Everyone who requested a HOL '90 Proceedings has been sent a copy
and an invoice.  However those who attended the HOL User's Meeting
at Aarhus have already paid for the proceedings in the registration 
fee. They (and only they) should ignore the invoice.
Glynn