Declare hipster_cond in IsaHipster.thy