[isabelle-dev] Fwd: Broken link

Lawrence Paulson lp15 at cam.ac.uk
Wed Oct 1 10:21:45 CEST 2008

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  


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".

More information about the isabelle-dev mailing list