Aggiornato HOL Light alla revision 179 del 2014-01-12.  Inoltre importate alcuni miglioramente stilistici all'espressione nix dalla versione di nixpkgs.