Marco Maggesi 5b035e093d Update HOL Light to rev 92 ... svn path=/nixpkgs/trunk/; revision=27459		2011-06-14 17:09:19 +00:00
..
default.nix	Update HOL Light to rev 92	2011-06-14 17:09:19 +00:00