Marco Maggesi 7c90b6a9bc Update HOL Light to rev 122. ... svn path=/nixpkgs/trunk/; revision=31956		2012-02-01 14:37:50 +00:00
..
default.nix	Update HOL Light to rev 122.	2012-02-01 14:37:50 +00:00