Return-Path:
Return-Path: <john.harrison-request@uk.ac.cam.cl>
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP) to cl
          id <10475-0@swan.cl.cam.ac.uk>; Thu, 31 Oct 1991 15:06:11 +0000
Received: by ted.cs.uidaho.edu (15.11/1.34) id AA04454;
          Thu, 31 Oct 91 06:56:57 pst
Reply-To: info-hol@ted
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@ted.cs.uidaho.edu
Received: from thebes.oracorp.com by ted.cs.uidaho.edu (15.11/1.34) id AA04450;
          Thu, 31 Oct 91 06:56:48 pst
Date: Thu, 31 Oct 91 09:57:26 EST
From: garrel@com.oracorp.thebes
Received: by thebes.oracorp.com (4.1/1.3-ORA Corporation) id AA14427;
          Thu, 31 Oct 91 09:57:26 EST
Message-Id: <9110311457.AA14427@thebes.oracorp.com>
To: info-hol@edu.uidaho.cs.ted
Subject: Referring to assumptions by number

I seem to remember that, a few weeks back, somebody announced a package
for referring to assumptions by number, but I have lost the message.
If I'm not imagining things, I would appreciate hearing from the person
who announced the package.

Garrel Pottinger
garrel@oracorp.com