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.