Abstract: This document describes the some of the algorithms of our lecture in ocaml It is automtically generated by the literate-programming tool ocamlweb.
This document was translated from LATEX by HEVEA and HACHA.