WIP in virtux
Importata l'espressione per hol_light (e aggiornata alla versione svn 164).
Cleanup e aggiornamento di HOL Light
Merge dei file nixpkgs/config.nix di maggesi@neve e maggesi@virtux
Aggiornato HOL Light alla rev 167
Aggiornato HOL Light
Aggiornato HOL Light alla rev 169 del 2013-08-05
Aggiunto coq_hott
Fix di coq_hott e aggiunta la libreria HoTT
Aggiornato HOL Light alla versione 20130811
Aggiunto hott alla configurazione dell'utente su Neve
Lavoro per la versione HoTT di Coq
Merge con holl-mode-virtux