nixpkgs/pkgs/applications/science/logic/hol_light
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