Marco Maggesi a9d2f34301 Update HOL Light to release 102 ... svn path=/nixpkgs/trunk/; revision=28718		2011-08-21 08:41:22 +00:00
doc	* Typo (reported by Federico D. Sacerdoti).	2011-05-03 08:51:02 +00:00
maintainers	GNU GRUB 1.99.	2011-06-13 20:52:32 +00:00
pkgs	Update HOL Light to release 102	2011-08-21 08:41:22 +00:00
COPYING
default.nix
STABLE
VERSION