From guttman@linus.mitre.org  Tue Sep 18 06:35:16 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA15566; Tue, 18 Sep 90 06:35:16 PDT
Received: from linus.mitre.org by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA10112; Tue, 18 Sep 90 06:43:32 PDT
Return-Path: <guttman@linus.mitre.org>
Received: from darjeeling.mitre.org by linus.mitre.org (5.61/RCF-4S)
        id AA00570; Tue, 18 Sep 90 09:39:36 -0400
Posted-Date: Tue, 18 Sep 90 09:40:38 -0400
Received: by darjeeling.mitre.org (5.61/RCF-4C)
        id AA01569; Tue, 18 Sep 90 09:40:38 -0400
Date: Tue, 18 Sep 90 09:40:38 -0400
From: guttman@linus.mitre.org
Message-Id: <9009181340.AA01569@darjeeling.mitre.org>
To: info-hol@clover.ucdavis.edu
Subject: Re: Programme for HOL meeting

Will a set of abstracts, or some sort of summary of the meeting, be made
available (e.g. by ftp) for us innocent bystanders?  Various items look
interesting, but a trip to the meeting would be hard to arrange.

        Josh


