Aggiornato HOL Light alla versione del 25 ottobre 2013