Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Mon, 22 Aug 1994 17:41:44 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA11921; Mon, 22 Aug 1994 10:37:52 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from grolsch-2.cs.ubc.ca by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA11917; Mon, 22 Aug 1994 10:37:51 -0600 Received: (from ean@localhost) by grolsch.cs.ubc.ca (8.6.9/8.6.9) id JAA29273 for info-hol@leopard.cs.byu.edu; Mon, 22 Aug 1994 09:33:26 -0700 X400-Received: by mta cs.ubc.ca in /PRMD=/ADMD=/C=/; Relayed; Mon, 22 Aug 1994 9:33:24 UTC-0700 X400-Received: by /PRMD=ca/ADMD=/C=/; Relayed; Mon, 22 Aug 1994 9:33:24 UTC-0700 Date: Mon, 22 Aug 1994 9:33:24 UTC-0700 X400-Originator: donat@cs.ubc.ca X400-Recipients: non-disclosure:; X400-Content-Type: P2-1984 (2) X400-Mts-Identifier: [/PRMD=ca/ADMD=/C=/;940822093324] Content-Identifier: 1420 Conversion: Prohibited From: Michael Donat To: info-hol@leopard.cs.byu.edu Message-Id: <"1420*donat@cs.ubc.ca"@MHS> Subject: Useful(?) set thm available Mime-Version: 1.0 (Generated by Ean X.400 to MIME gateway) >Let me know if anyone would like this proof. > >Rob Rob, I'd be interested to see your proof. thanks, Michael Donat University of British Columbia Department of Computer Science 2366 Main Mall Vancouver, B.C. Canada V6T 1Z4 donat@cs.ubc.ca