<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
<title>CoLoSS - Top Menu</title>
<link rel="stylesheet" href="main.css" type="text/css" />
</head>
<body class="menubar">
<table>
<tr>
<td>
<img src="images/logo.gif" width="180px" height="78px"/>
</td>
<td width="100%" >
<table width="100%" height="60px">
<tr>
<td width="100%">
<h1 align="right">
Coalgebraic Logic Satisfiability Solver
</h1>
</td>
</tr>
<tr>
<td>
<table class="menu" align="right">
<tr />
<td>
<a href="info.html" target="INFO"> Home </a>
</td>
<td>
<a href="tool.html" target="INFO"> Tool </a>
</td>
<td>
<a href="syntax.html" target=INFO> Syntax </a>
</td>
<td>
<a href="tests.html" target="INFO"> Tests </a>
</td>
<td>
<a href="credits.html" target="INFO"> Credits </a>
</td>
<td>
<a href="imprint.html" target="INFO"> Contact </a>
</td>
</table>
</td>
</tr>
</table>
</td>
</tr>
</table>
</body>
</html>