fix cut-and-paste errors for HOLCF entries in IsaMakefile
fix cut-and-paste errors for HOLCF entries in IsaMakefile

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