Rogal's HOL5