The error that he refers to concerns the relative links in the following HTML source code:
<ul> <li><a href="HOL/index.html">HOL (Higher-Order Logic)</a> is a version of classical higher-order logic resembling that of the <a href="http://www.cl.cam.ac.uk/Research/HVG/HOL/";>HOL System</a>.</li> <li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a> adds Scott's Logic for Computable Functions (domain theory) to HOL.</li> </ul> In fact, all the links to logics in the theory library section are broken. Larry Begin forwarded message: > From: Norman Hardy <norm at cap-lore.com> > Date: 1 October 2008 01:30:42 BST > To: Larry.Paulson at cl.cam.ac.uk > Subject: Broken link > > The page at http://isabelle.in.tum.de/documentation.html > has a link with URL http://isabelle.in.tum.de/HOL/index.html > That URL returns "Not found".
