</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 © 2003-2014 Sylvain Le Gall
</div>
</div>
</div>