HOL-ex.Intuitionistic