Hello,

This documentation is written in html. Please read the file addchains.html with your favourite hypertext interpreter (e.g. netscape).

In general, for each module foo, you will find a foo.html, in addition to the foo.v (vernacular) and foo.vo (compiled) files.

Some questions ? Constructive remarks ?

Send me a message

Go!

And now, please compile the vernacular files with the command "make all".

In case of trouble ...

In the file main.v we used a patch of the "Program" tactic; if you have a too old version, please do the following corrections.