uncapitalise lem-generated theories in hol-light Holmakefile