proper index for HOL-Proofs, which is also in chapter "HOL";
proper index for HOL-Proofs, which is also in chapter "HOL";

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle