Corretto script di start di HOL Light