ems</a></STRONG>,
<EM>Jon Awbrey</EM>
<BR>Sat, 8 Feb 2003 13:01:08 -0500 (EST)
<ul>
<li><strong><a name="04533" href="msg04533.html">ONT Re: Propositional Equation Reasoning Systems</a></strong>,
<em>Jon Awbrey</em>
<ul>
<li><strong><a name="04534" href="msg04534.html">ONT Re: Propositional Equation Reasoning Systems</a></strong>,
<em>Jon Awbrey</em>
<ul>
<li><strong><a name="04536" href="msg04536.html">ONT Re: Propositional Equation Reasoning Systems</a></strong>,
<em>Jon Awbrey</em>
</li>
<li><strong><a n