Isabelle/HOL - fix anchor link

Anchor link for Isabelle/HOL was not working when viewing the Github parsed file.