The error that he refers to concerns the relative links in the
following HTML source code:
ul lia href=HOL/index.htmlHOL (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
lia
On Wed, 1 Oct 2008, Lawrence Paulson wrote:
In fact, all the links to logics in the theory library section are
broken.
I have fixed this problem of Isabelle2008 already, and said so recently in
an answer to somebody on isabelle-users.
Makarius
