update for improved compsets in HOL