Blob Blame History Raw
    </div>

    <div id="footer">
      <div class="lastmodified">
        <script type="text/javascript"><!--
          document.write("Last Published: " + document.lastModified);
          //  --></script>
      </div>
      <div class="badge">
        <a href="http://caml.inria.fr/">
          <img
          src="http://caml.inria.fr/pub/logos/caml.small.gif"
          alt="The Caml Language" style="border: none;" />
        </a>
				<a href="http://oasis.forge.ocamlcore.org/">
					<img
					src="http://oasis.forge.ocamlcore.org/oasis-badge.png"
					alt="OASIS" style="border: none;" />
				</a>
      </div>
			<div class="copyright">
				Copyright &copy; 2003-2014 Sylvain Le Gall
			</div>
    </div>
	</div>