From andersp@daimi.aau.dk  Tue Sep 25 12:25:45 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA02334; Tue, 25 Sep 90 12:25:45 PDT
Received: from daimi.aau.dk by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA29826; Tue, 25 Sep 90 12:30:13 PDT
Received: from janus.daimi.aau.dk by daimi.aau.dk with SMTP
        (5.61++/IDA-1.2.8) id AA14019; Tue, 25 Sep 90 17:36:06 GMT
Date: Tue, 25 Sep 90 17:36:06 GMT
From: Anders Pilegaard <andersp@daimi.aau.dk>
Message-Id: <9009251736.AA14019@daimi.aau.dk>
To: info-hol@clover.ucdavis.edu
Subject: HOL meeting --- abstracts available


The abstracts of the talks forthcoming at the HOL Users Meeting is
available via anonymous ftp from the machine 'hyperion.daimi.aau.dk'
[130.225.16.27]. Log in as 'anonymous' or 'ftp', cd to 'pub' and
get the file. It is available in LaTeX, dvi and PostScript format.


    Regards

    Anders Pilegaard   (andersp@daimi.aau.dk)

