Implicit Complexity AnalyseR by J.Y. Moyen, 2001


Requirements : 
Ocaml V3.06 (for compiling the source code)
   downloadable from http://caml.inria.fr
Mupad (for computing quasi-interpretations)
   downloadable from http://www.mupad.de

Installation : 
make
will produce the executable file 'icar'.
