Rename HOL.thy to IHOL.thy
Heavy-handed split
Mysterious failure (once fixed, amend previous commit)