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
