From windley@cheetah  Fri Apr 20 10:06:10 1990
Received: by iris.ucdavis.edu (5.57/UCD.EECS.2.0)
        id AA14836; Fri, 20 Apr 90 10:06:10 PDT
Received: from cheetah.ucdavis.edu by clover.ucdavis.edu (5.59/UCD.EECS.1.11)
        id AA00809; Fri, 20 Apr 90 10:10:37 PDT
Received: by cheetah.ucdavis.edu (AIX  2.1.2/3.14)
        id AA11662; Fri, 20 Apr 90 10:05:57 PDT
Message-Id: <9004201705.AA11662@cheetah.ucdavis.edu>
To: info-hol@clover
Subject: Brian's paper
Date: Fri, 20 Apr 90 10:05:56 -0800
From: Phil Windley <windley@cheetah>



Several people reported trouble receiving Brian's paper on using the choice
operator.  It seems that some mailers are truncating long lines.  I have
made it available via anonymous ftp from clover.ucdavis.edu in the
~ftp/pub/hol directory.  It is called select.tar.Z and is a compressed tar
format file.

--phil--

