Documentation for ICV missing in 6.0.1 docs

In the manual here: there is a reference to the formal ICV Semantics: and the link leads to a 404 Error.

Also, since you mention Terp in your eamples, you should make a statement somewhere that it is acceptable to write rules that way (or not).