From gwinskel@daimi.aau.dk Thu Dec 13 18:02:08 1990
Received: from elberton.inmos.co.uk by frogland.inmos.co.uk; Thu, 13 Dec 90 18:02:08 GMT
Received: from titan.inmos.co.uk by elberton.inmos.co.uk; Thu, 13 Dec 90 18:02:09 GMT
Received: from inmos-c.inmos.com by titan.inmos.co.uk with DNI-MTP [1.1]
        id inmos-c-14598; Thu, 13 Dec 90 18:02:04 GMT
Received: from iris.eecs.ucdavis.edu by uunet.uu.net (5.61/1.14) with SMTP
        id AA24483; Thu, 13 Dec 90 12:45:27 -0500
Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.3.0)
        id AA00635; Thu, 13 Dec 90 09:38:25 -0800
Received: from daimi.aau.dk by clover.eecs.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA17364; Thu, 13 Dec 90 09:40:22 PST
Received: from miranda.daimi.aau.dk by daimi.aau.dk with SMTP
        (5.61++/IDA-1.2.8) id AA00504; Thu, 13 Dec 90 11:08:15 +0100
Date: Thu, 13 Dec 90 11:08:15 +0100
From: Glynn Winskel <gwinskel@daimi.aau.dk>
Message-Id: <9012131008.AA00504@daimi.aau.dk>
To: info-hol@clover.ucdavis.edu
Subject: HOL USERS MEETING PROCEEDINGS

We've prepared an informal proceedings of the HOL Users Meeting
at Aarhus---it consists largely of copies of slides with abstracts.
If you want a copy mail
kaadt@daimi.dk
with a request including your full address.
