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