/strong>,
<em>Jon Awbrey</em>
</li>
<li><strong><a name="04531" href="msg04531.html">ONT Re: Propositional Equation Reasoning Systems</a></strong>,
<em>Jon Awbrey</em>
</li>
<li><strong><a name="04535" href="msg04535.html">ONT Re: Propositional Equation Reasoning Systems</a></strong>,
<em>Jon Awbrey</em>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</li>
<LI><STRONG><a name="04520" href="msg04520.html">ONT Loom translation of SUMO</a></STRONG>,
<EM>David Flater</EM>
<BR>Wed, 5 Feb 2003 15:22:02 -0500 (EST)
<LI><STRO