Abstract: These pages contain some of the algorithms of our lecture in the functional (and object-oriented) language ocaml It is automtically generated by the literate-programming tool ocamlweb.
This document was translated from LATEX by HEVEA and HACHA.