[isabelle-dev] Fwd: Broken link

Makarius makarius at sketis.net
Wed Oct 1 10:36:40 CEST 2008

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.


More information about the isabelle-dev mailing list