Isabelle/HOL - fix anchor link

Anchor link for Isabelle/HOL was not working when viewing the Github parsed file.
Merge pull request #1067 from codrineugeniu/master

Isabelle/HOL - fix anchor link