Marco Maggesi 97d48a5426 Update HOL Light to rev 118 ... svn path=/nixpkgs/trunk/; revision=31468		2012-01-10 16:12:11 +00:00
..
default.nix	Update HOL Light to rev 118	2012-01-10 16:12:11 +00:00