Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Sun, 19 Feb 1995 04:41:52 +0000
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA13321;
          Sat, 18 Feb 1995 21:32:18 -0700
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from jaguar.cs.byu.edu by leopard.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA13317;
          Sat, 18 Feb 1995 21:32:17 -0700
Received: from localhost by jaguar.cs.byu.edu (1.38.193.4/CS-Client) id AA16959;
          Sat, 18 Feb 1995 21:28:09 -0700
Message-Id: <9502190428.AA16959@jaguar.cs.byu.edu>
To: info-hol@leopard.cs.byu.edu
Subject: I knew it was going to happen sooner or later...
Date: Sat, 18 Feb 1995 21:28:09 -0700
From: Phil Windley <windley@lal.cs.byu.edu>


The lab alias is info-lal.  I was in a big hurry and so now, you're all
excused from the Tuesday meeting... ;-)  We were going to talk about most
general discrimination functions on HOL terms, though, so it might have
been good!

A note of explaination about my comment that Tuesday is really Monday.
Because of the large number of Monday holidays in the the US, the university
makes some Tuedays virtual Mondays so that Monday classes don't get
cancelled more than their fair share.

My apologies for the misaddressed mail!

--phil--