Marco Maggesi dba8b32385 Update HOL Light to rev 128 ... svn path=/nixpkgs/trunk/; revision=33196		2012-03-17 16:36:36 +00:00
..
default.nix	Update HOL Light to rev 128	2012-03-17 16:36:36 +00:00