NixOS/nixpkgs — pull request #306 by maggesi (2013-02-08 14:29:45+00:00)
Title: HOL light updates

Update HOL Light to revision 155