Marco Maggesi fa47d66e22 Updated HOL Light to revision 112 ... svn path=/nixpkgs/trunk/; revision=30369		2011-11-10 15:35:53 +00:00
..
default.nix	Updated HOL Light to revision 112	2011-11-10 15:35:53 +00:00