Importata l'espressione per hol_light (e aggiornata alla versione svn 164).
Cleanup e aggiornamento di HOL Light