Combining the Hol98 proof assistant with the BuDDy BDD package