Update HOL Light to revision 154
Update HOL Light to revision 155
Merge pull request #306 from maggesi/hol_light_updates

HOL light updates