For some of the projects done with the KIV
system we provide XML representations of the specifications, theorems and
proofs. The project pages can be viewed with most modern web browsers.
All xml files in these projects are generated automatically, but not at the same time.
Since projects may depend on other projects, the following situation can occur:
A theorem in project A uses a theorem from project B, but the link to this theorem is dead.
This does not mean that the project is inconsistent,
but simply that the documentation is not up-to-date.