Received: from antares.mcs.anl.gov (mcs.anl.gov [140.221.9.6]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id TAA06707 for ; Thu, 2 Nov 1995 19:34:29 +0200 Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10) id KAA24316 for qed-out; Thu, 2 Nov 1995 10:07:12 -0600 Received: from catseye.idbsu.edu (catseye.idbsu.edu [132.178.200.125]) by antares.mcs.anl.gov (8.6.10/8.6.10) with SMTP id KAA24311 for ; Thu, 2 Nov 1995 10:07:03 -0600 Message-Id: <199511021607.KAA24311@antares.mcs.anl.gov> Received: by catseye.idbsu.edu (1.38.193.4/16.2) id AA10248; Thu, 2 Nov 1995 09:15:26 -0700 Date: Thu, 2 Nov 1995 09:15:26 -0700 From: Randall Holmes To: qed@mcs.anl.gov Subject: PRA Sender: owner-qed@mcs.anl.gov Precedence: bulk I corrected an error in one of the induction/recursion axioms and also presented some of the axioms in a more readable format. The opinions expressed | --Sincerely, M. Randall Holmes above are not the official | Math. Dept., Boise State Univ. opinions of any person | holmes@math.idbsu.edu or institution. | http://math.idbsu.edu/faculty/holmes.html