ame="04537" href="msg04537.html">ONT Re: Propositional Equation Reasoning Systems</a></strong>,
<em>Jon Awbrey</em>
</li>
<li><strong><a name="04538" href="msg04538.html">ONT Re: Propositional Equation Reasoning Systems</a></strong>,
<em>Jon Awbrey</em>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</li>
<LI><STRONG><a name="04522" href="msg04522.html">ONT Propositional Equation Reasoning Systems</a></STRONG>,
<EM>Jon Awbrey</EM>
<BR>Fri, 7 Feb 2003 08:33:38 -0500 (EST)
<ul>
<li><strong><a name="04523" href="msg04523