<!-- MHonArc v2.4.8 -->
<!--X-Subject: ONT Re: Propositional Equation Reasoning Systems -->
<!--X-From-R13: Xba Ojoerl <wnjoerlNbnxynaq.rqh> -->
<!--X-Date: Sat, 8 Feb 2003 15:28:45 &#45;0500 (EST) -->
<!--X-Message-Id: 3E456860.BCD5A826@oakland.edu -->
<!--X-Content-Type: text/plain -->
<!--X-Reference: 3E4545CC.D6CB6171@oakland.edu -->
<!--X-Reference: 3E454CC1.3C3876A8@oakland.edu -->
<!--X-Reference: 3E455689.1900FA49@oakland.edu -->
<!--X-Head-End-->

<!-- /groups/802/3/efm/public/email/msg04536.html -