Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from dworshak.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Mon, 13 Sep 1993 21:33:05 +0100
Received: by dworshak.cs.uidaho.edu (1.37.109.4/16.2) id AA02394;
          Mon, 13 Sep 93 13:09:08 -0700
Sender: info-hol-request@cs.uidaho.edu
Errors-To: info-hol-request@cs.uidaho.edu
Precedence: bulk
Received: from ULTRASTAR.EE.CORNELL.EDU by dworshak.cs.uidaho.edu 
          with SMTP (1.37.109.4/16.2) id AA02390; Mon, 13 Sep 93 13:09:05 -0700
Received: by ultrastar.EE.CORNELL.EDU (4.1/1.6.10+n-y-Cornell-Electrical-Engineering) 
          id AA20364; Mon, 13 Sep 93 16:09:12 EDT
Message-Id: <9309132009.AA20364@ultrastar.EE.CORNELL.EDU>
From: markaa@ultrastar.EE.CORNELL.EDU (Mark D. Aagaard)
Date: Mon, 13 Sep 1993 16:09:11 -0400
Organization: Cornell University, Electrical Engineering, Ithaca NY 14853
X-Address: 389 Engineering and Theory Center
X-Phone: (607) 255 0302
X-Fax: (607) 255 9072
X-Mailer: Mail User's Shell (7.2.4 2/2/92)
To: info-hol@cs.uidaho.edu
Subject: exponentiation library?

Does anyone have a library of theorems about
exponentiation? 

 thanks in advance,
 -mark aagaard
  markaa@ee.cornell.edu