Aggiornato HOL Light alla r187