<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <link href="style.css" rel="stylesheet" type="text/css">
    <title>OCaml-mindstorm</title>
  </head>
  <body>
    <div class="logo"><h1>OCaml Mindstorm</h1></div>
    <div id="nav">
      <ul>
	<li><a href="index.html" class="index">Home</a></li>
	<li><a href="doc/" class="doc">Documentation</a></li>
	<li><a href="download.html" class="download">Download</a></li>
	<li><a href="license.ht