Updates to HOL 2