<!-- menu -->
<table width="100%" bgcolor="black" cellpadding="6" border="0">
<tr >
<td width="20%" align="center">
 <span class="menu"><a href="../../help.php">Help/Downloads</a></span>
</td>
<td width="20%" align="center">
 <span class="menu"><a href="../insertUpdateGeoThms.php">Problems List</a></span>
</td>
<td width="20%" align="center">
 <span class="menu"><a href="../../interaction.php">Interactive Workbench</a></span>
</td>
<td width="20%" align="center">
 <span class="menu"><a href="../../otherInfo.php">Provers &amp; Drawers &amp; Bibliography</a></span>
</td>
<td width="20%" align="center">
 <span class="menu"><a href="../../logout.php">Logout</a></span>
</td>
</tr>
</table>